Winter 2017 Peter Selinger "Introduction to Mathematical Logic" |
See the Syllabus. |
Final exam (posted Mar 22). The final exam will be on Tuesday,
April 18, at 9:30, in our usual classroom, Chase 319.
Midterm (posted Feb 23). The midterm will be in class on March 8. Midterm (posted Feb 17). We can't have the midterm on March 6. I propose March 8. Please let me know right away if you have a conflict that day. Office hours (posted Feb 7). My current office hours are Mondays 10:30-11:30, or by appointment.
Practice problems (posted Jan 16). Please practice natural
deduction derivations, using problems 9, 12, 15, 18, ..., 39 from
Welcome to the course (posted Jan 9). Here, you will find up-to-date information, including announcements, homework assignments, any handouts, etc. |
Homework 1, due Jan 27. 2.2 #1, 2; 2.4 #2; 2.6 #5; Handout 1,
#36–38, 42–44.
Homework 2, due Feb 6. 2.1 #2; 2.5 #1, 3, 4, 9. Homework 3, due Feb 17. 3.4 #1, 4, 5, 7. Homework 4, due Mar 3. Handout 2, #1(h), (j); #2(w); #4(e), (f), (h). |
Handout 1 (Jan 16)
[pdf]:
Problems for propositional logic
Handout 2 (Feb 15) [pdf]: Natural deduction for quantifiers Handout 3 (Mar 15) [pdf]: Lecture Notes: Consequences of completeness for first-order logic |