Abstract
A brief introduction to the theory of phase transitions. Topics are chosen with a view on possible connection with discrete mathematics.
Cluster expansion theorem is presented with a full proof. Finite-size asymptotics and locations of zeros of partition functions are discussed among its applications to simplest lattice models.
A link with the study of zeros of the chromatic polynomial as well as the Lovász local lemma is mentioned.