CIS 301. Logical Foundations of Programming, Spring 2002.

General course information:

Captain's log: see what was covered when.
Course prerequisites and expected outcomes;
Syllabus;
A worldwide web tutor, based on the textbook; Errata
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 Varsha Redkar (varsha@cis.ksu.edu). Her office hours are Tuesdays and Thursdays 1:30-2:30 P.M. in N019J.

Ancillary material: Please see http://www.cis.ksu.edu/~huth/301/. 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.

Anindya Banerjee