Введение в математическую логику 6. Элиминация кванторов/элементарная эквивалентность моделей

Uploaded By: Myvideo

Published on

25 Aug 2024

1 view

0

0 votes

0

About Share Download Add to

00:00:00 - Начало 00:00:50 - Повторение теории 00:14:06 - Система неравенств 00:28:44 - Теорема Зайденберга-Тарского 00:43:19 - Арифметика Пресбургера 00:47:14 - Элементарная эквивалентность моделей 00:53:19 - Игра Эренфойхта 01:01:34 - Примеры игры 01:10:04 - Пример посложнее Дата лекции: Лектор: Михаил Николаевич Вялый Оператор: Семенов Вадим Монтажёр: Юдин Иван Плейлист:

Share with your friends

Link:

Embed:

<iframe width="640" height="360" src="//myvideo.cc/embed/UDI0WVBQSG1OcTRyL2Ntbi9GMWZHNWZPYTNwSzlzNHdmN2xXSkZjTDk4TT0" frameborder="0" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>

Video Size:

Custom size:

x

Autoplay video

Hide player controls

Hide resume playing

Add to Playlist:

Favorites

My Playlist

Watch Later

ИЗБРАННЫЕ, 9 СТРАННЫХ способов, которыми ВСЕЛЕННАЯ защищает ВАС!

2 hours ago

00:25:27

ИЗБРАННЫЕ, 9 СТРАННЫХ способов, которыми ВСЕЛЕННАЯ защищает ВАС!

1 18%

Тысячеликий Герой | Путь Героя | Великая книга или Инструкция

2 hours ago

00:29:07

Тысячеликий Герой | Путь Героя | Великая книга или Инструкция

1 75%

Как иммигрировать в США через инвестиции Виза EB-5 / Как получить грин-карту

2 hours ago

00:39:52

Как иммигрировать в США через инвестиции Виза EB-5 / Как получить грин-карту

1 44%

ВЕЛИЧИЕ И ПОЧИТАНИЕ ПРЕДКОВ, ПИТРУ ПАКША, КОРИДОР ЗАТМЕНИЙ, СИЛА РОДА, РАБОТА С РОДОМ, МАРАФОН, ВЕДЫ

2 hours ago

01:20:21

ВЕЛИЧИЕ И ПОЧИТАНИЕ ПРЕДКОВ, ПИТРУ ПАКША, КОРИДОР ЗАТМЕНИЙ, СИЛА РОДА, РАБОТА С РОДОМ, МАРАФОН, ВЕДЫ

1 35%

Всё об Америке Чем Кормят Президента Путина и Байдена Секретное Меню Мировых Политиков в США и РОССИИ!

2 hours ago

00:17:00

Всё об Америке Чем Кормят Президента Путина и Байдена Секретное Меню Мировых Политиков в США и РОССИИ!

4 84%

Я ОБИДЕЛАСЬ! Как раз и НАВСЕГДА отучить женщину обижаться

3 hours ago

00:14:33

Я ОБИДЕЛАСЬ! Как раз и НАВСЕГДА отучить женщину обижаться

1 74%

ОТАР КУШАНАШВИЛИ - впервые о болезни, смерти и тяжелых моментах жизни.

3 hours ago

01:16:23

ОТАР КУШАНАШВИЛИ - впервые о болезни, смерти и тяжелых моментах жизни.

1 15%

Ингушетия.Вступление в должность Всенародно Избранного Президента Ингушетии Мурата ЗЯЗИКОВА!

3 hours ago

00:01:31

Ингушетия.Вступление в должность Всенародно Избранного Президента Ингушетии Мурата ЗЯЗИКОВА!

1 45%

Маршрут построен! Оптимизируем путь к покупке в Аспро: Максимум

3 hours ago

00:06:16

Маршрут построен! Оптимизируем путь к покупке в Аспро: Максимум

1 71%

Patriarx ВЫБЕРИ ЛЮБЕЧ | ГАЙД НА ЛЮБЕЧ (ЛИМАНСК) | РОЗЫГРЫШ БАТЛПАССА | STALCRAFT X

3 hours ago

00:17:24

