February 11, 2020
Tuesday of Week 5
Topics of the day
- Propositional logic
- Theorem proving
- Math proofs
Suggested reading
- Section 5.0-5.2 from Lucci and Kopec, Artificial intelligence in the 21st century, 2e
Assignments
Today
- Homework 2 revision due
Upcoming
- Homework 3 due (18 Feb)