Appearance
Web Resources for Computational Mathematics
This page keeps source links outside the lessons so the modules remain easy to read.
Use the labels in this order:
- Easy second explanation: learn the idea in another friendly way.
- Official technical reference: verify exact definitions or theorems.
- Practice resource: watch, run, or solve examples yourself.
Module 1: Logic & Type Checking
- Easy second explanation: Khan Academy: Propositional logic
- Official technical reference: MIT OpenCourseWare 6.042J: Mathematics for Computer Science
- Practice resource: ProofWiki — worked natural-deduction proofs.
Module 2: Well-Formed Formulae
- Easy second explanation: Stanford Encyclopedia: Classical Logic
- Official technical reference: Pierce, Types and Programming Languages, ch. 8
- Practice resource: Quick-check exercises on parse trees and quantifier scope.
Module 3: Graphs and Trees
- Easy second explanation: VisuAlgo: Graph Traversal & MST
- Official technical reference: MIT 6.006: Kruskal & Prim notes
- Practice resource: Graph Online editor — test Eulerian/Hamiltonian paths, MST.
Module 4: Matrices
- Easy second explanation: 3Blue1Brown: Essence of Linear Algebra
- Official technical reference: MIT 18.06: Gilbert Strang, Lecture notes on matrices
- Practice resource: Symbolab Matrix Calculator — verify inverses and determinants.
Module 5: Vector Spaces
- Easy second explanation: 3Blue1Brown: Linear combinations and span
- Official technical reference: MIT 18.06: Basis and dimension
- Practice resource: Khan Academy: Linear transformations
Module 6: Eigenvalues and Eigenvectors
- Easy second explanation: 3Blue1Brown: Eigenvalues and eigenvectors
- Official technical reference: MIT 18.06: Lectures on eigenvalues by Prof. Strang
- Practice resource: MatrixCalc — compute characteristic polynomial and eigenvectors.
Best way to use these links
- Read the module's simple idea and worked example.
- Try its self-check without looking at the answer.
- Open the easy resource if the idea is still unclear.
- Use the official reference to verify technical details.
- Finish with the practice resource.