x 1.00
Скачать видео

Лекция 2. Оценки. Булевы функции

  1. 00:09Пропозициональный язык.
  2. 07:57Подформулы.
  3. 15:19Семантика. Оценки.
  4. 18:03Лемма о продолжении оценки.
  5. 23:40Лемма об однозначном определении формулы. Доказательство.
  6. 29:42Понятие тавтологии, выполнимости.
  7. 34:51Значение формулы на оценке.
  8. 38:09Введение понятия булевых функций.
  9. 42:01Задание булевых функций таблицами истинности. Пример.
  10. 43:37Дополнительные пояснения для доказательства однозначности определения формул.
  11. 46:35Равносильность формул.
  12. 52:33Поиск всех тавтологий. Лемма о базовых равносильностях.
  13. 01:01:51Обратное соответствие функций формулам. Функциональная полнота.
  14. 01:04:07Лемма о сигнальной функции.
  15. 01:15:49Теорема о функциональной полноте.
  16. 01:24:44Совершенная дизъюнктивная нормальная форма (СДНФ).