Пособие является одной из частей системы учебных пособий по дискретной математике. Рассматриваются основные разделы дисциплины «Теория графов и математическая логика», в частности математическая логика.

Данное пособие может быть рекомендовано студентам направлений 231300.62 «Прикладная математика», 221400.62 «Управление качеством», 221700.62 «Стандартизация и метрология», а также преподавателям, которые преподают математическую логику студентам всех направлений.