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

Лекция 1. Верификация алгоритмов вычисления суммы, корня и возведения в степень

  1. 00:17Вступление
  2. 07:25Методы искусственного интеллекта
  3. 15:15Что такое верификация программ. Верификация алгоритма вычисления суммы
  4. 49:06Верификация алгоритма, который по целому числу вычисляет корень
  5. 01:11:58Верификация алгоритма возведения первого числа в степень второго