Войти
Математика 15 лекций
Введение в математическую логику и теорию алгоритмов
439
0
О курсе
Лектор
Шехтман Валентин Борисович
#лекции
2 курс
Механико-математический факультет
III семестр
О курсе

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

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

Комментарии
Осталось 512 из 512 символов.
Пока никто не оставил комментариев.
ответить отмена
комментарий скрыт

Осталось 0 из 512 символов.

Комментарий не может быть пустым.