PORTO-
FREI

Aufzählbarkeit Entscheidbarkeit Berechenbarkeit

Einführung in die Theorie der rekursiven Funktionen

von Hermes, Hans   (Autor)

Buch (Kartoniert)

EUR 59,99

Alle Preisangaben inkl. MwSt.

Auch verfügbar als:

  Verlagsbedingte Lieferzeit ca. 3 - 6 Werktage.
(Print on Demand. Lieferbar innerhalb von 3 bis 6 Tagen)

Versandkostenfrei*

Dieser Artikel kann nicht bestellt werden.
 

Inhaltsverzeichnis

Erstes Kapitel. Einführende Betrachtungen über Algorithmen.-
1. Der Begriff des Algorithmus.-
2. Die grundlegenden Begriffe der Theorie des Konstruktiven.-
3. Turingmaschinen als Präzisierung des Begriffs eines Algorithmus.-
4. Historische Bemerkungen.- Zweites Kapitel. Turingmaschinen.-
5. Definition der Turingmaschinen.-
6. Präzisierung konstruktiver Begriffe mittels Turingmaschinen. Beispiele.-
7. Zusammensetzung von Turingmaschinen.-
8. Spezielle Turingmaschinen.-
9. Beispiele für Turing-Berechenbarkeit und Turing-Entscheidbarkeit.- Drittes Kapitel. æ-rekursive Funktionen.-
10. Primitiv-rekursive Funktionen.-
11. Primitiv-rekursive Prädikate.-
12. Der æ-Operator.-
13. Beispiel einer berechenbaren Funktion, die nicht primitiv-rekursiv ist.-
14. æ-rekursive Funktionen und Prädikate.- Viertes Kapitel. Die Äquivalenz von Turing-Berechenbarkeit und æ-Rekursivität.-
15. Übersicht. Normierte Turing-Berechenbarkeit.-
16. Die Turing-Berechenbarkeit der æ-rekursiven Funktionen.-
17. Gödelisierung von Turingmaschinen.-
18. Die æ-Rekursivität der Turing-berechenbaren Funktionen. Die Kleenesche Normalform.- Fünftes Kapitel. Rekursive Funktionen.-
19. Definition der rekursiven Funktionen.-
20. Die Rekursivität der æ-rekursiven Funktionen.-
21. Die æ-Rekursivität der rekursiven Funktionen.- Sechstes Kapitel. Unentscheidbare Prädikate.-
22. Einfache unentscheidbare Prädikate.-
23. Die Unlösbarkeit des Wortproblems für Semi-Thue-Systeme und Thue-Systeme.-
24. Die Prädikatenlogik.-
25. Die Unentscheidbarkeit der Prädikatenlogik.-
26. Die Unvollständigkeit der Prädikatenlogik der zweiten Stufe.-
27. Die Unentscheidbarkeit und die Unvoll ständigkeit der Arithmetik.- SiebentesKapitel. Verschiedenes.-
28. Aufzählbare Prädikate.-
29. Arithmetische Prädikate.-
30. Universelle Turingmaschinen.-
31. ?-K-Definierbarkeit.-
32. Die Minimallogik von Fitch.-
33. Aufzählbare Mengen über beliebigen Alphabeten. Chomsky-Sprachen.-
34. Das Korrespondenzproblem von Post.-
35. Weitere Präzisierungen des Begriffs des Algorithmus.-
36. Rekursive Analysis.- Namen- und Sachverzeichnis. 

Mehr vom Verlag:

k.A.

Mehr aus der Reihe:

Mehr vom Autor:

Hermes, Hans

Produktdetails

Medium: Buch
Format: Kartoniert
Seiten: 276
Sprache: Deutsch
Erschienen: August 1978
Auflage: 3. Auflage
Maße: 203 x 133 mm
Gewicht: 314 g
ISBN-10: 3540088695
ISBN-13: 9783540088691

Bestell-Nr.: 12397440 
Libri-Verkaufsrang (LVR):
Libri-Relevanz: 0 (max 9.999)
 

Ist ein Paket? 0
Rohertrag: 12,90 €
Porto: 1,84 €
Deckungsbeitrag: 11,06 €

LIBRI: 0000000
LIBRI-EK*: 43.17 € (23%)
LIBRI-VK: 59,99 €
Libri-STOCK: 0
LIBRI: 097 Print on Demand. Lieferbar innerhalb von 7 bis 10 Tagen * EK = ohne MwSt.

UVP: 0 
Warengruppe: 16230 

KNO: 00535221
KNO-EK*: 41.77 € (25%)
KNO-VK: 59,99 €
KNO-STOCK: 0
KNO-MS: 18

KNO-SAMMLUNG: Heidelberger Taschenbücher 87
KNOABBVERMERK: 3. Aufl. 1978. xiv, 260 S. XIV, 260 S. 203 mm
Einband: Kartoniert
Auflage: 3. Auflage
Sprache: Deutsch
Beilage(n): Paperback

Alle Preise inkl. MwSt. , innerhalb Deutschlands liefern wir immer versandkostenfrei . Informationen zum Versand ins Ausland .

Kostenloser Versand *

innerhalb eines Werktages

OHNE RISIKO

30 Tage Rückgaberecht

Käuferschutz

mit Geld-Zurück-Garantie