CIS 301. Logical Foundations of Programming, Fall 2006

General course information

• Captain's log: see what was covered when.
• Syllabus.
• Course prerequisites and expected outcomes.
• The material covered during the course.
• Textbook (including software package).

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.