CIS 301. Logical Foundations of Programming, Spring 2005

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 Friday, January 21, 2005
  (Feedback)
• Assignment #2 due Friday, January 28, 2005
  (Feedback)
• Assignment #3 due Friday, February 4, 2005
  (Feedback)
• Assignment #4 due Friday, February 11, 2005
  (Feedback)
• Assignment #5 due Monday, February 21, 2005
  (Feedback)
• Assignment #6 due Friday, March 4, 2005
  (Feedback)
• Assignment #7 due Friday, March 11, 2005
  (Feedback)
• Assignment #8 due Friday, March 18, 2005
  (Feedback)
• Assignment #9 due Friday, April 1, 2005
  (Feedback)
• Assignment #10 due Friday, April 15, 2005
  (Feedback)
• Assignment #11 due Friday, April 22, 2005
  (Feedback)
• Assignment #12 due Friday, April 29, 2005
  (Feedback)
• Assignment #13 due Friday, May 6, 2005
  (Feedback)

Ancillary material

• Lecture Notes on Program Verification
• Lecture Notes on Induction

• Previous exam questions:
  • 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.