Ebook: Математическая логика и теория алгоритмов

Учебно–методический комплекс для студентов специальности 230101.65 "Вычислительные машины, комплексы, системы и сети". – М.: МИИТ, 2011. – 13 с.В комплексе даются базовые понятия дискретной математики, основы математической логики и теории алгоритмов.
В комплексе представлены указания и рекомендации по выполнению лабораторного практикума, практических занятий.