Percolation theory: definitions and their equivalence. Examples using the Peierls contour method, first and second moment method. The Harris-FKG correlation inequality.
The Ising model on finite graphs: definition, spatial Markov property, basic properties of the partition function, definition of long range order.
Glauber dynamics and other Markov chains. Holley's proof of the FKG-inequality. Infinite volume Gibbs measures.
The FK random cluster model, Edwards-Sokal coupling, the Potts models, Uniform Spanning Tree.
Mean field models: Erdős-Rényi random graph and the Curie-Weiss phase transition.
Pólya’s theorem on recurrence versus transience of simple random walk on Z^d. Green's function.
The Discrete Gaussian Free Field (DGFF) on graphs. Relation to other models, such as Ising.
Intuitive glances at more advanced topics:
Critical point for planar percolation: the Harris-Kesten theorem (1980).
Scaling limits: Brownian motion. Continuum GFF. The conformal invariance of critical planar percolation and other FK models. (Fields medals to W. Werner 2006 and S. Smirnov 2010.)
Mermin-Wagner and Kosterlitz-Thouless on the XY model in the plane: what is a topological phase transition? (Nobel prize in physics 2016)
What is a spin glass? (Nobel prize in physics to Parisi 2021)

