AS/SC/AK/ MATH 1090 3.0-Winter 2000

Office Hours: TBA, Fall 2000 (Location: Room 354 CCB)

Miscelaneous Course Notes

New! The paper "Post's Theorem and Other Tools" is a very useful reference for our work in Chapters 3, and especially Chapter 4. (Postscript version and PDF version)
The paper "A Basic Formal Equational Predicate Logic" is a very useful reference for the predicate calculus part of the course.

Problem Set No. 1 (Date:Jan. 11, 2000; Due: At the beginning of class, Jan. 20, 2000) Postscript version; PDF version.

Problem Set No. 2 (Date:Jan. 20, 2000; Due: At the beginning of class, Feb. 3, 2000) Postscript version; PDF version.

Problem Set No. 3 (Date:Feb. 3, 2000; Due: At the beginning of class, Feb. 22, 2000) Postscript version; PDF version.

Problem Set No. 4 (Date:Feb. 22, 2000; Due: At the beginning of class, Mar. 2, 2000) Postscript version; PDF version.

Problem Set No. 5 (Date:Mar. 2, 2000; Due: At the beginning of class, Mar. 14, 2000) Postscript version; PDF version.

Problem Set No. 6 (Date:Mar. 14, 2000; Due: At the beginning of class, Mar. 30, 2000) Postscript version; PDF version.

Problem Set No. 1 (Posted: Jan. 24, 2000) Postscript version; PDF version.

Problem Set No. 2 (Posted: Feb. 11, 2000) Postscript version; PDF version.

MidTerm Test (Posted: March 3, 2000) Postscript version; PDF version.

Problem Set No. 3 (Posted: March 4, 2000) Postscript version; PDF version.

Problem Set No. 4 (Posted: March 5, 2000) Postscript version; PDF version.

Problem Set No. 5 (Posted: March 15, 2000) Postscript version; PDF version.

Problem Set No. 6 (Posted: March 31, 2000) Postscript version; PDF version.

The Help Sheet for the Exam is here (Postscript or PDF), since you asked.

A copy will be attached with the Exam Questions book.

Please do NOT bring a copy of this sheet to the Exam.

Return to courses main page.