CIS 301. Logical Foundations of Programming, Fall 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.
The instructor for this course is
Torben Amtoft
. Please check his
office hours and schedule
before scheduling an appointment.
The teaching assistant for this course is Vivek Subramaniam
viveks@ksu.edu
. His office hours are Fridays from 2:00pm to 4:30pm in N19G.
Ancillary material
Supplementary Notes on Induction
Notes on Program Verification
Notes on Logic for Security
Previous exam questions:
Spring 2003, Exam I
. (
Suggested solutions
.)
Spring 2003, Exam II
. (
Suggested solutions
.)
Spring 2003, Exam III
. (
Suggested solutions
.)
Fall 2003, Exam I
. (
Suggested solutions
.)
Fall 2003, Exam II
. (
Suggested solutions
.)
Fall 2003, Exam III
. (
Suggested solutions
.)
Other material will be e-mailed as and when appropriate.
Torben Amtoft