Математическая логика и теория алгоритмов 2. Пропозициональные формулы и булевы функции №1

00:00:00 - Правильные алгебраические выражения 00:02:05 - Теорема об однозначности разбора 00:15:55 - Пропозициональные формулы 00:24:45 - Теорема 2 00:32:20 - Булевые функции 00:59:30 - Днф и кнф 01:04:30 - Теорема о днф и кнф функции Дата лекции: 10.09.2025 Лектор: Мусатов Даниил Владимирович Оператор: Пахомов Михаил Монтажер: Пахомов Михаил Плейлист на YouTube:    • [МЛиТА] Математическая логика и теория алг...   Плейлист в ВК: https://vkvideo.ru/playlist/-20607802...