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

Теорема Гёделя о полноте исчисления предикатов

3 089 просмотров
19 ноября 2014
Теорема Гёделя о полноте исчисления предикатов. Теорема о следствии совместности теории из ее непротиворечивости, доказательство этой теоремы.

Лекторы

кандидат физико-математических наук
Кандидат физико-математических наук. Сотрудник кафедры дискретной математики МФТИ

Следующая лекция

Предыдущая лекция

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