Instructor: Daniel Rockmore
Course on canvas.dartmouth.edu.⇗
Syllabus
Note: This syllabus is "aspirational" and subject to change.
Week 1: Reading - Levin, through page 75
Monday, 1/6: Introduction to the course; historical context; basic ideas; 1.0 -- we set up the origins of mathematical logic as a discipline (pretty much what is the course description above).
Wednesday, 1/8: 1.1, 1.2 -- Introduction to formal languages and the syntax of a "well formed formula" (wff) as the allowable strings of the language constructed from sentence symbols, connectives, and punctutation. We introduced the idea of a truth valuation, which is the evaluation of a given wff in the sentential calculus once truth values (T or F) are assigned to each of the sentence symbols. In this sense, any wff is a Boolean function, returning for a given input (vector) of truth values (naturally encoded as a binary/Boolean vector) a Boolean value. If one lists all possible inputs and records the outputs, that is the data of the "truth table" corresponding to the wff. We also worked through some proofs by induction in the sentential calculus. In this situation one is performing induction on the depth of a given expression in the space of (relevant) wffs.
Friday, 1/10: 1.3, 1.5
--------------
Week 2: Levin, through page 151
Monday, 1/13: 1.7; Also, WA1 is due.
Wednesday, 1/15: 1.7
Friday, 1/17: 2.0, 2.1
--------------
Week 3: Levin, finish the book!
Monday, 1/20: MLK Day - no class
Tuesday, 1/21: Structures Handout; WA2 is due.
Wednesday, 1/22: Structures Handout
Friday, 1/24:
--------------
Week 4: New Book
Monday, 1/27: 2.2 to page 87; WA3 is due; Final Paper option needs to be picked.
Wednesday, 1/29: 2.2, Also Written Response to Levin is due.
Friday, 1/31: 2.3
--------------
Week 5:
Monday, 2/3: 2.4 to page 117; WA4 is due.
Wednesday, 2/5: 2.4
Friday, 2/7:
--------------
Week 6:
Monday, 2/10: 2.5 to page 131; WA5 is due.
Wednesday, 2/12: 2.6
Friday, 2/14: 2.5
--------------
Week 7:
Monday, 2/17: 2.6; WA6 is due.
Wednesday, 2/19: 3.0, 3.1
Friday, 2/21:
--------------
Week 8:
Monday, 2/24:
Wednesday, 2/26:
Friday, 2/28:
--------------
Week 9:
Monday, 3/3:
Wednesday, 3/5:
Friday, 3/7: Last day of class