Jan 6: Course introduction. Sets.
Jan 8: Mappings and compositions.
Jan 13: Binary operations. Equivalence relations.
Jan 15: Monoids: definition and examples.
Tutorial: Review of Chapter 1.
Jan 20: Monoids and applications to automata and formal languages.
Jan 22: Monoids and automata (cont).
Tutorial: Induction proofs. Group exercises.
Jan 27: Groups: definition and examples.
Jan 29: Order. Properties of group elements.
Tutorial: Test #1.
To February lectures.