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

Элементарная эквивалентность. Игры Эренфойхта

2 256 просмотров
5 ноября 2014
Теорема об эквивалентности любой формулы в интерпретации некоторой бескванторной. Следствие об истинности в и одних и тех же замкнутых формул. Элементарная эквивалентность двух интерпретаций сигнатуры. Игры Эренфойхта.

Лекторы

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

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

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

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