While the final exam will be comprehensive, covering the entire semester, there will be more emphasis on the material from Chapters 7, 8, and 9.
| CONCEPTS | METHODS | |
Functions and Sequences |
Recognizing onto or one-to-one functions |
Calculating a recursive function |
| The Integers | Congruence: iquo and mod |
Converting between decimal and binary representation Finding prime factorizations Finding gcd and lcm |
| Boolean Expressions | Propositions |
Creating truth tables |
| Implication | When an implication is true |
Stating the converse |
| Defining Sets and Tuples | Subsets, the empty set, k-subsets | By listing the elements |
| Basic Operations on Sets | DeMorgan's Laws for sets |
Complement, union, intersection, difference |
| Quantifiers | Existential |
Creating Venn diagrams |
| Multiple quantifiers | Interpreting statements with two or more quantifiers | Negating these statements |
| Mathematical Induction | Predicates as functions |
Coordinating an induction proof |
| Counting Methods | Permutations Combinations (sets) One-to-one correspondence |
Multiplication Principle |
| Relations | Reflexive, Symmetric, Transitive properties |
Drawing Cayley graphs |
| Graphs | Paths, circuits, trees |
Spanning trees and Kruskal's Algorithm |