logic
Logic & Propositions
Master the foundations of mathematical reasoning: propositions, logical connectives, truth tables, and equivalences.
31 lessons8 formulas77 problems
Discrete math, taught interactively
Discretica
Interactive discrete math for CS students: topics, proof trainer, practice, and browser-native tools.
7topics
534problems
54formulas
60proof tasks
Study plan
Course map
Mobile content is exposed as searchable topics, saved notes, calculators, and local progress on web.
proofs
Proof Methods
Learn how to construct rigorous mathematical proofs using direct proof, contradiction, contrapositive, and mathematical induction.
26 lessons7 formulas76 problems
sets
Sets & Relations
Explore sets, set operations, Venn diagrams, relations, and functions - the language of modern mathematics.
26 lessons8 formulas76 problems
counting
Counting & Combinatorics
Learn systematic counting techniques: the sum and product rules, permutations, combinations, the pigeonhole principle, and recurrence relations.
25 lessons8 formulas77 problems
graphs
Graph Theory
Study graphs, paths, trees, and algorithms - the mathematics of networks and connections.
25 lessons7 formulas76 problems
boolean
Boolean Algebra
Study Boolean algebra, logic gates, simplification techniques, and digital circuit design.
24 lessons8 formulas75 problems
number-theory
Number Theory
Explore divisibility, primes, modular arithmetic, the Euclidean algorithm, and cryptographic applications.
26 lessons8 formulas77 problems
Web workflows
Practice, proofs, and tools
534 generated practice prompts, 60 proof trainer exercises, and 7 browser calculators run fully client-side.
Web study kit
Built for longer sessions
Use desktop-sized tables, private topic notes, saved prompts, exportable progress, and deep links for each calculator.
Local notesSaved practiceFormula lookupOffline-ready PWA
Recent local activity
Browser-only progress
No local attempts yet.