CIS 301. Logical Foundations of Programming, Fall 2007

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 #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.