Лекция 5. Логика высказываний

  1. 00:15Высказывание. Основные логические операции (отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция)
  2. 15:55Пропозициональные формулы. Индукция по построению. Теорема о скобочном итоге
  3. 25:51Единственность синтаксического анализа. Индуктивное задание функций. Подстановка
  4. 34:32Соглашение о скобках. Оценка. Истинностная таблица. Пример
  5. 47:36Тавтология. Противоречие. Теорема о подстановке. Примеры
  6. 57:41Равносильные формулы. Подстановка в равносильность. Основные равносильности
  7. 01:05:20Теорема об эквивалентной замене. Формулы с тесными отрицаниями. Пример
  8. 01:14:34Нормальные формы в логике высказываний. Приведение формул к КНФ и ДНФ
  9. 01:19:42Выполнимость. Доказательство локальной теоремы