00:00:00 Повторение
00:17:40 Интерпретация сигнатур
00:31:42 Выразимость предикатов
00:44:05 Игра Эренфойхта
00:53:10 40 Количество автоморфизмов
01:08:36 39 Игра Эренфойхта
01:13:00 38 Изоморфизм интерпретаций
01:16:55 40 Метод автоморфизмов
01:20:36 42 Провести игру Эренфойхта
01:34:20 39 Пентагональная решетка
01:47:55 Обзор прошлых задач (ПНФ, общезначимость)
Дата: 02 декабря 2023
Преподаватель: Калинин Иван
Оператор: Малышев Сергей
Плейлист:
1 view
442
123
4 weeks ago 03:22:31 20
[Допсем] Матлогика 1. Основы формальных языков
4 weeks ago 03:09:14 2
[Допсем] Матлогика 2. Пропозициональные формулы
4 weeks ago 03:12:05 3
[Допсем] Матлогика 3. Булевы функции
4 weeks ago 02:14:10 1
[Допсем] Матлогика 4. Исчисление высказываний
4 weeks ago 01:55:03 1
[Допсем] Матлогика 5. Метод резолюций
4 weeks ago 03:06:05 1
[Допсем] Матлогика 6. Языки первого порядка
4 weeks ago 01:51:25 1
[Допсем] Матлогика 7. Выразимость предикатов
4 weeks ago 02:02:41 2
[Допсем] Матлогика 8. Исчисление предикатов
4 weeks ago 02:29:20 1
[Допсем] Матлогика 9. Порядки
4 weeks ago 01:48:29 1
[Допсем] Матлогика 10. Ординалы
4 weeks ago 02:01:04 1
[Допсем] Матлогика 11. Мощность. Лемма Цорна
4 weeks ago 01:26:44 1
[Допсем] Матлогика 12. Машины Тьюринга
4 weeks ago 01:11:15 1
[Допсем] Матлогика 13. Разрешимость и перечеслимость множеств