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