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

Лекция 4. Булева алгебра

  1. 02:03Теорема. Об общезначимых формулах в булевой алгебре.
  2. 12:15Исчисление высказываний. Схемы аксиом.
  3. 22:48Правила вывода.
  4. 29:45Примеры доказательства.
  5. 40:07Выводы из гипотез.
  6. 44:12Лемма. О выводимости конъюнкции.
  7. 46:41Продолжение. Выводимость.
  8. 58:45Пример. Выводимость конъюнкции.
  9. 01:01:43Дополнительные пояснения к доказательству.
  10. 01:02:46Теорема дедукции.
  11. 01:17:38Пример. Правило силлогизма.
  12. 01:21:40Теорема о корректности аксиом CL для булевых алгебр.