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

Лекция 6. Логика предикатов

  1. 00:09Логика предикатов. Различие пропозициональной логики от логики предикатов. Определение понятий.
  2. 14:14Термы.
  3. 24:02Сигнатура колец (арифметическая).
  4. 31:02Лемма об однозначном анализе.
  5. 39:38Определение формул.
  6. 44:54Восстановление пропущенной части.
  7. 45:21Семантика. Модель сигнатуры.
  8. 50:35Замкнутые термы.
  9. 55:41Лемма об определении значения терма.
  10. 59:56Лемма об однозначном определении замкнутой формулы.
  11. 01:05:49Замкнутые формулы.
  12. 01:11:16Теория-определение.
  13. 01:17:16Логическое (семантическое) следование.
  14. 01:19:47Свойства теории.