As a fair warning to the reader, these primers are a bit more terse than what you’d find in your average textbook. I only introduce the bare minimum required to understand the main content posts, so there are carefully chosen gaps whose exclusion is necessary for time’s sake. If the reader is confused about something, or wants a deeper explanation of a concept we deliberately leave out, feel free to leave a comment asking about it and we will do our best to fill in the gaps.

**Methods of Proof**Direct Implication

Contrapositive

Contradiction

Induction

Diagonalization

**Abstract Algebra**

Linear Algebra

Inner Product Spaces

Groups (motivations, basic definitions, homomorphisms, quotient groups)

Groups (first isomorphism theorem, presentations, classification theorem, free products)

Rings (basic definitions, zero-divisors, units, examples)

Rings (homomorphisms, ideals, quotients)

Tensor Products

Outer Products

Fields (mostly finite fields)

**Fourier Analysis**The Fourier Series

The Fourier Transform

Generalized Functions and Tempered Distributions

The Discrete Fourier Transform

**Discrete Math**Graph Theory (for the math-phobic)

Graph Coloring

Trees and Tree Traversal

**Computing Theory**

Determinism and Finite Automata

Turing Machines

Big-O Notation

Busy Beaver Numbers

P vs. NP (And a Proof Written in Racket)

Other Complexity Classes

NP-hard does not mean hard

Kolmogorov Complexity

Information Distance

Parameterized Complexity of Vertex Cover and Kernelizations

Communication Complexity

A Zero-Knowledge Proof for Graph Isomorphism

**Coding Theory**A Proofless Introduction to Information Theory

Hamming’s Code

The Codes of Solomon, Reed, and Muller

**Probability and Statistics**Finite Probability Theory

Conditional Probability

Probabilistic Bounds (Markov, Chebyshev, Chernoff-Hoeffding)

Martingales and the Optional Stopping Theorem

Markov Chain Monte Carlo

**Learning Theory**Probably Approximately Correct – A Formal Theory of Learning

A problem that’s not properly PAC-learnable

Occam’s Razor and PAC-learning

The Boosting Margin, or Why Boosting Doesn’t Overfit

**Topology**

Metric Spaces

Topological Spaces (motivations, basic definitions, and examples)

Constructing Topological Spaces (subspaces, quotients, and gluing)

The Fundamental Group

Homology (definitions and examples)

**Programming framework tutorials**

MLIR for Beginners

- Getting Started
- Running and Testing a Lowering
- Writing our First Pass
- Using Tablegen for Passes
- Defining a new Dialect
- Using Traits
- Folders and Constant Propagation
- Verifiers
- Canonicalizers and Declarative Rewrite Patterns
- Dialect Conversion
- Lowering Through LLVM
- A Global Optimization and Dataflow Analysis

**Programming Language tutorials**A Dash of Python

A Pinch of Python (Random Psychedelic Art)

A Spoonful of Python (and Dynamic Programming)

A Taste of Racket, or How I Learned to Love Functional Programming

A Sample of Standard ML (the TreeSort algorithm, and Monoids)

**Miscellaneous**

Set Theory, Countability

Number Theory

Lagrangians for the Amnesiac

Hi,

I’m impressed. Good introductions to difficult topics. Especially I liked your article about psychodelic pictures or about search engines (Once I developed a search engine myself).

Wish you the Best for the New Year and a lot more of your articles

Thomas Nitsche

Thanks Jeremy!

i love this post! thanks a lot!

Awesome!

2 comments:

What I learned as discrete math in cs classes is what you have here as miscellaneous, and what you have under discrete math I learned under topologies

Second, is it possible to get all the topics in one big pdf? what is your licensing on the content?

Well number theory and set theory are not particularly discrete in nature, at least as they occur in mathematics.

I don’t have all the topics in one big pdf. The licensing on my blog is Creative Commons non-commercial, so you’re welcome to assemble one and distribute it, as long as you give attribution and don’t sell it.

Wow, great post/resource!

would pomax.github.io/bezierinfo (primer on bezier curves) be a userful link here?

This looks like a very great and in-depth tutorial. I am coincidentally just finishing up my own (less detailed) Bezier curve tutorial! I’ll be sure to link to this one in that post.

This is a wonderful blog! You have a fantastic writing style and I especially liked the graph theory post. I remember how much I struggled to explain the Seven Bridges of Konigsberg problem to my sister, and after reading your post about it I feel like exclaiming to the world the wonders of graph theory.

Brilliant! I love it — reminds me of Dijkstra!

Very interesting mathematics and solutions. Well done!

Love it. It reminds me university times! Thank you.

rediculas its good

Some of the left-hand text gets cut off on my 7″ tablet. 🙁

Other than that, I really like this blog, the content is absolutely AWESOME.

Just wanted to say that.

These are useful things written very clearly and beautifully. Thank you

I included this website web page to our feed reader, exceptional things. Are not able to get enough!

Hello Jeremy, I’ve always liked your primers. Are you thinking of making any primer on Combinatory Logic?

Dude, you’re the best. This is the best blog I’ve seen

Kalman filters would be keen, from your perspective

Dude, thank you!