Logic and Modeling 2020 -- Exercise session schedule

This list of exercises will be updated as the course progresses.

Exercises are from Logic and Proof, except where otherwise noted. You should attempt some of the problems before the exercise class, and come with questions. Not all problems will be covered in each class.

This text will also be updated as the course progresses. Exercises may be added or changed. Don’t download it once at the beginning – refresh it regularly!

Coronavirus update: exercise sessions will be held by the TAs over Zoom. We are working to figure out how to make these sessions as interactive as possible. The TAs will also post solutions to some exercises on Canvas, but we recommend attending the live sessions!

Exercise Class 1: Wednesday, April 1

Exercise Class 2: Friday, April 3

Exercise Class 3: Wednesday, April 8

Exercise Class 4: Wednesday, April 15

Exercise Class 5: Friday, April 17

Exercise Class 6: Wednesday, April 22

Exercise Class 7: Friday, April 24

Exercise Class 8: Wednesday, April 29

Exercise Class 9: Friday, May 1

Exercise Class 10: Wednesday, May 6

Exercise Class 11: Friday, May 8

From Huth and Ryan:

Exercise Class 12: Wednesday, May 13

Exercise Class 13: Friday, May 15

Exercise Class 14: Wednesday, May 20

Come with questions to review for the exam!