Useful Links
Computer Science
Computer Science Fundamentals
Mathematical Foundations for Computing
1. Foundations of Logic and Proofs
2. Basic Structures: Sets, Functions, and Relations
3. Algorithms and Complexity
4. Integers and Number Theory
5. Induction and Recursion
6. Counting and Combinatorics
7. Discrete Probability
8. Graph Theory
9. Boolean Algebra and Logic Circuits
10. Formal Languages and Automata Theory
Counting and Combinatorics
The Basics of Counting
The Product Rule
Statement and Applications
Multiple-Step Processes
The Sum Rule
Statement and Applications
Mutually Exclusive Events
The Subtraction Rule
Inclusion-Exclusion for Complements
The Inclusion-Exclusion Principle
Two Sets
Three Sets
General Form
The Division Rule
Counting with Symmetry
Overcounting Corrections
The Pigeonhole Principle
Basic Pigeonhole Principle
Statement and Proof
Simple Applications
Generalized Pigeonhole Principle
Statement and Applications
Average Case Analysis
Applications of the Pigeonhole Principle
Number Theory Applications
Graph Theory Applications
Computer Science Applications
Permutations and Combinations
Permutations
Definition and Notation
Counting Permutations
Permutations of Distinct Objects
Permutations with Repetition
Circular Permutations
Combinations
Definition and Notation
Counting Combinations
Combinations of Distinct Objects
Relationship to Permutations
Binomial Coefficients and Identities
Definition of Binomial Coefficient
Combinatorial Interpretation
Factorial Formula
The Binomial Theorem
Statement and Proof
Pascal's Identity
Statement and Proof
Recursive Formula
Pascal's Triangle
Construction
Other Binomial Identities
Vandermonde's Identity
Hockey Stick Identity
Symmetry Identity
Generalized Permutations and Combinations
Permutations with Repetition
Unlimited Repetition
Limited Repetition
Combinations with Repetition
Stars and Bars Method
Multisets
Definition and Properties
Counting Multisets
Derangements
Definition and Formula
Previous
5. Induction and Recursion
Go to top
Next
7. Discrete Probability