Курсы
Лекторы
Школьникам
О проекте
Войти
Главная
/
Курсы
/
Методы искусственного интеллекта в задачах анализа данных и верификации программ
/
Лекция 1. Верификация алгоритмов вычисления суммы, корня и возведения в степень
Вступление
x 1.00
Математика
Методы искусственного интеллекта в задачах анализа данных и верификации программ
Лекция 1. Верификация алгоритмов вычисления суммы, корня и возведения в степень
Миронов
Андрей Михайлович
Следующая лекция
00:17
Вступление
07:25
Методы искусственного интеллекта
15:15
Что такое верификация программ. Верификация алгоритма вычисления суммы
49:06
Верификация алгоритма, который по целому числу вычисляет корень
1:11:58
Верификация алгоритма возведения первого числа в степень второго
Курсы
Лекторы
Школьникам
О проекте
Контакты
Свяжитесь с нами
Отправить
2025 МГУ имени М.В. Ломоносова
Условия использования сайта
Сведения об образовательной организации
Нашли ошибку?