Матлогика 2-3. Пропозициональные формулы.

Дата лекции: 11.09.2019 Лектор: Мусатов Даниил Владимирович Съёмка: Алёна Быкова Монтаж: Алексей Попов 5:36 - лемма о скобочном балансе; 15:36 - теорема об однозначности разбора; 21:51 - Булевы функции; 39:04 - Булевы функции от трёх аргументов и больше; 49:17 - определение формулы на наборе аргументов; 57:21 - литерал, конъюнкт, дизъюнкт, кнф, днф; 1:03:01 - теорема; 1:18:01 - разделение формул по классам; 1:24:39 - тавтологическое законы (тавтологии); 1:38:35 - многочлены Жегалкина; 1:57:22 - доказательство единственности многочлена для функции;