Please enable JavaScript.
Coggle requires JavaScript to display documents.
DISC (Logical Statements (2 | Quantified Statements (2.1 | Predicates and…
DISC
Logical Statements
1 | Compound Statements
1.1 | Logical forms and equivalence
1.2 | Conditional Statements
2 | Quantified Statements
2.1 | Predicates and qualified statements
2.2 | More of 2.1
2.3 | Multiple Quantifiers
Properties of Numbers and Proofing
3 | Number Theory & Proofing
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
4 | Induction
Sets and counting
5 | Set Theory
5.1 | Basic Definitions
6 | Counting
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
Discrete Structures
12 | Finite-state Automata
11 | Graphs and Trees
11.1 | Intro to Graphs
11.2 | Paths and Circuits
11.5 | Trees
11.6 | Spanning Trees
Relations
10 | Relations
10.1 | Relations on Sets
10.2 | Reflexivity, Symmetry, Transitivity