Лекция 6. Интерпретация нелогических символов языка

  1. 00:16Замкнутая терма и сложная терма
  2. 10:07Подстановка
  3. 24:26Нелогические символы в языке
  4. 30:36Индивидные константы
  5. 33:43Предикаторные константы
  6. 43:03Предметно-функциональные константы
  7. 47:42Модель языка
  8. 54:43Приписывание значений правильно построенным выражениям языка
  9. 01:04:49Пример
  10. 01:16:56Приписывание значений формулам