[home]
Math 4680/5680, Topics in Logic and Computation
Fall 2007
Peter Selinger


Old Announcements

Midterm Details (posted Nov 8). During the midterm, you may bring and use an unedited copy of the lecture notes that I handed out in class (but not your own course notes or answers to the homework problems). The notes are available for download below. The midterm covers everything up to natural deduction (p.54).

Midterm Date (posted Oct 30). The midterm will be on Tuesday, November 13, in class.

Second make-up class (posted Oct 16). There will be a second make-up class on Monday, Oct 29, at 1:30p. This is to make up for one of the two classes I cancelled at the beginning of the term.

Make-up classes (posted Oct 11). There will be a class on Monday, Oct 15, at 1:30p in Chase 305. This will be to make up for one of the classes I cancelled at the beginning of the term. There will be a second make-up class at a later time.

Final Exam Date (posted Oct 1). Our final exam has been scheduled for Thursday, Dec 6, at 3:30pm. The location will be announced later.

Welcome to the course! Watch this web page for current announcements, lecture notes, homework assignments and more. (Posted Sept 6).

No class on Sept 11 and 13. Please note that there will be no class on September 11 and 13, because I will be away at a conference. These two classes will be made up later in the term. (Posted Sept 6).

To Peter Selinger's Homepage: [home]


Peter Selinger / Department of Mathematics and Statistics / Dalhousie University
selinger@mathstat.dal.ca / PGP key