Logic is to Computer Science as Calculus is to Physics.
This free Stanford-developed curriculum can be taught as a stand-alone course or embedded in a unit, and is suitable
for grades 9-12. The course addresses the Data and Analysis & Algorithms and Programming concepts in the CSTA Teaching Framework, and has been approved for “G” credit in California schools. Ed Fund participants will receive Act 48 credits.
This IntroLogic course is well-tested and has been taught at Stanford University for over twenty years; and is now
offered to over 500,000 students. The topics covered include propositional logic, relational logic, deduction, and proofs.