Discrete math, taught interactively

Discretica

Interactive discrete math for CS students: topics, proof trainer, practice, and browser-native tools.

Start practiceOpen truth tableBrowse topics
7topics
534problems
54formulas
60proof tasks
0 learned0 saved0 practice attempts0% accuracy0 proof checks

Calculators

Discrete math tools

All calculations run in the browser with validated inputs and shareable route URLs.

Counting

Combinatorics

n! = 3628800
P(n,r) = n! / (n-r)! = 720
C(n,r) = n! / (r!(n-r)!) = 120