Миронов А.М.-Методы ИИ в задачах анализа данных - Лекция 1. Верификация алгоритмов вычисления суммы

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