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

Инверсное программирование (повторение). Доказательство корректности inv

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