This is a very brief introduction to the theory of phase transitions. Only few 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.