Toggle Menu
Which topic(s) would you prefer to be covered in the final lecture? (Top 4-5 will be covered in the lecture, the remaining will be covered in Week 10 tutorials)
DFAs/NFAs/Regular languages
Regular expressions/Myhill-Nerode/CFGs
Discrete Mathematics
Laws of Set Operations
Induction
Propositional Logic
Predicate Logic
Natural Deduction (Propositional Logic)
Natural Deduction (Predicate Logic)
Hoare Logic
Transition Systems
Back to top