Lecture Notes
in varying states of completeness
Table of Contents
This is a collection of lecture notes for various courses I've taught.
Linear Algebra
Systems of Linear Equations
Vectors
- Vector Equations
- Matrix-Vector Equations
- Linear Independence
Linearity
- Linear Transformations
- Matrices of Linear Transformations
More on Matrices
- Matrix Algebra
- Matrix Inverses
- Invertible Matrix Theorem
Applications
- Algebraic Graph Theory
- Markov Chains
- LU Decomposition
Vector Spaces
- Subspaces
- Dimension and Rank
Eigenvalues
- Eigenvalues and Eigenvectors
- The Characteristic Equation
- Diagonalization
Analytic Geometry
- Orthogonality
- Least Squares
Programming Languages
- Course Introduction
- Installation
OCaml
- An Introduction
- The Basics
- Lists
- Recursion
- Designing Functions
- Polymoprhism
- Products and Sums
- Algebraic Data Types (ADTs)
- Higher-Order Programming
PL Theory
- Inference Rules
- Derivations
- Formal Grammar
- Parsing
- Operational Semantics
- Substitution
- Simple Types
- Progress and Preservation
- Environments-based Semantics
- Closures
- Pattern Matching
- Type Inference
- Unification
- Principle Types
"The epigram is more quoted than the source."