Skip Navigation

Introduction to Logic and Proofs

Arrow image that is used as button to enroll in courses. Enroll in this Course

Eligibility: CTY-level or Advanced CTY-level math score required

Prerequisites: Successful completion Honors Algebra I or equivalent.

Course Format: Session-Based

Course Length: 12 weeks

Time commitment: 3-5 hours per week

Course Code: ILP1

Course Description


Explore advanced mathematical concepts in fun and interesting ways and build a strong foundation for high school, computer science, and college-level logic coursework in this introductory logic class. Through logic puzzles, adaptive world arguments, peer collaboration and feedback, you’ll strengthen your understanding of mathematics and sharpen your problem-solving skills as you delve into these key mathematical ideas. This course is ideal for curious students who are eager to deepen their understanding of mathematics through games, real world applications, and collaboration. This course has synchronous virtual class meetings on Tuesdays from 11 a.m. -12 p.m. ET and Thursdays from 7-8 p.m. ET. Students are required to attend one of these sessions per week. Meetings will be recorded for students who are unable to attend due to scheduling conflicts.

In addition to weekly virtual class meetings, students may schedule weekly one-on-one virtual meetings directly with the instructor to answer questions or concerns.

Students will interact in CTY online classrooms and meetings that include peers, instructors, and occasional special guests.  Courses may include videos from the web. Recommendations or links at the end of videos are provided by the video host and are not CTY recommendations.  Students may have the option to post their work on public third-party sites (e.g., YouTube).  Virtual class meetings may be recorded for students to review. After a student completes this course, their projects may be used to illustrate work for future students.

Technical Requirements

This course requires a properly maintained computer with high-speed internet access and an up-to-date web browser (such as Chrome or Firefox). The student must be able to communicate with the instructor via email. Visit the Technical Requirements and Support page for more details.

Zoom online virtual classroom
This course uses an online virtual classroom which can be used for instructor-student communication if the student has any questions about the course or curriculum. The classroom works on standard computers with the Zoom desktop client and also tablets or handhelds that support the Zoom Mobile app. Students will need a computer with the Zoom desktop client installed to watch any recorded meetings. The Zoom desktop client and Zoom Mobile App are both available for free download.