Calendar of topics and assignments

MTP 621, Spring 2008

Last modified:

All reading assignments are in the Barwise & Etchemendy textbook, Language Proof and Logic, unless stated otherwise.

Date Assignment Reading Subject
Jan 29     What is logic? Truth in a model? Validity of an argument?
Feb 05     More validity exercises; "proving" scientific theories;
introduction to the blocks world
Feb 06 Last day to add classes  
Feb 12 HW1 chaps. 1-4 Boolean connectives
Feb 19   chaps. 5-6 Proofs involving Boolean connectives
Feb 20 Last day to drop classes  
Feb 26 HW1 due; HW2 chap. 7 Conditionals
Mar 04   chap. 8
Mar 12 Spring Break
Mar 18 HW2 due; HW3 chap. 9 Quantifiers
Mar 25   chap. 10
Mar 25 Last day to withdraw from classes
Apr 01 HW3 due; HW4 chap. 11 Multiple quantifiers
Apr 08   chap. 12 Proofs involving quantifiers
Apr 15 HW4 due; HW5 chap. 13
Apr 22   chap. 16 Mathematical induction
Apr 29 HW5 due chap. 15, 17 or 19 Set theory, Resolution and computers, or completeness and incompleteness
May 06     Catch up and review
May 15 Final exam, 6:45-8:45 PM