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.

Representation

Base converter

255 base 10 = 255 base 10
255 base 10 = FF base 16