Exam Materials

The exams are based on the curriculum designed by Professor Michael Genesereth at Stanford University and are centered around the foundational principles of logic.

These exams will cover key topics such as propositional logic, logical connectives, truth tables, and basic proofs, gradually advancing to more complex areas like relational and term logic. The course provides interactive exercises, puzzles, and real-world applications to help learners develop strong reasoning and problem-solving skills. It aims to equip students with the tools necessary to think critically and systematically, applicable across various disciplines.

All Exam Material Can Be Found Here↗

Topics For Each Exam

Preliminary Rounds (Online)

Round 1 - Propositional Logic (Curriculum Chapters 1 - 5):
This round is designed to assess foundational understanding of Propositional Logic, focusing on topics such as truth tables, logical connectives, and basic proofs. It's open to all participants and serves as an entry-level test.

Round 2 - Relational Logic (Curriculum Chapters 7 - 10):
In this round, participants will move on to more complex concepts, such as variables and quantifiers. These chapters emphasize understanding how to express and analyze relationships between objects in logical systems.

Round 3 - Term Logic (Curriculum Chapters 11 - 15):
This final preliminary round covers topics related to complex terms and equality and how they are used in logic. Participants will apply the knowledge gained from the previous rounds to work through problems involving these more complex logical concepts.

Final Round (Stanford University)

The final round will be in person at Stanford University and last three days. These three days will consist of materials from all previous rounds and focused on high-level challenges in Propositional, Relational, and Term Logic.

In addition to testing participants' understanding of these concepts, there will also be creative logic puzzles and games that challenge participants to apply their learnings in a dynamic and competitive format.