Difference between revisions of "Sets"
(→Assignment) |
|||
| Line 6: | Line 6: | ||
## Give a proof that set intersection is associative. When you need to use names for sets, use A, B, C in the proof. | ## Give a proof that set intersection is associative. When you need to use names for sets, use A, B, C in the proof. | ||
# Basic questions about sets / basic reasoning / using the identities and rules for sets. | # Basic questions about sets / basic reasoning / using the identities and rules for sets. | ||
| − | ## MCS Problem 15.4 | + | ## MCS Problem 15.4. What is the answer, you should come up with a formula, and explain why. |
## MCS Problem 15.5 | ## MCS Problem 15.5 | ||
## MCS Problem 15.9 | ## MCS Problem 15.9 | ||
Revision as of 14:40, 7 April 2023
An assignment in CS 303. Some problems are from MCS
Assignment
- Prove an identity.
- Give a proof that the subseteq operator makes a partial order. Namely, prove that the subseteq operator is reflexive, antisymmetric, and transitive. When you need to use names for sets, use A, B, C in the proof.
- Give a proof that set intersection is associative. When you need to use names for sets, use A, B, C in the proof.
- Basic questions about sets / basic reasoning / using the identities and rules for sets.
- MCS Problem 15.4. What is the answer, you should come up with a formula, and explain why.
- MCS Problem 15.5
- MCS Problem 15.9
- MCS Problem 15.13
- MCS Problem 15.30
- MCS Problem 15.35
