#курс #математика

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

Что это: на курсе узнаем основы записи математических утверждений и доказательств, а также о формальных системах аксиом и правил вывода. Курс охватывает такие классические темы, как теория множеств, пропозициональная логика, логика первого порядка, теория моделей, теория вычислимых функций, лямбда-исчисление, формальная арифметика.

Что узнаем:
▫️формальные языки;
▫️пропозициональные формулы и булевы функции;
▫️многочлен Жегалкина;
▫️схемы из функциональных элементов;
▫️исчисление высказываний;
▫️теорема о полноте исчисления высказываний;
▫️языки первого порядка;
▫️выразимость предикатов;
▫️вычислимые функции;
▫️универсальная машина Тьюринга;
▫️арифметическая иерархия;
▫️лямбда исчисление.

Ссылка на курс: https://lectoriy.mipt.ru/course/Maths-MathematicalLogic-14L/lectures

Видеолекции Физтеха: Лекторий МФТИ - видеолекции по физике, математике, биологии, биоинформатике, информатике и другим дисциплинам

Открытые видеолекции учебных курсов Физтеха для студентов МФТИ и не только
| Лекторий МФТИ