Past Tutorials and Tests
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
)
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
)
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
)
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
)