rekursiv < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 20:57 Sa 25.07.2009 | | Autor: | trulla |
| Aufgabe | | was ist rekursiv, rekursiv aufzählbar, primitiv rekursiv und primitiv rekursive Funktionen? |
Ich weiß auch nicht, warum ich mit der Rekursion so auf Kriegsfuß stehe, aber irgendwie versteh ich die definitionen nicht ganz.
Ich weiß, dass eine Menge A rekursiv ist, wenn ihre charakteristische Funktion berechenbar ist. Also wenn ich das richtig verstanden hab, dann meint das: wenn ich für jedes x aus [mm] \IN [/mm] sagen kann, ob x [mm] \in [/mm] A oder x [mm] \not\in [/mm] A ist. richtig!?
Eine Menge A ist rekursiv aufzählbar, wenn entweder [mm] A=\emptyset [/mm] oder A Wertebereich einer totalen berechenbaren Funktion ist bzw. anders ausgedrückt wenn A der Definitionsbereich einer partiell berechenbaren Funktion ist.
Diese Definition verstehe ich nicht und deshalb kann ich auch den Unterschied zwischen rekursiv und rekursiv aufzählbar nicht erläutern.
Ja, und bei primitiv rekursiven Funktionen, weiß ich zwar, dass es die 3 Basisfunktionen und die Komposition und primitive Rekursion gibt, allerdings verstehe ich auch hier die primitive Rekursion nicht!
Ich habe auch schon im Internet nachgeforscht, aber irgendwie wird es mir nicht klarer. Könntet ihr mir diese Sachen nochmal mit einfachen Worten erklären? Vielleicht sogar an ein paar leichten anschaulichen Beispielen!? Das wäre super, danke!!
Ich habe diese Frage auf keiner anderen Seite gestellt
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 21:20 Mo 27.07.2009 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
