Математическая логика и теория алгоритмов 7. Теорема о полноте

00:00:00 - Теорема о полноте 00:02:05 - Правило исчерпывающего разбора 00:04:30 - Пример - снятие двойного отрицания 00:08:15 - Пример - обратная контрпозиция 00:12:20 - Примар - Закон ДеМоргана 00:20:10 - Базовая лемма о таблицах ист. 00:26:55 - Основная лемма о таблицах истинности 00:38:00 - Следствие 00:39:40 - Доказательство теоремы о полноте 00:46:30 - Второе доказательство теоремы о полноте 00:50:00 - Усиленная теорема о корретности и усиленная теорема о полноте 01:00:45 - Непротиворечивое множество 01:02:00 - Доказательство усиленной теоремы о полноте 01:06:15 - Утверждение о непротиворечивости Г Дата лекции: 15.10.2025 Лектор: Мусатов Даниил Владимирович Оператор: Пахомов Михаил Монтажер: Пахомов Михаил Плейлист на YouTube:    • [МЛиТА] Математическая логика и теория алг...   Плейлист в ВК: