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

  1. 00:16Вводное слово
  2. 03:33Схема построения многозначной логики
  3. 27:08Определение общезначимой формулы
  4. 29:40Логическое следование
  5. 32:53Трёхзначная логика Лукасевича
  6. 42:40Примеры
  7. 01:03:45Логика Поста
  8. 01:13:37Логика Бочвара