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.

Mer från samma författare

Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert, John H. Ewing - Numbers, Häftad

Del 123

Numbers

Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert, John H. Ewing

Häftad, 1990

886 kr

Posthumous Writings

Gottlob Frege, Hans Hermes

Häftad, 1981

424 kr

Numbers

Reinhold Remmert, Alexander Prestel, Jurgen Neukirch, Klaus Mainzer, Max Koecher, Friedrich Hirzebruch, Hans Hermes, Heinz-Dieter Ebbinghaus, John H. Ewing

E-bok

2012

1 037 kr

Einführung in die mathematische Logik

Hans Hermes

Häftad, 1991

521 kr

Del 67

Selecta Mathematica II

H.D. Ebbinghaus, F.K. Mahn, Hans Hermes, Konrad Jacobs, H.D. Ebbinghaus, F.K. Mahn

Häftad, 1970

521 kr

Del 6

Term Logic with Choice Operator

Hans Hermes

Häftad, 1970

281 kr

Introduction to Mathematical Logic

Hans Hermes

Häftad, 1973

557 kr

Term Logic with Choice Operator

Hans Hermes

E-bok

2013

363 kr

Zahlen

Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert, Klaus Lamotke

Häftad, 1992

572 kr

Enumerability * Decidability Computability

Hans Hermes

E-bok

2012

718 kr

Mer från samma serie

Del 140

Assembler I

Rainer Alletsee, Horst Jung, Gerd F. Umhauer, Rainer Alletsee, Horst Jung

Häftad, 1988

589 kr

Del 3

Virus und Molekularbiologie

W. Weidel

Häftad, 1964

589 kr

Del 5

Biologie der Antibiotica

H. Zähner

Häftad, 1965

589 kr

Theoretische Physik auf der Grundlage einer allgemeinen Dynamik

Gottfried Falk

Häftad, 1966

572 kr

Del 8

Theoretische Physik auf der Grundlage einer allgemeinen Dynamik

Gottfried Falk

Häftad, 1966

675 kr

Die Welt der Elementarteilchen

Kenneth W. Ford

Häftad, 1966

572 kr

Experimentelle Methoden der Kernphysik

P. Stoll

Häftad, 1966

572 kr

Quantenmechanik in algebraischer Darstellung

Herbert S. Green

Häftad, 1966

675 kr

Elektronentheorie der Metalle

A. Sommerfeld, H. Bethe, A. Sommerfeld, H. Bethe

Häftad, 1967

777 kr

Del 24

Der plötzliche Herzstillstand

M. Körner

Häftad, 1967

589 kr

Du kanske också är intresserad av

Enumerability, Decidability, Computability

Hans Hermes

E-bok

2013

1 148 kr

Zahlen

Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert, Klaus Lamotke

Häftad, 1992

572 kr

Advances in Carbohydrate Chemistry and Biochemistry

Elsevier Science

E-bok

1978

783 kr

Nachgelassene Schriften und Wissenschaftlicher Briefwechsel

Gottlob Frege, Friedrich Kambartel, Hans Hermes

Inbunden, 1983

2 245 kr

Advances in Electronics and Electron Physics

Elsevier Science

E-bok

1978

813 kr

Current Topics in Membranes and Transport

Elsevier Science

E-bok

1978

789 kr

Term Logic with Choice Operator

Hans Hermes

E-bok

2013

363 kr

Advances in Cancer Research

Elsevier Science

E-bok

1978

813 kr

Chromatin and Chromosomal Protein Research IV

Elsevier Science

E-bok

1978

789 kr

Numbers

Reinhold Remmert, Alexander Prestel, Jurgen Neukirch, Klaus Mainzer, Max Koecher, Friedrich Hirzebruch, Hans Hermes, Heinz-Dieter Ebbinghaus, John H. Ewing

E-bok

2012

1 037 kr

Aufzählbarkeit Entscheidbarkeit Berechenbarkeit

Einführung in die Theorie der rekursiven Funktionen

AvHans Hermes

Häftad, Tyska, 1978

Del 87 i serien Heidelberger Taschenbücher

623 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

E-bok

492 kr

