Discrete Math
Introduction
Basic Math Structures
Logic
- Propositional Logic
- Predicate Logic
Proof Basics
- Basic Language
- Overview of Proof Types
- Direct Proofs
- Contraposition
- Contradiction
- Equivalence
- Bad Proofs
Induction Proofs
- Basic Induction
- Strong Induction
- Strengthening the IH
- Bad Induction
Inductive Definitions
- Structures (trees, etc.)
- Recurrence Relations
- Languages/Grammars
Number Theory
- Modular Arithmetic
- Divisors and Primes
- Inverses
- Powers and Fermat's Little Theorem
- Chinese Remainder Theorem
- Cryptograpy
Function Growth
- Asymptotic Notation
- Application: Time Complexity
Graphs
- Definitions
- Properties
- Paths
- Trees and Spanning Trees
- Planarity
- Coloring
Counting
- Basics
- Permutations and Combinations
- Other Scenarios
- Inclusion/Exclusion
Basic Probability
- Probability Spaces
- Events
- Common Distributions
- Expectation
Miscellaneous Math
- Useful Functions
- Powers of Two
Outside Resources

Useful Functions

Functions that are common and useful in computer science

Note

Under development…

Coming soon…

At least exponentials, logarithms, floors and ceilings, …

Basic summations and series: arithmetic and geometric

Factorial and harmonic numbers

Next
Powers of Two

Where to find us

This website is just one of several places you can find tutorials and content from Logical Learning. Our YouTube channel is the primary source for our video tutorials, and we also release news and information on Instragram and Facebook.

Find us on...

Contact us

Would you like to get in touch with us directly? You can report errors in our tutorials or things you believe can be improved, or even request tutorial topics, via email:

[email protected]