COMP 426 Automated Reasoning
Lecture 14: Review midterm

We will go through some problems from the midterm in class, and review material such as normalizing proof terms, deriving the type (proposition) for a term, proving first-order formulas, and giving two different proofs of inversion principle.

• Reading: in preparation
• Code: in preparation
• Previous lecture: Week 7
• Next lecture: Week 9

[ Home | Schedule | Assignments | Handouts | Software | Overview ]

bp@cs.mcgill.ca
Brigitte Pientka