Patriarx ВЫБЕРИ ЛЮБЕЧ | ГАЙД НА ЛЮБЕЧ (ЛИМАНСК) | РОЗЫГРЫШ БАТЛПАССА | STALCRAFT X

7 95%

Настраиваем посадочные страницы в каталоге сайта

3 hours ago

00:03:28

Настраиваем посадочные страницы в каталоге сайта

2 66%

Как подключить шрифты из Google Fonts

3 hours ago

00:01:44

Как подключить шрифты из Google Fonts

1 36%

Игорь Острецов: русский мирный атом | Радиационные диверсии: Чернобыль, Литвиненко | Техногон

3 hours ago

00:11:01

Игорь Острецов: русский мирный атом | Радиационные диверсии: Чернобыль, Литвиненко | Техногон

1 83%

ПРОБУЖДЕНИЕ ДО ВОСХИЩЕНИЯ ГОТОВИТ НЕВЕСТУ. ПШЕНИЦА И ПЛЕВЕЛЫ

3 hours ago

00:15:46

ПРОБУЖДЕНИЕ ДО ВОСХИЩЕНИЯ ГОТОВИТ НЕВЕСТУ. ПШЕНИЦА И ПЛЕВЕЛЫ

1 93%

Автоподгрузка товаров в каталоге

3 hours ago

00:01:51

Автоподгрузка товаров в каталоге

1 40%

Вывод оптовой цены в карточку товара на сайте от Аспро

4 hours ago

00:02:52

Вывод оптовой цены в карточку товара на сайте от Аспро

1 91%

СУПЕРЛУНИЕ! 17-18 сентября 2024! Это Лунное ЗАТМЕНИЕ перевернёт всё с ног на голову!

4 hours ago

00:27:51

СУПЕРЛУНИЕ! 17-18 сентября 2024! Это Лунное ЗАТМЕНИЕ перевернёт всё с ног на голову!

1 81%

Что ждет Россию осенью 2024 Курская область / СВО / Арест Дурова / План политики США.

4 hours ago

01:02:49

Что ждет Россию осенью 2024 Курская область / СВО / Арест Дурова / План политики США.

1 47%

(ИстоЧел) Как Объединилась Германия_

4 hours ago

00:06:54

(ИстоЧел) Как Объединилась Германия_

2 74%

Учредителям РФ и Иудо Украины договора не продлят, даже если они устроят атом. войну между США и ЕС.

4 hours ago

01:30:18

Учредителям РФ и Иудо Украины договора не продлят, даже если они устроят атом. войну между США и ЕС.

1 49%

УЛИЧНАЯ АНТЕННА ДЛЯ DVB T2

4 hours ago

00:01:54

УЛИЧНАЯ АНТЕННА ДЛЯ DVB T2

1 15%

СОЛОВЕЙ: у Путина дети от другой спортсменки, где Кабаева, что еще он скрывает, Невзлин, ФБК, шаманы

4 hours ago

00:52:09

СОЛОВЕЙ: у Путина дети от другой спортсменки, где Кабаева, что еще он скрывает, Невзлин, ФБК, шаманы

1 47%

СУПЕРЛУНИЕ, МОЩНЕЙШИЙ ЭНЕРГЕТИЧЕСКИЙ ДЕНЬ, ПОЛНОЛУНИЕ, ЗАТМЕНИЕ 18 СЕНТЯБРЯ 2024,ПРАКТИКИ ДЛЯ ЗНАКОВ

4 hours ago

00:38:13

СУПЕРЛУНИЕ, МОЩНЕЙШИЙ ЭНЕРГЕТИЧЕСКИЙ ДЕНЬ, ПОЛНОЛУНИЕ, ЗАТМЕНИЕ 18 СЕНТЯБРЯ 2024,ПРАКТИКИ ДЛЯ ЗНАКОВ

1 37%

Учредителям РФ и Иудо Украины договора не продлят, даже если они устроят атом. войну между США и ЕС

4 hours ago

01:30:18

Учредителям РФ и Иудо Украины договора не продлят, даже если они устроят атом. войну между США и ЕС

1 17%

0 Comments

Guest