Web Page
- Propositional and first order logic.
- Sets, relations, functions, partial orders and lattices. Monoids, Groups.
- Graphs: connectivity, matching, coloring.
- Combinatorics: counting, recurrence relations, generating functions.
"Monoids is an addition but it was already implied in Groups."
- Teacher: Arjun Suresh