Home / Math

Discrete math

The mathematics of computing: logic, sets, counting, graphs and how to write proofs.

23 free sites · 21 in English.

1. MIT OCW – Mathematics for Computer Science English ocw.mit.edu

   Complete MIT course with videos.

   For: College

2. Mathematics for Computer Science (book) English courses.csail.mit.edu

   Free book by Lehman, Leighton and Meyer.

   For: College

3. Discrete Mathematics: An Open Introduction English discrete.openmathbooks.org

   Oscar Levin’s open textbook with exercises.

   For: College

4. Book of Proof (Hammack) English people.vcu.edu

   Learn to write proofs.

   For: College

5. Applied Combinatorics English appliedcombinatorics.org

   Open textbook on combinatorics and graphs.

   For: College

6. Wikibooks – Discrete Mathematics English en.wikibooks.org

   Free, open textbook.

   For: Middle & high schoolCollege

7. forall x – Logic English forallx.openlogicproject.org

   Open introduction to formal logic.

   For: College

8. Open Logic Project English openlogicproject.org

   Free texts on logic and computability.

   For: College

9. Stanford CS103 – Mathematical Foundations of Computing English web.stanford.edu

   Logic, sets, automata and computability.

   For: College

10. LibreTexts – Combinatorics and Discrete Mathematics English math.libretexts.org

    Collection of open textbooks.

    For: College

11. Logic and Proof (Lean) English lean-lang.org

    Logic and proofs with a proof assistant.

    For: College

12. Natural Number Game English adam.math.hhu.de

    A game that teaches proofs step by step.

    For: Middle & high schoolCollegeGeneral public

13. Tree Proof Generator English umsu.de

    Check propositional and predicate logic formulas.

    For: College

14. Khan Academy – Computer science English khanacademy.org

    Algorithms, cryptography and information theory.

    For: Middle & high schoolCollege

15. Dr. Trefor Bazett (YouTube) English youtube.com

    Full discrete math course in video.

    For: College

16. Art of Problem Solving – Alcumus English artofproblemsolving.com

    Counting and probability problems for advanced students.

    For: Middle & high school

17. Project Euler English projecteuler.net

    Math and programming problems.

    For: Middle & high schoolCollegeGeneral public

18. OEIS – Integer sequences English oeis.org

    The On-Line Encyclopedia of Integer Sequences.

    For: CollegeAdvanced

19. VisuAlgo Multilingual visualgo.net

    Visualize graphs, trees and algorithms step by step.

    For: College

20. Graph Online Multilingual graphonline.top

    Build graphs and run algorithms in the browser.

    For: College

21. Mathematical Reasoning: Writing and Proof English scholarworks.gvsu.edu

    Free proofs textbook by Ted Sundstrom.

    For: College

22. Combinatorics Through Guided Discovery English bogart.openmathbooks.org

    Open, problem-based combinatorics book.

    For: College

23. Algorithms (Jeff Erickson) English jeffe.cs.illinois.edu

    Free algorithms textbook with recursion and graphs.

    For: College