15-399 Constructive Logic
Lecture 11: Induction and Quantification

We introduce induction as a generalization of primitive recursion and then discuss universal and existential quantification.

This lecture delivered by Andreas Abel.

• Reading: induction.pdf
• Previous lecture: Lists and Predicates
• Next lecture: First-Order Logic

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

fp@cs
Frank Pfenning