Введение в математическую логику 5. Выразимость формул/предикатов в модели

Uploaded By: Myvideo

Published on

25 Aug 2024

1 view

0

0 votes

0

About Share Download Add to

00:00:00 - Начало 00:00:49 - Выразимость моделей 00:02:53 - Пример предиката равенства 0, 1 00:10:49 - Автоморфизм модели 00:18:34 - Теорема об автоморфизме модели 00:20:29 - Лемма о термах 00:26:04 - Лемма об атомарной формуле 00:33:14 - Примеры 00:41:49 - Бескванторные формулы 00:52:19 - Арифметика Пресбургера 00:54:35 - Элиминация кванторов 01:03:59 - Лемма об “удалении“ квантора 01:05:56 - Алгоритм 01:11:49 - Конъюнкт 01:12:39 - Усиление леммы Дата лекции: Лектор: Михаил Николаевич Вялый Оператор: Семенов Вадим Монтажёр: Юдин Иван Плейлист:

Share with your friends

Link:

Embed:

<iframe width="640" height="360" src="//myvideo.cc/embed/OHVxM3g4Y1l4RStyVGh1b0NKdU9ZK005L1NtdnJNMFQ2Nk11c2t2bFdUdz0" 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

Кто убил СССР: называем поименно

17 hours ago

00:54:09

Кто убил СССР: называем поименно

1 41%

Курс по Spotlight-4. Вступление (стр. 4-5 в учебнике)

17 hours ago

00:24:48

Курс по Spotlight-4. Вступление (стр. 4-5 в учебнике)

1 7%

Лавров в прямую обвинил Запад в ведение войны с Россией руками Украины

18 hours ago

00:05:51

Лавров в прямую обвинил Запад в ведение войны с Россией руками Украины

1 27%

Почему запретили АСД 2. Запрещённое средство из СССР

18 hours ago

00:13:53

Почему запретили АСД 2. Запрещённое средство из СССР

1 41%

Тибетская книга жизни и смерти | Часть 1 | Согьял Ринпоче | Аудиокнига

18 hours ago

08:22:39

Тибетская книга жизни и смерти | Часть 1 | Согьял Ринпоче | Аудиокнига

1 91%

Подтяжка лица без инъекций: Упражнение ВОЛНА для депрессоров, от брылей

18 hours ago

00:00:58

Подтяжка лица без инъекций: Упражнение ВОЛНА для депрессоров, от брылей

1 8%

ИЗБРАННЫЕ, что ЧИСЛО вашего ДНЯ РОЖДЕНИЯ говорит о вашем ДУХОВНОМ архетипе

18 hours ago

00:27:21

ИЗБРАННЫЕ, что ЧИСЛО вашего ДНЯ РОЖДЕНИЯ говорит о вашем ДУХОВНОМ архетипе

1 36%

ИЗБРАННЫЕ, 8 признаков того, что ВЫ замаскированный АНГЕЛ | Вы - ангел в ЧЕЛОВЕЧЕСКОМ обличье!

18 hours ago

00:25:01

ИЗБРАННЫЕ, 8 признаков того, что ВЫ замаскированный АНГЕЛ | Вы - ангел в ЧЕЛОВЕЧЕСКОМ обличье!

1 69%

ИЗБРАННЫЕ, вы ВСЕГДА НА 10 шагов ВПЕРЕДИ!!!

18 hours ago

00:20:28

ИЗБРАННЫЕ, вы ВСЕГДА НА 10 шагов ВПЕРЕДИ!!!

1 91%

13 продуктов, которые исчезнут из магазинов в 2024 году

18 hours ago

00:09:30

13 продуктов, которые исчезнут из магазинов в 2024 году

1 6%

УСТРОЙСТВО ДЛЯ ТЕЛЕВИЗОРА ДЛЯ ПРИЕМА КАНАЛОВ БЕЗ АНТЕННЫ

18 hours ago

00:01:54

УСТРОЙСТВО ДЛЯ ТЕЛЕВИЗОРА ДЛЯ ПРИЕМА КАНАЛОВ БЕЗ АНТЕННЫ

1 15%

Курская дуга и Покровск: стратегия России в долгосрочной войне | Дэнни Хайфон

18 hours ago

00:17:05

Курская дуга и Покровск: стратегия России в долгосрочной войне | Дэнни Хайфон

1 80%

ИСТОРИЯ РАЗВИТИЯ ФИЗИКИ

19 hours ago

00:06:05

ИСТОРИЯ РАЗВИТИЯ ФИЗИКИ

14 56%

Стресс вызывает смерть. Принцип работы кортизола

19 hours ago

00:13:57

Стресс вызывает смерть. Принцип работы кортизола

1 81%

Рублей больше не будет! У россиян отнимут наличные деньги. Останется только цифровой рубль

19 hours ago

00:06:10

Рублей больше не будет! У россиян отнимут наличные деньги. Останется только цифровой рубль

1 78%

ТОП 3 плееров IPTV | Top 3 IPTV player in 2024 for TV Android & Tablet

19 hours ago

00:06:11

ТОП 3 плееров IPTV | Top 3 IPTV player in 2024 for TV Android & Tablet

1 75%

Главные наши задачи и цель пребывания. Для чего живём Дураки и закон. 114

19 hours ago

01:01:28

Главные наши задачи и цель пребывания. Для чего живём Дураки и закон. 114

1 50%

ПРОГНОЗ США: удары по России, Третья Мировая, Трамп, Камала Харрис, политика и доллар.

19 hours ago

01:15:39

ПРОГНОЗ США: удары по России, Третья Мировая, Трамп, Камала Харрис, политика и доллар.

1 79%

Джереми Нельсон. ГОТОВЬСЯ! ты увидишь Пробуждение, которое невозможно остановить!

20 hours ago

00:02:41

Джереми Нельсон. ГОТОВЬСЯ! ты увидишь Пробуждение, которое невозможно остановить!

1 81%

Шурешки. Использование Atom Array. Фрагмент курса Cinema 4D & AE

20 hours ago

00:08:45

Шурешки. Использование Atom Array. Фрагмент курса Cinema 4D & AE

1 82%

Чего хотят мужчины и женщины больше Любви или секса

20 hours ago

02:47:50

Чего хотят мужчины и женщины больше Любви или секса

17 15%

Аксиома права Прямой ЭФИР АРиЯ-USSR 19:22:22 GMT 22:22:22 МСК

20 hours ago

00:24:37

Аксиома права Прямой ЭФИР АРиЯ-USSR 19:22:22 GMT 22:22:22 МСК

1 25%

Шурешки. Интро. Фрагмент курса Cinema 4D & AE

20 hours ago

00:04:51

Шурешки. Интро. Фрагмент курса Cinema 4D & AE

1 37%

вступление с гитарой в 23:15

20 hours ago

00:10:00

вступление с гитарой в 23:15

6 46%

0 Comments

Guest