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

"Introduction to Mathematical Logic"

Course Information

See the Course Information Sheet.

Announcements

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

Homework Assignments

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.

Course Notes

Lecture Notes 1 (The Language of Sentential Logic) (posted Jan 15): [pdf].

Lecture Notes 2 (Truth, Proofs, Soundness, and Completeness for Sentential Logic) (posted Jan 15): [pdf].



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