Week 1
- Finite State Automaton
- Logical Encoding
- Propositional Logic
- Well-Formed Formula (Propositional Logic)
- Proposition Parsing
- Truth Function
- Valuation
- Modus Ponens
Optional, but interesting:
Week 2
- Model
- Semantic Consequence
- Validity
- Satisfiability
- Substitution (Logic)
- Resolution (Propositional Logic)
- Negative Normal Form
- Conjunctive Normal Form
- Boolean Satisfiability Problem