Reading guide

These notes develop the mathematical language used in computer science, modelling, and learning. Start with foundations for proof techniques, sets, and functions; continue into discrete mathematics for logic and finite structures, or calculus, linear algebra, and probability for continuous models. Computational mathematics connects these ideas to numerical algorithms.

Several chapters originated in Math for Computer Science and are being revised as standalone notes. The subjects below lead to their own reading paths; unfinished outlines are identified separately.