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

Гомоморфизмы, мономорфизмы, эпиморфизмы, изоморфизмы, автоморфизмы, эндоморфизмы. Теорема о "сохранении" предиката, выразимого в данной интерпретации, относительно автоморфизмов этой интерпретации. Примеры применения теоремы. Элиминация кванторов. Теорема об эквивалентности любой формулы в интерпретации некоторой бескванторной. Cледствие о невыразимости <=

Лекторы

Мусатов Даниил Владимирович

кандидат физико-математических наук

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

Конспекты

Комментарий:

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

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

МАТЕМАТИКА01:13:24

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

10-я лекция из курса:

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

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

МАТЕМАТИКА01:03:07

Выразимость предикатов

8-я лекция из курса:

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

Московский физико-технический институт

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

Скачайте наше мобильное приложение

iTunes

Google Play