Метавычисления и их приложения: Инверсное вычисление и инверсное программирование

Шаги формализации. Алгоритм nan. Множество. Окрестности

Показывать лекцию целиком
Вернуться к учебному плану