∎ QED
16 topics

Every topic, from truth tables to eigenvalues

Pick a subject and start practising. Every topic generates unlimited exam-grade questions at three difficulty levels, and every answer is marked criterion by criterion — with partial credit and a full model solution — so you learn from each attempt instead of just checking a box.

Get started free → See how it works

✓ First questions free · no card · no personal data stored

Logic

∧

Propositional Logic

Connectives, truth tables, equivalences and normal forms.
∀

Predicate Logic

Quantifiers, predicates, binding, and validity.
⊕

Boolean Algebra

Axioms, laws, simplification and Boolean functions.

Sets, Relations & Functions

∈

Sets

Set-builder notation, operations, and set identities.
R

Relations

Properties of relations, composition, and representations.
≡

Equivalence Relations

Equivalence classes, partitions and quotient sets.
⊑

Orderings & Lattices

Partial orders, Hasse diagrams, bounds, lattices.
ƒ

Functions

Injective, surjective, bijective, composition, inverse.

Discrete Structures

◦

Graphs

Terminology, connectivity, trees, paths and cycles.
Σ

Induction & Recursion

Mathematical, strong & structural induction; recursion.

Foundations

×

Algebra

Foundational algebra to close prerequisite gaps.

Calculus & Linear Algebra

∫

Calculus

Limits, derivatives, integrals and their applications.
λ

Linear Algebra

Matrices, systems, determinants, eigenvalues.

Probability & Counting

𝔼

Probability

Events, conditional probability, random variables.
#

Combinatorics

Counting principles, permutations, combinations.
∣

Number Theory

Divisibility, primes, gcd, modular arithmetic.

Your maths course, one graded question at a time

Unlimited exam-grade questions across 16 topics, marked like a real examiner. Start free — no card, nothing personal stored.

Start practising free →