About Discretica
Discrete mathematics is the course where computer science students first have to write proofs, and most of the difficulty is in the writing rather than the facts. Discretica is a workspace for practising it: 7 topics, 7 interactive tools, 534 guided problems, 60 proof exercises and 14 guides.
Where the material comes from
The problems, proofs and guides are the site's own and cite no textbook or outside dataset. Proofs are written out step by step rather than asserted, and truth tables and set operations are computed by the tools themselves, so a worked example in a guide can be reproduced in the workspace.
Who runs it
One independent developer builds and runs Discretica, with no university, textbook publisher or course provider behind it. The same developer keeps other single-subject study sites, including CalcRef, StatRise, Trigonify and SyntaxShelf.
A guide on Discretica is credited to Discretica: no individual byline appears, and the markup behind each page names the site's organization as author. No degree or teaching qualification is claimed.
Where your work lives
Everything executes in your browser. Progress, saved work and settings are written to this browser's local storage and never leave it - there is no account to make and no server keeping your answers. The flip side of that is unrecoverable: wipe your browser data and the work is gone, with no copy anywhere for anyone to restore. The privacy notice has the detail.
What it is not
Discretica is a practice and reference tool. It does not know your course's notation or what your marker expects a proof to look like, and it is not a substitute for your course text or office hours. Where a convention varies between textbooks, the guides say so rather than picking one silently.
Corrections
If a step does not follow, mail [email protected], naming the page and the step you think is wrong.