Слава разработчикам Лектория!
Слава! Слава!

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

Категория: Математика

Годовой курс для студентов 1 курса ФИВТ даёт общие представления о способах записи математических утверждений и доказательств, а также о формальных системах аксиом и правил вывода. Курс охватывает такие классические темы, как теория множеств, пропозициональная логика, логика первого порядка, теория моделей, теория вычислимых функций, лямбда-исчисление, формальная арифметика.

29 653 просмотра
1 сентября 2014

Лекторы

кандидат физико-математических наук
Московский физико-технический институт
Московский физико-технический институт (Физтех) – ведущий вуз России по подготовке высококвалифицированных специалистов по передовым направлениям науки и техники. Входит в топ 5 крупных рейтингов отечественных университетов. Отличительной чертой образовательного процесса МФТИ является система поиска и подготовки кадров – знаменитая «система Физтеха».
Скачайте наше мобильное приложение
iTunes
Google Play