Математическая логика и теория алгоритмов 6. Синтаксический вывод

Таймкоды: 00:00:00 - Начало 00:00:55 - Схемы аксиом 00:06:50 - Правило вывода 00:08:50 - Синтаксический вывод 00:18:40 - Теорема о корректности 00:21:46 - Обозначения и примеры 00:34:55 - Синтаксический вывод из множества формул гамма 00:39:10 - Аналог теоремы о корректности 00:42:57 - Теорема о дедукции Дата лекции: 30.09.26 Лектор: Мусатов Даниил Владимирович Оператор: Корнеева Мария Монтажёр: Тютрин Данила Плейлист на YouTube: https://www.youtube.com/playlist?list=PLWP-fU2739ac Плейлист