wisconsin
Chapter 15: Appendix

Chapter 15: Appendix

Content locked

The catalog is public. Reading this content requires approved access.

Sign in to read
Chapter 15: Appendix
15.1 Notation
Logic and proofs
Sets
Functions
Boolean algebra
Relations and digraphs
Computation
Induction, recursion, and integer properties
Counting and discrete probability
Graphs and trees
15.2 Set notation and quantified statements
Define domains inline
Activity 15.2.1: Matching equivalent statements
Activity 15.2.2: Select an equivalent statement
Activity 15.2.3: Matching equivalent statements
Activity 15.2.4: Multiple variables
Exercise 15.2.1: Mathematical examples
Exercise 15.2.2: English to logic
Source