Working towards making Logic Education available to high schools across America!
A free Stanford-developed curriculum that can be taught as a standalone course or embedded in a course. Suitable for grades 9-12. The course addresses the Data and Analysis & Algorithms and Programming concepts in the CSTA Teaching Framework. The course has been approved for “g” credit in California schools.
Logic is to Computer Science as Calculus is to Physics. So far, this essential mathematical training is not available to programmers being trained in high schools.
The course is well-tested as it has been taught at Stanford University for over twenty years, and it is now offered as a MOOC that has attracted over 500,000 enrolled students.
The topics covered include propositional logic, relational logic, deduction, and proofs.
Logic is to Computer Science as Calculus is to Physics, and currently, this essential mathematical training is not available to high schools