E-bok

542 kr

Produktinformation

Utgivningsdatum:1978-08-29
Mått:133 x 203 x 16 mm
Vikt:314 g
Format:Häftad
Språk:Tyska
Serie:Heidelberger Taschenbücher
Antal sidor:260
Upplaga:3
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540088691

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik

Innehållsförteckning

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.

Mer från samma författare

Del 123

Numbers

Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert, John H. Ewing

Häftad, 1990

886 kr

Posthumous Writings

Gottlob Frege, Hans Hermes

Häftad, 1981

424 kr

Numbers

Reinhold Remmert, Alexander Prestel, Jurgen Neukirch, Klaus Mainzer, Max Koecher, Friedrich Hirzebruch, Hans Hermes, Heinz-Dieter Ebbinghaus, John H. Ewing

E-bok

2012

1 037 kr

Einführung in die mathematische Logik

Hans Hermes

Häftad, 1991

521 kr

Del 67

Selecta Mathematica II

H.D. Ebbinghaus, F.K. Mahn, Hans Hermes, Konrad Jacobs, H.D. Ebbinghaus, F.K. Mahn

Häftad, 1970

521 kr

Del 6

Term Logic with Choice Operator

Hans Hermes

Häftad, 1970

281 kr

Introduction to Mathematical Logic

Hans Hermes

Häftad, 1973

557 kr

Term Logic with Choice Operator

Hans Hermes

E-bok

2013

363 kr

Zahlen

Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert, Klaus Lamotke

Häftad, 1992

572 kr

Enumerability * Decidability Computability

Hans Hermes

E-bok

2012

718 kr

Mer från samma serie

Del 140

Assembler I

Rainer Alletsee, Horst Jung, Gerd F. Umhauer, Rainer Alletsee, Horst Jung

Häftad, 1988

589 kr

Del 3

Virus und Molekularbiologie

W. Weidel

Häftad, 1964

589 kr

Del 5

Biologie der Antibiotica

H. Zähner

Häftad, 1965

589 kr

Theoretische Physik auf der Grundlage einer allgemeinen Dynamik

Gottfried Falk

Häftad, 1966

572 kr

Del 8

Theoretische Physik auf der Grundlage einer allgemeinen Dynamik

Gottfried Falk

Häftad, 1966

675 kr

Die Welt der Elementarteilchen

Kenneth W. Ford

Häftad, 1966

572 kr

Experimentelle Methoden der Kernphysik

P. Stoll

Häftad, 1966

572 kr

Quantenmechanik in algebraischer Darstellung

Herbert S. Green

Häftad, 1966

675 kr

Elektronentheorie der Metalle

A. Sommerfeld, H. Bethe, A. Sommerfeld, H. Bethe

Häftad, 1967

777 kr

Del 24

Der plötzliche Herzstillstand

M. Körner

Häftad, 1967

589 kr

Du kanske också är intresserad av

Enumerability, Decidability, Computability

Hans Hermes

E-bok

2013

1 148 kr

Zahlen

Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert, Klaus Lamotke

Häftad, 1992

572 kr

Advances in Carbohydrate Chemistry and Biochemistry

Elsevier Science

E-bok

1978

783 kr

Nachgelassene Schriften und Wissenschaftlicher Briefwechsel

Gottlob Frege, Friedrich Kambartel, Hans Hermes

Inbunden, 1983

2 245 kr

Advances in Electronics and Electron Physics

Elsevier Science

E-bok

1978

813 kr

Current Topics in Membranes and Transport

Elsevier Science

E-bok

1978

789 kr

Term Logic with Choice Operator

Hans Hermes

E-bok

2013

363 kr

Advances in Cancer Research

Elsevier Science

E-bok

1978

813 kr

Chromatin and Chromosomal Protein Research IV

Elsevier Science

E-bok

1978

789 kr

Numbers

Reinhold Remmert, Alexander Prestel, Jurgen Neukirch, Klaus Mainzer, Max Koecher, Friedrich Hirzebruch, Hans Hermes, Heinz-Dieter Ebbinghaus, John H. Ewing

E-bok

2012

1 037 kr