Математическая логика и теория алгоритмов 5. Базис класса и исчисление высказываний

00:00:00 - Доказательство критерия Поста 00:26:50 - Базис класса 00:29:20 - Базис класса всех функций 00:34:50 - Базисы отдельных классов 00:42:35 - Исчисление высказываний 00:47:30 - Синтаксический вывод 00:49:20 - Аксиомы 01:02:30 - Правила вывода Дата лекции: 01.10.2025 Лектор: Мусатов Даниил Владимирович Оператор: Пахомов Михаил Монтажер: Пахомов Михаил Плейлист на YouTube:    • [МЛиТА] Математическая логика и теория алг...   Плейлист в ВК: https://vkvideo.ru/playlist/-20607802...