CS 330: Formal Methods and Models, Section 003, Spring 2021

Predicate Logic and Induction

Slides:

Predicates
Inference rules for Boolean formula. Videos: Part 1  Part 2  Part 3 

Examples:

Predicates and Formulas
Induction, example 1
Induction, example 2 (Stamp collection problem.)

Back to schedule