CIS 301. Logical Foundations of Programming, Fall 2002.

General course information:

• Captain's log: see what was covered when.
• Course prerequisites and expected outcomes.
• Syllabus.
• the textbook with
  • errata for first printing,
  • errata for second printing,
  • additional errata (updated along the way).
• A worldwide web tutor.
• Complete list of assignments for this course.
• Office Hours and schedule. Please check this link before scheduling an appointment.

Teaching Assistant: The teaching assistant for this course is Srinivas Kolluri kolluri@cis.ksu.edu . His office hours are Tuesdays and Thursdays 11:00-12:00 A.M. in N019K.

Ancillary material:

• Notes on induction
• Previous exam questions:
  • Fall 2001, Exam II
  • Fall 2001, Exam III (final)
  • Spring 2002, Exam I (suggested solution)
  • Spring 2002, Exam II
  • Fall 2002, Exam I (suggested solution)
  • Fall 2002, Exam II (suggested solution)
  • Fall 2002, Exam III (suggested solution)
• Also see http://www.cis.ksu.edu/~kolluri/cis301/fall02/huth/CIS 301 Index.htm.
• Other material will be e-mailed as and when appropriate.

Acknowledgement: To Michael Huth for permission to use his course materials and for general advice about the course.