Математическая логика и теория алгоритмов Анкудинов Г.И., Анкудинов И.Г., Петухов О.A. (2003) Учебное пособие соответствует государственному образовательному стандарту дисциплины "Математическая логика и теория алгоритмов" направления подготовки дипломированных специалистов 654600 -"Информатика и вычислительная техника" (Специальность 220100 -"Вычислительные машины, комплексы, системы и сети") и направления подготовки бакалавров 552800 - "Информатика и вычислительная техника". В пособии излагаются разделы математической логики и теории алгоритмов, необходимые для освоения общепрофессиональных и специальных дисциплин специальности 220100.