CS 1155 - Understanding and Constructing Proofs

Fall 1997

Course Information

Instructor: Ellen Zegura
Time: Tuesday, Thursday 9:35 - 10:55
Syllabus
TA's and their office hours
Course Newsgroup

Read disclaimer before viewing any of the following.

Homework Assignments

Assignment 1 (Due Tuesday, October 7, 1997)
HTML Version - Postscript
Assignment 2 (Due Tuesday, October 14, 1997)
HTML Version - Postscript
Assignment 3 (Due Tuesday, October 21, 1997)
HTML Version - Postscript
Assignment 4 (Due Tuesday, October 28, 1997)
HTML Version - Postscript
Assignment 5 (Due Thursday, November 6, 1997)
HTML Version - Postscript
Assignment 6 (Due Thursday, November 13, 1997)
HTML Version - Postscript
Assignment 7 (Due Thursday, November 20, 1997)
HTML Version - Postscript
Assignment 8 (Due Thursday, December 4, 1997)
HTML Version - Postscript
Assignment 9 (No due date)
HTML Version - Postscript

Homework Solutions

Assignment 1
HTML Version - Postscript
Assignment 2
HTML Version - Postscript
Assignment 3
HTML Version - Postscript
Assignment 4
HTML Version - Postscript
Assignment 5
HTML Version - Postscript
Assignment 6
HTML Version - Postscript
Assignment 7
HTML Version - Postscript
Assignment 8
HTML Version - Postscript
Assignment 9
HTML Version - Postscript

Sample Exams

(Sorry, only in postscript!)

Exam 1
- Fall 1995 Postscript
- Fall 1996 Postscript
- Summer 1996 Postscript
Exam 2
- Fall 1995 Postscript
- Fall 1996 Postscript
- Summer 1996 Postscript
Final
- Fall 1995 Postscript
- Fall 1996 Postscript
- Summer 1996 Postscript

Last modified December 1, 1997