Допсем Матлогика 7. Выразимость предикатов

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 Преподаватель: Калинин Иван Оператор: Малышев Сергей Плейлист: