CIS 301. Logical Foundations of Programming, Fall 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, September 2, 2005
  (Feedback)
• Assignment #2 due Friday, September 9, 2005
  (Feedback)
• Assignment #3 due Friday, September 16, 2005
  (Feedback)
• Assignment #4 due Friday, September 23, 2005
  (Feedback)
• Assignment #5 due Friday, September 30, 2005
  (Feedback)
• Assignment #6 due Friday, October 14, 2005
  (Feedback)
• Assignment #7 due Friday, October 21, 2005
  (Feedback)
• Assignment #8 due Friday, October 28, 2005
  (Feedback)
• Assignment #9 due Monday, November 7, 2005
  (Feedback)
• Assignment #10 due Monday, November 21, 2005
  (Feedback)
• Assignment #11 due Monday, December 5, 2005
  (Feedback)

Ancillary material

• Lecture Notes on Program Verification
• Lecture Notes on Induction
• Previous exam questions:
  • 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.