COMP0003, kind of

First Half

Formal Language & Grammar
Propositional Logic
First-order Logic
Modal Logic
Mathematical Induction

Second Half

(Also Formal Language notes)
Automata Theory

---

These are succinct high-level overviews that lack specific examples or much explanation.
I wrote first-order logic before propositional logic (and formal language & grammar before all those)… so, there might be some cross-referencing ideas.