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

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

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

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

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

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