CS 1FC3 T2 2007
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
.
Tutorial 3 :
Set Theory
(also available as a
Word doc
).
Tutorial 4 :
Functions
(also available as a
Word doc
).
Tutorial 5 :
Growth of functions (big O)
Tutorial 6 :
Algorithms
(also available as a
Word doc
).
Tutorial 7 :
Algorithm Analysis
(also available as a
Word doc
).
Tutorial 8 :
Sequences, Sums and Induction
.
Tutorial 9 :
Recursion
.
Back to main page