Jim Van Horn - Discrete Structures

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

Clif Kussmaul - Discrete Structures

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