Математическая логика и теория алгоритмов 11. Общезначимые формулы. Вопрос о выразимости

Таймкоды: 00:00:00 - Интро 00:00:05 - Общезначимые формулы 00:22:45 - Предваренная нормальная форма (Prenex normal form) 00:39:30 - Вопрос о выразимости 01:04:30 - Выразимось короткими формулами Дата лекции: 05.11.2025 Лектор: Мусатов Даниил Владимирович Оператор: Пахомов Михаил Монтажер: Пахомов Михаил Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvbeQL8k34cCUabVv9Rp_qwU Плейлист