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

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

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 - Пример посложнее

Дата лекции: 12.10.2023
Лектор: Михаил Николаевич Вялый
Оператор: Семенов Вадим
Монтажёр: Юдин Иван

Плейлист:    • Введение в математическую логику (2 к...  

Комментарии

Информация по комментариям в разработке

Похожие видео