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