Past Tutorials and Tests

1. Academic Year 2002-2003 Semester 1
   • T01: Propositional Calculus
   • T02: Predicate Calculus
   • T03: Elementary Number Theory
   • T04: Set Theory
   • T05: Relations
   • T06: Equivalence Relations and Posets
   • T07: Induction
   • T08: Functions, PHP, Cardinality
   • T09: Combinatorics
   • T10: Graphs - Basic Concepts, Circuits and Representation
   • T11: Graphs - Trees
   • Test #1 (Ans)
   • Test #2 (Ans)
   • Test #3 (Ans)
2. Academic Year 2001-2002 Semester 1
   • T01: Propositional Calculus
   • T02: Natural Deduction in Propositional Calculus
   • T03: Natural Deduction in Predicate Calculus
   • T04: Proof Techniques
   • T05: Set Theory
   • T06: Relations and Equivalence Relations
   • T07: Partial Orders and Induction
   • T08: Functions
   • T09: Graphs I - Basic Concepts
   • T10: Graphs II - Circuits and Representation
   • T11: Graphs III - Trees
   • Test #1 (Ans)
   • Test #2 (Ans)
3. Academic Year 2000-2001 Semester 2
   • T01: Propositional Calculus
   • T02: Natural Deduction in Propositional Calculus
   • T03: Natural Deduction in Predicate Calculus
   • T04: Proof Techniques
   • T05: Set Theory
   • T06: Relations and Equivalence Relations
   • T07: Partial Orders and Induction
   • T08: Functions
   • T09: Graphs I - Basic Concepts
   • T10: Graphs II - Circuits and Representation
   • T11: Graphs III - Trees
   • Test #1 (Ans)
   • Test #2 (Ans)
4. Academic Year 2000-2001 Semester 1
   • T01: Propositional Calculus
   • T02: Natural Deduction in Propositional Calculus
   • T03: Natural Deduction in Predicate Calculus
   • T04: Proof Techniques
   • T05: Set Theory
   • T06: Relations and Equivalence Relations
   • T07: Partial Orders and Induction
   • T08: Functions
   • T09: Graphs I - Basic Concepts
   • T10: Graphs II - Circuits and Representation
   • T11: Graphs III - Trees
   • Test #1
   • Test #2 (Ans)