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

Лекция 5. Логика I порядка. Общезначимость. Эквивалентность

  1. 00:19Сигнатура. Структура сигнатуры
  2. 08:09Общезначимость
  3. 27:54Эквивалентность
  4. 34:17Основные эквивалентности
  5. 44:55Примеры
  6. 01:02:39Задача