Die Church-Turing-These

Weitere Magazine

Empfehlungen

Info

$Präsentationen mit dem LaTeX Beamer Package$

Folgerung Jedes dieser formalen Systeme beschreibt jedes der folgenden Dinge: Eine Klasse von partiell berechenbaren Funktionen Eine Klasse von aufzählbaren Mengen. Satz All diese formalen Systeme beschreiben dieselbe Klasse von partiell berechenbaren Funktionen und dieselbe Klasse von aufzählbaren Mengen. (Eventuell nach Umkodierung der Datenbereiche) Beweisidee Simuliere ein System im anderen. () Die Church-Turing-These 5 / 12
Partiellrekursive Funktionen und rekursiv aufzählbare Mengen Definition Eine partielle Funktion heißt partiellrekursiv, wenn sie in einem dieser formalen Systeme darstellbar ist. Sie heißt rekursiv, wenn sie partiellrekursiv und total ist. Definition Eine Teilmenge eines Datenbereichs heißt rekursiv aufzählbar, wenn sie in einem dieser formalen Systeme darstellbar ist. Sie heißt rekursiv, wenn ihre charakteristische Funktion rekursiv ist. () Die Church-Turing-These 6 / 12
Seite 1 und 2: Die Church-Turing-These Elmar Eder
Seite 3: Partiell berechenbare Funktionen un
Seite 7 und 8: Satz Eine Teilmenge A von n bzw. v
Seite 9 und 10: Folgerung (aus der Church-Turing-Th

Die Church-Turing-These

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?