Математическая логика и теория алгоритмов 13. Игры Эренфойхта

00:00:00 - Элиминация кванторов/теорема 1 00:31:03 - Элементарная эквивалентность интерпретаций 00:36:16 - Игры Эренфойхта 00:48:13 - Теорема 2 00:50:34 - Примеры Дата лекции: Лектор: Мусатов Даниил Владимирович Оператор: Карплюк Ксения Монтажёр: Сиомаш Иван Плейлист: