Exam Material

Preliminary Round Material

• The exam is based on the curriculum designed by Professor Michael Genesereth at Stanford University and are centered around the foundational principles of logic.
• The exam 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↗

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.