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

Assignment #12
due Friday, December 7, 2007
(Feedback)

Assignment #11
due Friday, November 30, 2007
(Feedback)

Assignment #10
due Monday, November 19, 2007
(Feedback)

Assignment #9
due Friday, November 9, 2007
(Feedback)

Assignment #8
due Friday, October 26, 2007
(Feedback)

Assignment #7
due Friday, October 19, 2007
(Feedback)

Assignment #6
due Friday, October 12, 2007
(Feedback)

Assignment #5
due Friday, September 28, 2007
(Feedback)

Assignment #4
due Friday, September 21, 2007
(Feedback)

Assignment #3
due Friday, September 14, 2007
(Feedback)

Assignment #2
due Friday, September 7, 2007
(Feedback)

Assignment #1
due Wednesday, August 29, 2007
(Feedback)
Ancillary material

Lecture Notes on Program Verification

Lecture Notes on Induction

Previous exam questions:

Fall 2007, Exam III.
(Suggested solutions.)

Fall 2007, Exam II.
(Suggested solutions.)

Fall 2007, Exam I.
(Suggested solutions.)

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