CIS 301. Logical Foundations of Programming, Fall 2002.

Assignment #5. Due date: Friday October 4, 2002, BEFORE class.

• Exercises 1.9, page 56, #1, #2, #4, #5 (two points each).

• Exercises 1.14, page 83, #4, #8 (three points each).
  Aim to make clear exactly which kind of induction you are using, and what the induction hypothesis is!
  You may want to deal with each function (CNF, NNF etc) separately, before combining the results.

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 1pm-2pm in N216 and by appointment.