Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
formale Definition primitiv-rekursiver Funzen
Hat jemand hier vielleicht ne ahnung was die bei ner Aufgabenstellung hoeren wollen wenn sie sagen:
Ich bin net sicher ob ich da des Rekursionsschema oder die Definition (Grundfunktionen / Abgeschlossenheit bzgl. Substitution / Abgeschl. bzgl. Primitiver Rek.) da hinschreiben soll. Ich waer aber glaub ich eher von ersterem ausgegangen. Was meint ihr ?
Ersteres !
Hi,
die Frage hat mir auch so einiges Kopfzerbrechen bereitet. Aber inzwischen wurde mir mitgeteilt, dass man
1.Die primitiv rekursiven Grundfunktionen hinpinselt und
2.Die formalen Defs. von der Substitution u. der Prim. Rekursion.
Das mit der Abgeschlossenheit könnte ,man hinzufügen, ist aber normalerweise eine separate Aufgabenstellung.
cu humml :rolleyes: