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

Таймкоды: 00:00:00 - Вступление 00:01:46 - Аксиомы 00:05:01 - Т11 00:24:55 - Лемма о дедукции 00:26:50 - Т12 00:43:50 - Т13 00:56:15 - Совместные и противоречивые теории 01:03:57 - Т14 01:08:13 - Теорема о компактности 01:10:18 - Т14 продолжение 01:20:05 - Задача 15 01:26:12 - Теорема Поста 01:33:42 - Задача 16 01:41:15 - Задача 19 01:51:57 - Т10 Дата лекции: 19.10.26 Лектор: Нагуманов Юсуф Эдуардович Оператор: Тютрин Данила Монтажёр: Тютрин Данила Плейлист на YouTube:    • [Допсем] Матлогика (1 курс, осень 2026)   Плейлист в ВК: https://vkvideo.ru/playlist/-20607802...