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

Лекция 8. Пример верификации распределенной программы (умножение двух матриц)

  1. 00:15Устройство распределенной программы для умножения двух матриц (повторение)
  2. 22:49Теорема (свойства)
  3. 33:46Доказательство теоремы
  4. 01:07:19Завершение программы за конечное число шагов