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

00:01:30 Верификация массива с сортировкой пузырьком 01:13:18 Лексикографический порядок Курс: Методы искусственного интеллекта в задачах анализа данных и верификации программ Ссылка на плейлист: