LiGo Newbie


Anmeldungsdatum: 17.04.2012 Beiträge: 1
|
Verfasst am: 17 Apr 2012 - 16:19:53 Titel: Prädikatenlogik, rekursive Funktion |
|
|
Ich steh komplett auf dem schlauch:
Es soll eine Funktion rekursiv definiert werden, die für jede beliebige Formel, die Variable x in y umbenennt.
Wie man eine Funktion rekursiv definiert ist mir soweit klar, aber für dieses Problem fehlt mir irgendwie komplett der Ansatz, wie ich es angehen soll.
Ich bin für jeden Wink mit dem Zaunpfahl dankbar! |
|