Turing-Maschinen und berechenbare Funktionen I: Präzisierung von Algorithmen.-
1. Naive Vorbetrachtungen.-
2. Motivierung und Definition von Turing-Maschinen.- Turing-Maschinen und berechenbare Funktionen II.-
3. Beispiele für Turing-Maschinen. Turing-Diagramme.-
4. Normierte Turing-Berechenbarkeit.-
5. Einfache Beispiele unentscheidbarer Mengen.- Turing-Maschinen und berechenbare Funktionen III.-
6. Eine universelle Turing-Maschine und das Aufzählungstheorem von Kl ...
DETAILS
Selecta Mathematica II, Bd.II
Ebbinghaus, H.-D., Mahn, F.K., Hermes, Hans
Kartoniert, xii, 188 S.
XII, 188 S. 1 Abb.
Sprache: Deutsch
203 mm
ISBN-13: 978-3-540-04867-1
Titelnr.: 38414297
Gewicht: 250 g
Springer, Berlin (1970)
Herstelleradresse
Springer Heidelberg
Tiergartenstr. 17
69121 - DE Heidelberg
E-Mail: buchhandel-buch@springer.com