CIS 301. Logical Foundations of Programming, Fall 2006
General course information
Assignments

Assignment #1
due Wednesday, August 30, 2006
(Feedback)

Assignment #2
due Friday, September 8, 2006
(Feedback)

Assignment #3
due Friday, September 15, 2006
(Feedback)

Assignment #4
due Friday, September 22, 2006
(Feedback)

Assignment #5
due Friday, September 29, 2006
(Feedback)

Assignment #6
due Friday, October 13, 2006
(Feedback)

Assignment #7
due Friday, October 20, 2006
(Feedback)

Assignment #8
due Friday, October 27, 2006
(Feedback)

Assignment #9
due Friday, November 10, 2006
(Feedback)

Assignment #10
due Friday, November 17, 2006
(Feedback)

Assignment #11
due Wednesday, December 6, 2006
(Feedback)
Ancillary material

Lecture Notes on Program Verification

Lecture Notes on Induction

Previous exam questions:

Fall 2006, Final Exam.
(Suggested solutions.)

Fall 2006, Exam III.
(Suggested solutions.)

Fall 2006, Exam II.
(Suggested solutions.)

Fall 2006, Exam I.
(Suggested solutions.)

Fall 2005, Exam III.
(Suggested solutions.)

Fall 2005, Exam II.
(Suggested solutions.)

Fall 2005, Exam I.
(Suggested solutions.)

Spring 2005, Exam III.
(Suggested solutions.)

Spring 2005, Exam II.
(Suggested solutions.)

Spring 2005, Exam I.
(Suggested solutions.)

Fall 2004, Exam III.
(Suggested solutions.)

Fall 2004, Exam II.
(Suggested solutions.)

Fall 2004, Exam I.
(Suggested solutions.)

Spring 2004, Exam III.
(Suggested solutions.)

Spring 2004, Exam II.
(Suggested solutions.)

Spring 2004, Exam I.
(Suggested solutions.)

Fall 2003, Exam III.
(Suggested solutions.)

Fall 2003, Exam II.
(Suggested solutions.)

Fall 2003, Exam I.
(Suggested solutions.)

Spring 2003, Exam III.
(Suggested solutions.)

Spring 2003, Exam II.
(Suggested solutions.)

Spring 2003, Exam I.
(Suggested solutions.)

Other material
will be put online as and when appropriate.
Torben Amtoft