Ebook: Математическая логика и теория алгоритмов. Учебное пособие

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