Курсы Лекторы Материалы О проекте
Курсы Лекторы Материалы О проекте
Войти
Лекция 1. Верификация алгоритмов вычисления суммы, корня и возведения в степень
Лекция из курса:
Методы искусственного интеллекта в задачах анализа данных и верификации программ
Миронов Андрей Михайлович
Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.
Лекция 1. Верификация алгоритмов вычисления суммы, корня и возведения в степень
Видео закончится через
NaN:NaN
00:00
00:00
00:17
Следующая секция начнется через 07:25
Вступление
07:25
Следующая секция начнется через 07:25
Методы искусственного интеллекта
15:15
Следующая секция начнется через 07:25
Что такое верификация программ. Верификация алгоритма вычисления суммы
49:06
Следующая секция начнется через 07:25
Верификация алгоритма, который по целому числу вычисляет корень
1:11:58
Следующая секция начнется через 07:25
Верификация алгоритма возведения первого числа в степень второго
Свернуть таймкоды
00:00
00:00
Скорость
x 1.00
x 0.25
x 0.50
x 0.75
x 1.00
x 1.25
x 1.5
x 1.75
x 2.00
x 3.00
x 4.00
Качество
1080p
1080p
720p
480p
00:00
00:00
Скорость
x 1.00
x 0.25
x 0.50
x 0.75
x 1.00
x 1.25
x 1.5
x 1.75
x 2.00
x 3.00
x 4.00
Качество
1080p
1080p
720p
480p

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

00:17
Следующая секция начнется через 07:25
Вступление
07:25
Следующая секция начнется через 07:25
Методы искусственного интеллекта
15:15
Следующая секция начнется через 07:25
Что такое верификация программ. Верификация алгоритма вычисления суммы
49:06
Следующая секция начнется через 07:25
Верификация алгоритма, который по целому числу вычисляет корень
1:11:58
Следующая секция начнется через 07:25
Верификация алгоритма возведения первого числа в степень второго
Свернуть таймкоды
Конспект лекции
Лекция 1. Верификация алгоритмов вычисления суммы, корня и возведения в степень
1 / 20