CIS 301. Logical Foundations of Programming, Fall 2002.
Assignment #1. Due date: Friday September 6, 2002, BEFORE class.
- Recall the definitions of set union and set intersection. Show that: A
intersect (B union C) = (A intersect B) union (A intersect C) (5 points)
- Exercises 1.1, page 5, #1, #5, #7, #10(a), #10(c); these problems are
worth one point each.
Thus, you can earn a total of ten 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 11:30-12:30 in N324B and by
appointment.
Anindya Banerjee