[home]
Math 4680/5680, Topics in Logic and Computation
Winter 2017
Peter Selinger

"Introduction to Mathematical Logic"


Course Information

See the Syllabus.

Announcements

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 Handout 1.

Welcome to the course (posted Jan 9). Here, you will find up-to-date information, including announcements, homework assignments, any handouts, etc.

Suggested Topics for Student Presentations

Here are some possible topics for graduate student presentations.

Homework Assignments

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).

Handouts

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



To Peter Selinger's Homepage: [home]
Peter Selinger / Department of Mathematics and Statistics / Dalhousie University
selinger@mathstat.dal.ca / PGP key