Введение в математическую логику и теорию алгоритмов

Курс «Введение в математическую логику и теорию алгоритмов» читается студентам второго курса механико-математического факультета МГУ имени М. В. Ломоносова в 3 семестре.

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