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

Таймкоды: 00:00:00 - Интро 00:00:05 - Пропозициональные формулы и булевы функции 00:13:00 - Многочлены Жегалкина 00:18:00 - Теорема об однозначном представлении многочлена как многочлена жегалкина 00:41:50 - Какие бывают формулы 00:44:45 - Некоторые важные тавтологии 00:51:55 - А что если взять другое мно-во базовых связок? Дата лекции: 17.09.2025 Лектор: Мусатов Даниил Владимирович Оператор: Пахомов Михаил Монтажер: Пахомов Михаил Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvbeQL8k34cCUabVv9Rp_qwU Плейлист