DISC
Logical Statements
Properties of Numbers and Proofing
Sets and counting
Relations
Discrete Structures
12 | Finite-state Automata
1 | Compound Statements
2 | Quantified Statements
5 | Set Theory
6 | Counting
3 | Number Theory & Proofing
10 | Relations
11 | Graphs and Trees
1.1 | Logical forms and equivalence
1.2 | Conditional Statements
2.1 | Predicates and qualified statements
2.2 | More of 2.1
2.3 | Multiple Quantifiers
3.1 | Basic number properties, Direct Proof, and Counterexample
3.2 | Rational Numbers
3.3 | Divisibility
3.6 | Elementary Number Theory and Methods of Proof
3.7 | Classical Theorems
5.1 | Basic Definitions
6.2 | Counting
6.3 | The Addition Rule
6.4 | Combinations: Counting subsets
6.5 | R-Combinations: Multisets
6.6 | Algebra of Combinations
6.7 | Binomial Theorem
10.1 | Relations on Sets
10.2 | Reflexivity, Symmetry, Transitivity
11.1 | Intro to Graphs
11.2 | Paths and Circuits
4 | Induction
11.5 | Trees
11.6 | Spanning Trees