Лекция 5. Классическая логика предикатов

  1. 00:16Свойства логических исчислений (напоминание)
  2. 02:05Синтаксическая полнота
  3. 06:40Метатеорема
  4. 39:06План изучения темы "Классическая логика предикатов"
  5. 42:57Логика предикатов (понятие)
  6. 48:27Логика предикатов 1 порядка
  7. 57:12Принципы классической логики предикатов
  8. 01:02:55Язык логики предикатов
  9. 01:12:35Свободные и связанные элементы в формуле