Stanford Summer IntroLogic Workshops for High School Teachers

Who: Computer Sciences and Math Teachers who have knowledge of symbolic manipulation as taught in Algebra and comfort with sets, relations, and functions

When:
- Chicago: June 22 - June 26, 2020
- New England: June 29 – July 3, 2020
- Philadelphia: July 29 – July 3, 2020
- Atlanta: July 6 - July 10, 2020
- Houston: July 13 – July 17, 2020
- Stanford: July 20 – July 24, 2020
- Seattle: July 20 – July 24, 2020
- Los Angeles: July 27 – July 31, 2020

Cost: The tuition for the course is $750. This does not include any travel or lodging expenses. Wherever support is not available through a given school district, they are offering a limited number of tuition scholarships.

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. Introduction to Logic, IntroLogic, curriculum topics covered include propositional logic, relational logic, deduction, and proofs.

IntroLogic is 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.

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 625,000 enrolled students.