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

Семинар 8. Функции k-значной логики. Часть 2

  1. 00:19Повторение материала предыдущего семинара
  2. 01:33Задача (полнота системы) - продолжение решения задачи из семинара 7
  3. 31:56Отношение эквивалентности
  4. 41:47Задача (доказательство полноты системы)
  5. 55:43Задача (доказательство полноты системы)
  6. 01:00:31Монотонность