Sep 6: Introduction to the course. Sets.
Sep 11: Mappings and compositions. 
Sep 13: Binary operations. Relations. 
 Tutorial: Mappings and compositions.
Sep 18: Relations (cont). Monoids: definition and examples. 
Sep 20: Monoids and applications to automata and formal
languages. 
 Tutorial: Review of Chapter 1.
Sep 25: Monoids and automata (cont). Definition of groups. 
Sep 27: Examples of groups. Definition of order.
 Tutorial: Induction proofs. Group exercises.
To October
lectures.