Уважаемый слушатель!

Цель преподавания дисциплины «Математическая логика и теория алгоритмов»состоит в изучении основных понятий и методов математической логики и теории алгоритмов, используемые в информатике и вычислительной технике, а также в получении представления о направлениях развития данной дисциплины и перспективах ее использования в информатике и вычислительной технике. Задачами дисциплины является приобретение умений использования основных понятий математической логики и теории алгоритмов для построения несложных логических моделей предметных областей, реализации логического вывода и оценки вычислительной сложности алгоритмов.

Изучение данной дисциплины базируется на материале предшествующего курса «Дискретная математика». Дисциплина является предшествующей для большинства дисциплин, в том числе: «Функциональное и логическое программирование», «Теория сложности вычислительных процессов и структур», «Теория языков программирования и методы трансляции»

В процессе изучения данной дисциплины Вам необходимо:

Внимательно прочтите следующие замечания:
Желаем Вам успехов в изучении дисциплины «Математическая логика и теория алгоритмов»