Математическая логика и теория алгоритмов 12. Автоморфизмы. Элиминация кванторов

00:00:00 - Выразимость короткими формулами 00:03:55 - Попытка 1 00:07:13 - Попытка 2 00:16:57 - Автоморфизмы 00:36:38 - Элиминация кванторов Дата лекции: 22.11.23 Лектор: Мусатов Даниил Владимирович Оператор: Карплюк Ксения Монтажёр: Сиомаш Иван Плейлист:    • Математическая логика и теория алгоритмов ...