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

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

2 801 просмотр
29 октября 2014
некоторой бескванторной. Cледствие о невыразимости <=" data-image='https://mipt.lectoriy.ru/img/lecture/Maths-MathemLogic-L09-Musatov-141029.03.jpg' data-title="Невыразимость предикатов | Лекторий МФТИ" data-url="https://mipt.lectoriy.ru/lecture/Maths-MathemLogic-L09-Musatov-141029.03" hashtags:twitter="Лекторий,МФТИ">
Гомоморфизмы, мономорфизмы, эпиморфизмы, изоморфизмы, автоморфизмы, эндоморфизмы. Теорема о "сохранении" предиката, выразимого в данной интерпретации, относительно автоморфизмов этой интерпретации. Примеры применения теоремы. Элиминация кванторов. Теорема об эквивалентности любой формулы в интерпретации некоторой бескванторной. Cледствие о невыразимости <=

Лекторы

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