Дисциплина ''Математическая логика и теория алгоритмов'' входит в учебный план подготовки дипломированных специалистов 654600 - ''Информатика и вычислительная техника'' по специальности 220100 - ''Вычислительные машины, комплексы, системы и сети''. Целью дисциплины является изучение основных понятий и методов математической логики и теории алгоритмов, используемых в информатике и вычислительной технике; приобретение умений использовать их для построения несложных логических моделей предметных областей, реализации логического вывода и оценки вычислительной сложности алгоритмов; получение представление о направлениях развития данной дисциплины и перспективах ее использования в информатике и вычислительной технике. Рабочая программа подготовлена на кафедре Вычислительной техники факультета Компьютерных технологий и информатики СПбГЭТУ. Читается на 2-м курсе: 80 часов аудиторных занятий (лекции 48 час., практические занятия 16 час., курсовая работа 16 час.).