Курсы
Лекторы
Школьникам
О проекте
Войти
Главная
/
Курсы
/
Методы искусственного интеллекта в задачах анализа данных и верификации программ
/
Лекция 2. Верификация алгоритмов возведения в степень и сортировки массива
Зачем нужна верификация программ
x 1.00
Математика
Методы искусственного интеллекта в задачах анализа данных и верификации программ
Лекция 2. Верификация алгоритмов возведения в степень и сортировки массива
Миронов
Андрей Михайлович
Предыдущая лекция
Следующая лекция
00:17
Зачем нужна верификация программ
12:37
Верификация алгоритма возведения первого числа в степень второго
50:12
Верификация алгоритма сортировки пузырьком массива
Курсы
Лекторы
Школьникам
О проекте
Контакты
Свяжитесь с нами
Отправить
2025 МГУ имени М.В. Ломоносова
Условия использования сайта
Сведения об образовательной организации
Нашли ошибку?