CS 1FC3 T2 2006
Tutorial Material

Below you will find versions of the material for the tutorials.

• Tutorial 1 : Introduction to Maple and Logic.
• Tutorial 2 : Predicates, quantifiers and proofs as a Maple 10 Worksheet.
• Tutorial 3 : Set Theory (also available as a Word doc).
• Tutorial 4 : Big O Notation.
• Tutorial 5 : Algorithms and Complexity (also available as a Word doc).
• Tutorial 6 : Induction.
• Tutorial 7 : Recursion.
• Tutorial 8 : Counting, Pigeonhole.
• Tutorial 9 : Recurrences - Theory and computation.
• Tutorial 10 : Graphs.