Die Church-Turing-These

Weitere Magazine

Empfehlungen

Info

$Präsentationen mit dem LaTeX Beamer Package$

Formale Systeme Formale Systeme µ-partiellrekursive Funktionen Logikkalküle SLD-Resolution (Prolog) Chomsky-Grammatiken Turing-Maschinen λ-Kalkül Kombinatoren-Kalkül Termersetzungssysteme Programmiersprachen · · · () Die Church-Turing-These 3 / 12
Partiell berechenbare Funktionen und aufzählbare Mengen Bemerkung Jedes dieser Systeme beschreibt eines der folgenden Dinge: Partiell berechenbare Funktionen f : X →p Y Aufzählbare Teilmengen eines Datenbereichs X . Bemerkung Die Begriffe der partiellen Berechenbarkeit und der Aufzählbarkeit sind aufeinander zurückführbar. Eine Menge ist genau dann aufzählbar, wenn sie der Definitionsbereich / Wertebereich einer partiell berechenbaren Funktion ist. Eine partielle Funktion ist genau dann partiell berechenbar, wenn ihr Graph aufzählbar ist. () Die Church-Turing-These 4 / 12
Seite 1: Die Church-Turing-These Elmar Eder
Seite 5 und 6: Partiellrekursive Funktionen und re
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

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

Template löschen?

Als Template speichern?