Fall 2004 Peter Selinger |
See the Course Information Sheet. |
Marked Homeworks (posted Dec.15). Homeworks #4-6 have now been
marked and are available for pickup from the envelope on my office
door (205 KED).
Final Exam. Our final exam has now been officially rescheduled for December 20, 2004 at 9:30 am in room ART026. Office Hours. (There will be no office hours on Dec. 13). Older announcements are here. |
Click here to see a running list of topics covered in class. |
Problem Set 1. (Due Tuesday, Oct. 5.)
Handout 1, Problems 1-4, 10, 20, 30, 50.
Answers: [dvi, ps, pdf]
Problem Set 2. (Due Thursday, Oct. 14.) From Handout 1: using
Prawitz style natural deduction: 11, 21, 31, 41, 51; using analytic
tableaux: 12, 22, 32, 42, 52.
Problem Set 3. (Due Thursday, Oct. 28.) Van Dalen p.47 #1-7. Problem Set 4. (Due Tuesday, Nov. 16.) Van Dalen 2.2 #1, 2.4 #1,4,5, and prove that every formula is logically equivalent to a formula in prenex form. Problem Set 5. (Due Tuesday, Nov. 30.) Handout 2, #1(rst) (natural deduction), #2(x) (natural deduction), #1(jr) (tableaux), #3(jl). Problem Set 6. (Due Thursday, Dec. 2.) 3.2 #1 (i)-(iii), #7, #8. |
Handout 1 (Sept. 24): Rules of Fitch-style natural deduction.
[ps,
pdf]
Lecture Notes 1 (Oct 14): Analytic Tableaux, p.1-4. [dvi, ps, pdf] Lecture Notes 2 (Oct 19): Analytic Tableaux, p.5-8. [dvi, ps, pdf] |