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

Верификация функциональной программы сортировки строки 00:00:17 Функциональные программы. Программа сортировки строки 00:35:01 Верификация программы сортировки строки Курс: Методы искусственного интеллекта в задачах анализа данных и верификации программ Ссылка на плейлист: