CIS 301. Logical Foundations of Programming, Fall 2002.

Assignment #8. Due date: Friday November 1, 2002, BEFORE class.

• Exercises 2.5, page 125, #3(c), #5(c), #7(e), #7(f), #9(a), #9(d) (three points each).

General notes:

• Please begin your assignment ASAP.
• Your teaching assistant is Srinivas Kolluri (Email: kolluri@cis.ksu.edu). His office is in Nichols Hall 019K. His office hours are Tuesdays and Thursdays, 11:00-12:00 and by appointment.
• There are help sessions Wednesdays 5pm-6pm in N127.
• My office hours are Mondays and Wednesdays 1pm-2pm in N216 and by appointment.