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

Лекция 4. Логика I порядка. Синтаксис и семантика

  1. 00:19Сигнатура. Структура сигнатуры
  2. 07:56Пример 1
  3. 10:38Язык сигнатуры Σ
  4. 22:53Пример 1 (продолжение решения)
  5. 27:52Пример 2
  6. 43:03Пример 3
  7. 53:52Пример 4
  8. 01:06:33Пример 5