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

Progress

Local study dashboard

No account required. Data stays in this browser until exported or cleared.

0practice attempts
0%accuracy
0proof checks
0saved problems
0learned items
54formula refs

Topic coverage

Practice by topic

Logic & Propositions0 attempts / 77 prompts / 0%
Proof Methods0 attempts / 76 prompts / 0%
Sets & Relations0 attempts / 76 prompts / 0%
Counting & Combinatorics0 attempts / 77 prompts / 0%
Graph Theory0 attempts / 76 prompts / 0%
Boolean Algebra0 attempts / 75 prompts / 0%
Number Theory0 attempts / 77 prompts / 0%

Data controls

Export or reset

{
  "learned": 0,
  "saved": 0,
  "attempts": 0,
  "targetMinutes": 20
}