Лекция 3. Замкнутые классы булевых функций

  1. 00:10Повторение предыдущей лекции
  2. 01:49Класс самодвойственных функций
  3. 01:49Свойства самодвойственных функций
  4. 11:07Лемма о несамодвойственной функции
  5. 15:18Следствие из леммы
  6. 16:37Класс монотонных функций
  7. 34:04Лемма о немонотонной функции
  8. 41:03Порождающие системы
  9. 44:59Теорема о функциональной полноте
  10. 01:00:55Две леммы для замкнутых классов
  11. 01:07:49Определение предполного класса
  12. 01:10:47Теорема о существовании пяти предполных классов
  13. 01:15:43Различия булевых функций и функций k-значной логики