CIS 301. Logical Foundations of Programming, Fall 2002.
Assignment #7. Due date: Friday October 25, 2002, BEFORE class.
- Exercises 2.1, page 97, #1 (two points), #3 (one point,
omit the last question about comparing).
- Exercises 2.2, page 100, #1, #2, #4 (three points each).
- Exercises 2.2, page 100, #7(a), #7(c), #7(i), #7(k) (two points each).
Give some thought about how to formalize
"only one" and "at least two".
- Exercises 2.3, page 108, #1(a), #1(b), #1(c), #1(e), #1(f)
(one point each).
Thus, you can earn a total of 25 points for completing this homework.
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.
Torben Amtoft