Discretica

Always free

Discrete Math Reference

The full Discretica reference library as fast, readable pages: 28 concept pages across 7 topics, with definitions, key theorems, 54 formulas, and worked examples. No account needed — reference content on Discretica is always free.

Logic & Propositions

Master the foundations of mathematical reasoning: propositions, logical connectives, truth tables, and equivalences.

8 formulas · 77 practice problems

Proof Methods

Learn how to construct rigorous mathematical proofs using direct proof, contradiction, contrapositive, and mathematical induction.

7 formulas · 76 practice problems

Sets & Relations

Explore sets, set operations, Venn diagrams, relations, and functions - the language of modern mathematics.

8 formulas · 76 practice problems

Counting & Combinatorics

Learn systematic counting techniques: the sum and product rules, permutations, combinations, the pigeonhole principle, and recurrence relations.

8 formulas · 77 practice problems

Graph Theory

Study graphs, paths, trees, and algorithms - the mathematics of networks and connections.

7 formulas · 76 practice problems

Boolean Algebra

Study Boolean algebra, logic gates, simplification techniques, and digital circuit design.

8 formulas · 75 practice problems

Number Theory

Explore divisibility, primes, modular arithmetic, the Euclidean algorithm, and cryptographic applications.

8 formulas · 77 practice problems

Turn reading into recall

Reference pages are free forever. When you are ready to test yourself, the interactive practice bank and proof trainer pick up where these pages leave off: 20 of the 534 guided problems and one exercise in each proof mode are free, and Premium unlocks the rest along with the mistakes notebook.