Develop mathematical maturity through formal logic, proof techniques, combinatorial reasoning, and graph theory explorations.
Start ProvingConstruct truth tables for compound propositions and verify logical equivalences automatically.
Write structured proofs with drag-and-drop logical steps, with validity checking at each stage.
Create and analyze graphs — find paths, cycles, colorings, and spanning trees interactively.
Solve combinatorial problems with visual representations of permutations, combinations, and distributions.
The proof workspace catches logical gaps I would have missed on paper. Essential for learning proof writing.Prof. Ellis, Discrete Math
Graph theory went from intimidating to fascinating once I could build and manipulate graphs visually.Owen D., Grade 12
Study propositional logic, predicate logic, truth tables, logical equivalences, set operations, Venn diagrams, and quantified statements.
Master direct proof, proof by contradiction, proof by contrapositive, mathematical induction, strong induction, and structural induction.
Explore permutations, combinations, the pigeonhole principle, inclusion-exclusion, graph coloring, Euler paths, and spanning trees.