CIS 301. Logical Foundations of Programming, Spring 2003

General course information

• Captain's log: see what was covered when.
• The material covered during the course.
• Course prerequisites and expected outcomes.
• Syllabus.
• Textbook (including software package).
• Complete list of assignments for this course.
• Office Hours and schedule. Please check this link before scheduling an appointment.

Teaching Assistant:

Ancillary material

• Supplementary Notes on Induction
• Notes on Program Verification
• Previous exam questions:
  • Spring 2003, Exam I (suggested solutions)
  • Spring 2003, Exam II (suggested solutions)
  • Spring 2003, Exam III (suggested solutions)
• Other material will be e-mailed as and when appropriate.