Next: About this document Up: Mathematics 355 Symbolic Logic Previous: Ethics


This class meets every Tuesday and Thursday from 10:50 AM to 12:05 PM, except on University holidays or if I cancel class. All dates in the following schedule are tentative, except those fixed by the University; if some topic listed here as taking one lecture in fact takes two lectures to cover adequately, or vice versa, the schedule will shift.

I expect you to have read the specified chapters in the textbook before the lecture that deals with that topic; this way I can concentrate my time on answering questions and clarifying subtle or difficult points in the textbook, rather than on reading to you, which will bore both of us. Please read ahead!

Date(s) Assignment Reading Lecture Subject
2 Sept handouts Introduction (Dr. Lubell)
4 Sept handouts Propositional connectives (Dr. Lubell)
9 Sept Testing Truth and Validity
11 Sept Deductive proof rules
12 Sept Last day to add courses
16 Sept HW1 1, App. A Using the Tarski's World program
18 Sept 2 Languages for Predicate and First-order Logic
23 Sept 3.1-3.6 Language of Propositional Logic
25 Sept 3.7-3.8 Satisfiability and validity
26 Sept Last day to drop courses
30 Sept 3.9-3.12 Formal proofs
2 Oct Rosh Hashanah, no classes
7 Oct 4.1-4.4 Conditionals and biconditionals
9 Oct HW1 due 4.5-4.7 Proofs using conditionals and biconditionals
14 Oct 5-5.8 Quantifiers
16 Oct 5.9-5.10 Proofs using Quantifiers
21 Oct HW2 5.11-5.13 Formal proofs using Quantifiers
23 Oct 6.1-6.4 Multiple Quantifiers
28 Oct 6.5-6.7 Proofs using Multiple Quantifiers
30 Oct HW3 6.8-6.9 Formal proofs using Multiple Quantifiers
31 Oct Last day to withdraw from classes
4 Nov HW2 due More Fun with Multiple Quantifiers
6 Nov HW3 More Fun with Multiple Quantifiers
11 Nov 7-7.3 Applications of Quantifiers
13 Nov 7.4-7.5 Limits on First-order Expressibility
18 Nov Discuss homework
20 Nov HW4 8-8.4 Set theory
25 Nov HW3 due 8.5-8.8 Weird set theory
27 Nov Thanksgiving -- no classes
2 Dec HW5 9.1-9.2 Mathematical Induction
4 Dec HW4 due 9.3 Induction on Naturals, Strings, Trees, ...
9 Dec 11.7 Completeness and incompleteness
11 Dec HW5 due Catch up and review for final
16 Dec 10:30 AM - 12:30 PM, Final Exam

Next: About this document Up: Mathematics 355 Symbolic Logic Previous: Ethics

Stephen Bloch
Tue Nov 18 14:39:04 EST 1997