![[home]](images/PS05.gif){kind=small}
Winter 2012 Peter Selinger "Introduction to Mathematical Logic" |
| See the Course Information Sheet. |
|
Final Exam (posted Apr 2). Our final exam will be on Monday,
April 9, from 10-1 in Chase 319.
Strike contingency plan (posted Mar 9). In case of a strike, you should continue doing course work: reading and assignments. Please see below for a week-by-week plan. Midterm (posted Feb 27). The midterm will be on Friday March 2 in class. Welcome to the course (posted Jan 4). Here, you will find up-to-date information, including announcements, homework assignments, any handouts, etc. |
|
Homework 1, due Jan 23. 1.1 #2, 3; 1.2 #2, 5, 7, 10; 1.4 #2.
Answers: PDF.
Homework 2, due Feb 13. 1.5 #1, 4; 1.7 #12; 2.1 #1; 2.2 #2, 8,
11, 15.
Homework 3, due Feb 27. 2.1 #2; 2.2 #1, 9, 14.
Homework 4, due Mar 16. Lecture Notes 5, #1 (a)-(f),
#2 (v): for each problem, prove the left-to-right implication,
using your choice of Prawitz style or Fitch style natural deduction.
Lecture Notes 5, # 3 (d), (j), (l). Handout 6, p.114 #1, 2.
|
In case of a strike, you should continue doing course work (reading
and assignments). No homework will be due during a strike, but after a
strike, the end of term will likely be accelerated. Here is a
week-by-week contingency plan for what to study:
|
|
Lecture Notes 1 (posted Jan 15)
[pdf]:
The Language of Sentential Logic.
Lecture Notes 2 (posted Jan 15) [pdf]: Truth, Proofs, Soundness, and Completeness for Sentential Logic. Lecture Notes 3 (posted Feb 17) [pdf]: The Language of First-Order Logic. Lecture Notes 4 (posted Feb 17) [pdf]: Soundness, Completeness, and Consequences for First-Order Logic. Lecture Notes 5 (posted Feb 17) [pdf]: Fitch style natural deduction. |
| Midterm Answers: PDF. |
![[home]](images/homebutton.gif){kind=small}