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

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