Миронов А.М.-Методы ИИ в задачах анализа данных - Лекция 1. Верификация алгоритмов вычисления суммы
Teach-In
Верификация алгоритмов вычисления суммы, корня и возведения в степень Курс: Методы искусственного интеллекта в задачах анализа данных и верификации программ Ссылка на плейлист:
51:07
