PMath 330 Web Site

Fall 2000

Instructor: S. Burris
Office: MC 5086
Errata to Text


Lecture Slides

Three REVIEW MIDTERMS
PDF #1 #2 #3
Postscript #1 #2 #3
Answers
PDF #2 #3
PS #2 #3

REVIEW EXAMS
Final Exam Winter 1998 (postscript) or (pdf)
Final Exam Fall 1998 (postscript) or (pdf)
Final Exam Fall 1999 (postscript) or (pdf)

(Sorry, no written solutions for these exams exist.)


Assignments:

Review Materials: Last Year's Assignments and Solutions


Textbook: Logic for Mathematics and Computer Science
Author: S. Burris
Publisher: Prentice-Hall, 1998

Errata to Textbook (html) or (postscript) or (pdf)


Topics to be covered:
    • Calculus of Classes (Chap. 1)
    • Propositional Logic (Chap. 2)
    plus highlights from:
    • Equational Logic (Chap. 3)
    • Clause Logic (Chap. 4)
    • First-Order Logic (Chap. 5)

Supplementary Materials