COT 3100 Sect. #7094X
Homework Assignment #2
Predicate Logic and Set Theory
Assigned Wed. 9/1, Due in class Fri. 9/10

All problems are from the textbook (Rosen), §1.3-1.5. You should also practice the odd-numbered problems in those sections, whose solutions you can check in the back of the book, or review in more detail in the student solutions guide. Each book exercise is worth 1 point out of a total of 15. (Or 6.67% out of 100%)

We are still using an optional collaborative homework policy for this section. This is subject to alteration for later assignments, depending on how students like it, and how well it functions. The experimental policy is this:

If you wish, you may collaborate with a small number of other students, to help each other with the assignment and compare solutions. However, if you do this, each group of students that collaborate must turn in just one shared assignment, for a shared grade. (All students in the collaborating group, and which problems each of them worked on, must be named on the group's handed-in joint assignment.) Your group may either work together on all the problems, or divide up the problems amongst yourselves, but you should make sure that everyone in your group understands how to do the solutions to all the problems, because any member of the group may be called on in class to explain the answer to any problem. (And you will all separately be responsible for all the material on quizzes and exams.)

The indicated extra credit exercises are each worth 1 extra point out of the 15, up to a maximum score of 100%. (This time you cannot do just any problem for extra credit.)

Exercises from §1.3, pp. 33-37. (Predicate Logic)

Ex. 8 - Translate predicate logic to English.
Ex. 10 - Translate English to predicate logic.
Ex. 18 - Translate multiple-quantifier statements from English to logic and determine their truth values.
Ex. 22 - Determine truth values of predicate logic statements concerning the real numbers.
Ex. 24 - Rewriting predicate logic statements in a canonical form.
Extra credit: Exercises 48, 50, 54.
Exercises from §1.4, p. 45. (Basic Set Concepts)
Ex. 2 - Use set builder notation.
Ex. 4 - Determine subset relationships.
Ex. 6 - Determine set membership. (Note that the object being asked about is the set {2}, not the number 2.)
Ex. 22a - Generate Cartesian products of sets.
Ex. 26 - Understand Russell's paradox.
Extra credit: Exercise 24.
Exercises from §1.5, pp. 54-56. (Set operations.)
Ex. 2 - Translate English set descriptions to set operator notation.
Ex. 4 - Compute results of set operations.
Ex. 10a,c,e - Prove some facts about sets using logic and the definitions of set operations.
Ex. 36 - Compute the union and intersection of a series of sets.
Ex. 48 - Learn about multisets.
Extra credit: Exercises 30, 34, 50.

COT 3100 Sect. #7094X Homework Assignment #2 Predicate Logic and Set Theory Assigned Wed. 9/1, Due in class Fri. 9/10

COT 3100 Sect. #7094X
Homework Assignment #2
Predicate Logic and Set Theory
Assigned Wed. 9/1, Due in class Fri. 9/10