Математическая логика и теория алгоритмов 12. Метод автоморфизмов

Таймкоды: 00:00:00 - Интро 00:00:05 - Что было на прошлой лекции 00:06:15 - Как доказать невыразимость 00:07:00 - Метод автоморфизмов 00:13:45 - Пример про сложение 00:17:05 - Пример про делимость 00:20:45 - Автоморфизм 00:28:00 - Теорема об автоморфизмах 01:00:10 - Утверждение 01:04:15 - Элиминация кванторов, теорема Дата лекции: 12.11.2025 Лектор: Мусатов Даниил Владимирович Оператор: Пахомов Михаил Монтажер: Пахомов Михаил Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvbeQL8k34cCUabVv9Rp_qwU Плейлист