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