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.

Number theory

GCD / LCM

numbers: 84, 126, 210
gcd: 42
lcm: 1260