Login
Рекурсивные функции
164 просмотров
Перейти к просмотру всей ветки
Привет, сейчас готовлюсь к экзамену, в рамках которого мы доказываем Terminierung рекурсивных функций, где самое сложное - это подобрать Abstiegsfunktion, для которой нет определенных правил ее подбора. В свяхи с этим вопрос - может кто уже с этим связывался - может что посоветовать?? Спасибо.