Aufzählbarkeit Entscheidbarkeit Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen: Heidelberger Taschenbücher, cartea 87
Autor Hans Hermesde Limba Germană Paperback – 29 aug 1978
Din seria Heidelberger Taschenbücher
- Preț: 338.42 lei
- 5% Preț: 321.78 lei
- 5% Preț: 310.44 lei
- Preț: 480.44 lei
- Preț: 347.04 lei
- Preț: 410.17 lei
- Preț: 411.75 lei
- 5% Preț: 394.79 lei
- 15% Preț: 434.14 lei
- Preț: 353.40 lei
- Preț: 479.67 lei
- Preț: 484.08 lei
- Preț: 349.74 lei
- Preț: 345.89 lei
- 5% Preț: 454.77 lei
- Preț: 344.14 lei
- Preț: 345.33 lei
- Preț: 346.86 lei
- Preț: 478.71 lei
- 5% Preț: 326.93 lei
- 5% Preț: 425.81 lei
- Preț: 423.29 lei
- Preț: 479.08 lei
- Preț: 478.15 lei
- 5% Preț: 428.90 lei
- 5% Preț: 487.97 lei
- 20% Preț: 411.79 lei
- 5% Preț: 458.06 lei
- 5% Preț: 469.75 lei
- Preț: 477.94 lei
- Preț: 416.71 lei
- 15% Preț: 435.77 lei
- 20% Preț: 356.40 lei
- 5% Preț: 456.23 lei
- 15% Preț: 465.48 lei
- Preț: 475.83 lei
- Preț: 476.57 lei
- Preț: 481.79 lei
- Preț: 411.75 lei
- Preț: 348.77 lei
- 5% Preț: 460.81 lei
- Preț: 480.06 lei
- Preț: 417.14 lei
- Preț: 419.21 lei
- 20% Preț: 351.60 lei
- 20% Preț: 352.12 lei
- 20% Preț: 352.95 lei
- Preț: 275.19 lei
Preț: 449.15 lei
Nou
Puncte Express: 674
Preț estimativ în valută:
85.95€ • 89.19$ • 71.84£
85.95€ • 89.19$ • 71.84£
Carte tipărită la comandă
Livrare economică 17-31 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540088691
ISBN-10: 3540088695
Pagini: 276
Ilustrații: XIV, 260 S.
Dimensiuni: 133 x 203 x 14 mm
Greutate: 0.29 kg
Ediția:3. Aufl.
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Heidelberger Taschenbücher
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540088695
Pagini: 276
Ilustrații: XIV, 260 S.
Dimensiuni: 133 x 203 x 14 mm
Greutate: 0.29 kg
Ediția:3. Aufl.
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Heidelberger Taschenbücher
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.