These activities were developed by Jim Van Horn for Discrete Structures.
For access, see this Google Drive folder.
Discrete Structures 1
Stage |
Activity Name |
3: Refined |
01. Group Roles and the Problem Solving Process |
3: Refined |
02. Sequences and Series |
3: Refined |
03. Propositions and Truth Tables |
3: Refined |
04. Predicates |
3: Refined |
05. Multiple Quantifiers and Negation |
3: Refined |
06. Implications |
3: Refined |
07. Converse, Inverse, Contrapositive |
3: Refined |
08. Mathematical Writing |
3: Refined |
09. Proofs About Numbers |
3: Refined |
10. Proofs by Mathematical Inducation |
3: Refined |
11. Proofs by Contradiction |
3: Refined |
12. Number Systems |
3: Refined |
13. Introduction to Sets |
3: Refined |
14. More Operations on Sets |
3: Refined |
15. Power Sets and Partitions |
3: Refined |
16. Set Properties and Boolean Algebra |
3: Refined |
17. Logic Circuits |
3: Refined |
18. Introduction to Functions |
3: Refined |
19. Composition Operation |
3: Refined |
20. Properties of Functions |
3: Refined |
21. Properties of Relations |
3: Refined |
22. Numeric Functions |
Discrete Structures 2
Stage |
Activity Name |
3: Refined |
5.1. Intro to Combinatorics |
3: Refined |
5.2. Basic Rules for Counting |
3: Refined |
5.3. Combinations |
3: Refined |
5.4. Binary Sequences |
3: Refined |
5.5. Recursive Counting |
3: Refined |
5.6. Solving Recurrence Relations |
3: Refined |
6.1. Probability |
3: Refined |
6.2. Sum and Product Rules |
3: Refined |
7.1. Graph Theory |
3: Refined |
7.2. Trees |
3: Refined |
7.3. Isomorphism and Planarity |
3: Refined |
7.4. Connections to Matrices & Relations |
3: Refined |
7.5. Graphs in Puzzles and Games |
3: Refined |
7.6. Binary Trees |
3: Refined |
7.7. Hamiltonian Cycles and the TSP |
These activities were developed by Clif Kussmaul for Discrete Structures and/or Intelligent Systems.
For access, contact Clif Kussmaul.
Stage |
Activity Name |
---|
3: Refined |
Probability & Statistics |
3: Refined |
Logic I: Propositional Logic; II: First-Order Logic |