Matching models are the primary and most popular theoretical tools used by economists to evaluate various labour market policies and to study the problem of unemployment. These notes mean to provide an exhaustive introduction to the study of the benchmark macroeconomic models of the labour market.