ratiocin
Proofs in discrete mathematics, written out in full and paired with figures you can operate rather than only read.
Written so far
16 further topics are mapped but unwritten.
Prerequisite map
How the topics depend on one another. Written topics are selectable; the rest show where they would sit.
Published topic links
Chapters
Sets
Logic
Counting
Relations
Functions
Graphs
Trees
Groups
Published
Planned
Hover to see prerequisite chains