Fall, 2019

**
ANNOUNCEMENTS: (Students, please check for announcements every week.)
**

** COURSE TIMES, CONTACT INFO **

**Course Information Sheet**

Office Hours: Monday 5:15-6pm, Sandford Fleming 2305A

Lectures: Monday 3-5 BA 1200

Tutorial: Friday 12-1 BA 1200

** Tutor: Noah Fleming, noahfleming@cs
Noah's Office Hours: to be announced soon
**

**
**

** HOMEWORK ASSIGNMENTS: **

- Homework 1, Due Sept 27
- Homework 1 Solutions
- Homework 2, Due Oct 18
- Homework 2 Solutions
- Homework 3, Due Nov 11
- Homework 3 Solutions
- Homework 4, Due Nov 29
- Homework 4 Solutions

** EXAM INFORMATION: **

** GRADES AND MARKING: **

** LECTURE NOTES: **

- Week 1
- Week 2
- Week 3
- Week 4
- Week 5
- Week 6
- Week 7
- Weeks 8 and 9
- Noah's Lecture Notes (Week 9)
- Week 10
- Week 11

** TUTORIALS: **

** COURSE NOTES: **

- Propositional Calculus
- Predicate Calculus
- Completeness
- Herbrand, Equality, Compactness
- Computability
- Incompleteness, I
- Incompleteness, II

** SUPPLEMENTARY READING **