CIS 301. Logical Foundations of Programming, Fall 2002.

Assignment #3. Due date: Friday September 20, 2002, BEFORE class.

• Exercises 1.5, page 27, #1(e) (two points)
• Exercises 1.6, page 36, #2(c), #2(d), #2(e), #2(i), #3(a), #3(b), #3(c), #3(d) (two points each).
• Exercises 1.7, page 42, #1(f), (two points) #13 (three points).

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.
• My office hours are Mondays and Wednesdays 11:30-12:30 in N324B and by appointment.