Лекция 3. Построение многозначной логики

  1. 00:17Вводное слово
  2. 03:34Схема построения многозначной логики
  3. 27:09Определение общезначимой формулы
  4. 29:41Логическое следование
  5. 32:54Трёхзначная логика Лукасевича
  6. 42:39Примеры
  7. 01:03:46Логика Поста
  8. 01:13:39Логика Бочвара