Weekly outline
29 March - 4 April
Review and Restart
- Tuesday:: Review of previous quarter
- Thursday: Specifications, Logic and Proof
5 April - 11 April
Logic and Truth
- Tuesday: Prop. Logic continued
- Thursday: Quantified Prop. Logic and SAT
12 April - 18 April
Applying Prop. Logic
- Tuesday: More deduction; more Z; more SAT
- Thursday: continued
19 April - 25 April
- Deduction, deduction rules, prop. resolution
- Equivalence of standard rules and resolution
26 April - 2 May
- SAT algorithms
- First-order logic: deduction, clausal normal form
3 May - 9 May
- Skolemization, Unification, Horn Logic
- FOL Theorem Provers
10 May - 16 May
- Review and Consolidation
- Constructing and Proving Correct Code
24 May - 30 May
- Quiz 2; Algebras and Abstract Data Types
- Abstract and Algebraic Data Types
31 May - 6 June