Поздняков С.Н., Рыбин С.В. Математическая логика и теория алгоритмов

Учебное пособие. — СПб.: СПбГЭТУ ЛЭТИ, 2004. — 65 с.: ил.Рассматриваются основные идеи, понятия и методы математической логики, интерес к которым вырос благодаря новым приложениям, появившимся за последнее время в связи с развитием информационных технологий.
Может использоваться как для студентов дневной формы обучения, так и для вечерних и заочных факультетов технических вузов.Бинарные отношения и графы
Логика высказываний
Булевы функции