CIS 301. Logical Foundations of Programming, Fall 2002.

Assignment #10. Due date: Friday November 22, 2002, BEFORE class.

• Exercises 2.7, page 139,
  • #2, #3, #5 (two points each).
  • #4(a), #4(b), #4(c), #4(d) (two points each).
  • #8(a), #8(b), #8(e) (two 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.