CIS 301. Logical Foundations of Programming, Fall 2002.

Assignment #11. Due date: Friday December 6, 2002, BEFORE class.

• Exercises 4.1, page 222, #1, #3a (1 point each).
• Exercises 4.3, page 242, #1a, #1b (1 point each).
• Exercises 4.6, page 250, #1, #2, #3, #5 (3 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.