Описываются основные приёмы математических доказательств, даются определения теории графов.