В пособии приводятся основы математической логики, которая входит в курс дискретной математики. Дано большое количество решенных примеров и  типовых задач для самостоятельной работы.

В учебном пособии излагаются основные понятия теории графов. Формулируются и иллюстрируются примерами методы наиболее важных для приложений изоморфных преобразований графов (алгоритм Фалкерсона н др).