Schedule

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