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.