ILO 2025

This curriculum was provided by Stanford Logic Group offering a curriculum designed to teach foundational principles of logic. It covers key topics such as propositional logic, logical connectives, truth tables, and basic proofs, gradually advancing to more complex areas like relational and functional 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.

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, including relations, functions, and predicates. These chapters emphasize understanding how to express and analyze relationships between objects in logical systems.
Round 3: Functional Logic (Curriculum Chapters 11 - 15): This final preliminary round covers advanced topics related to functions and how they are used in logic. Participants will apply the knowledge gained from the previous rounds to work through problems involving more complex logical structures and functions.

The final round will be three days long and will consist of a accumulation of previous rounds focusing on high-level in person challenges in Propositional, Relational, and Functional Logic, designed to test participants' advanced understanding and ability to apply logic under rigorous conditions. It will also include creative, unstructured puzzles that encourage critical thinking and the application of broad logic knowledge

Curriculum