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

Schedule

This class meets every Tuesday and Thursday from 3:05 to 4:20 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 Assignment Reading Subject

Aug. 30 Administrivia, syllabus, textbook, software, …

Sept. 4 HW1 pp. 1-22 Logic, artificial languages, and FOL

Sept. 6 pp. 23-40 FOL and Tarski's World

Sept. 7 Deadline to add a course

Sept. 11 pp. 41-53 Validity, soundness, and proof

Sept. 13 pp. 54-66 Formal vs. informal proofs

Sept. 18 Rosh Hashanah

Sept. 20 pp. 67-78 Boolean connectives

Sept. 21 HW1 due; HW2 Deadline to drop a course

Sept. 25 pp. 79-92 Manipulating Boolean connectives

Sept. 27 Yom Kippur

Oct. 2 pp. 93-109 Truth tables and tautologies

Oct. 4 pp. 110-126 Consequence and normal forms

Oct. 9 HW2 due; HW3 pp. 127-141 Proof techniques

Oct. 11 pp. 142-162 Inference rules for formal proofs

Oct. 16 pp. 163-175 Subproofs and how to build proofs

Oct. 18 pp. 176-189 Conditionals and biconditionals

Oct. 23 pp. 190-205 Proofs using conditionals

Oct. 25 HW3 due; HW4 pp. 206-224 Review of quantifier-free logic

Oct. 26 Deadline to withdraw from a course

Oct. 30 pp. 225-238 Quantifiers

Nov. 1 pp. 239-256 Working with quantifiers

Nov. 6 HW4 due; HW5 pp. 257-274 Tautology, validity, and quantifiers

Nov. 8 pp. 275-288 Manipulating quantifiers

Nov. 13 HW6 pp. 289-303 Multiple quantifiers

Nov. 15 pp. 304-318 Manipulating multiple quantifiers

Nov. 20 HW5 due pp. 319-337 Proofs involving quantifiers

Nov. 22 Thanksgiving

Nov. 27 pp. 342-351 Formal proofs involving quantifiers

Nov. 29 pp. 352-363 Review of quantifier logic

Dec. 4 HW6 due pp. 442-455 Mathematical induction

Dec. 6 pp. 456-467 Applications of mathematical induction

Dec. 11 pp. 479-494 Computer theorem-proving

Dec. 13 Catch up and review

Dec. 20 3:30-5:30, final exam

Date	Assignment	Reading	Subject
Aug. 30			Administrivia, syllabus, textbook, software, …
Sept. 4	HW1	pp. 1-22	Logic, artificial languages, and FOL
Sept. 6		pp. 23-40	FOL and Tarski's World
Sept. 7	Deadline to add a course
Sept. 11		pp. 41-53	Validity, soundness, and proof
Sept. 13		pp. 54-66	Formal vs. informal proofs
Sept. 18	Rosh Hashanah
Sept. 20		pp. 67-78	Boolean connectives
Sept. 21	HW1 due; HW2	Deadline to drop a course
Sept. 25		pp. 79-92	Manipulating Boolean connectives
Sept. 27	Yom Kippur
Oct. 2		pp. 93-109	Truth tables and tautologies
Oct. 4		pp. 110-126	Consequence and normal forms
Oct. 9	HW2 due; HW3	pp. 127-141	Proof techniques
Oct. 11		pp. 142-162	Inference rules for formal proofs
Oct. 16		pp. 163-175	Subproofs and how to build proofs
Oct. 18		pp. 176-189	Conditionals and biconditionals
Oct. 23		pp. 190-205	Proofs using conditionals
Oct. 25	HW3 due; HW4	pp. 206-224	Review of quantifier-free logic
Oct. 26	Deadline to withdraw from a course
Oct. 30		pp. 225-238	Quantifiers
Nov. 1		pp. 239-256	Working with quantifiers
Nov. 6	HW4 due; HW5	pp. 257-274	Tautology, validity, and quantifiers
Nov. 8		pp. 275-288	Manipulating quantifiers
Nov. 13	HW6	pp. 289-303	Multiple quantifiers
Nov. 15		pp. 304-318	Manipulating multiple quantifiers
Nov. 20	HW5 due	pp. 319-337	Proofs involving quantifiers
Nov. 22	Thanksgiving
Nov. 27		pp. 342-351	Formal proofs involving quantifiers
Nov. 29		pp. 352-363	Review of quantifier logic
Dec. 4	HW6 due	pp. 442-455	Mathematical induction
Dec. 6		pp. 456-467	Applications of mathematical induction
Dec. 11		pp. 479-494	Computer theorem-proving
Dec. 13			Catch up and review
Dec. 20	3:30-5:30, final exam

2001-08-21