Cornerstones Undecidabilty
Seiten
1994
Addison Wesley (Verlag)
978-0-13-297425-7 (ISBN)
Addison Wesley (Verlag)
978-0-13-297425-7 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
Presents an intellectually challenging aspect of computer related mathematics/logic in a way which should make it more accessible. The authors look at different types of reduction to show undecidability, using the novel approach of conversation between three famous mathematicians.
This book presents one of the most intellectually challenging aspects of computer related mathematics/logic in a way which should make it accessible to a wider audience. The authors look at different types of reduction to show undecidability, but do so using the novel approach of conversation between three famous mathematicians - sometimes using their own words and sometimes in an adapted form. The authors are of international repute and they provide a modern and authoritative treatment of undecidability with special emphasis on rigorous proofs. Numerous worked examples are included.
This book presents one of the most intellectually challenging aspects of computer related mathematics/logic in a way which should make it accessible to a wider audience. The authors look at different types of reduction to show undecidability, but do so using the novel approach of conversation between three famous mathematicians - sometimes using their own words and sometimes in an adapted form. The authors are of international repute and they provide a modern and authoritative treatment of undecidability with special emphasis on rigorous proofs. Numerous worked examples are included.
Halting problem; post correspondence problem; diophantine problems; classes of problems and proofs; the secret number.
| Erscheint lt. Verlag | 1.4.1994 |
|---|---|
| Verlagsort | Boston |
| Sprache | englisch |
| Maße | 175 x 235 mm |
| Gewicht | 330 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-10 | 0-13-297425-8 / 0132974258 |
| ISBN-13 | 978-0-13-297425-7 / 9780132974257 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
was jeder über Informatik wissen sollte
Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 53,15
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
CHF 48,95
Eine Einführung in die Systemtheorie
Buch | Softcover (2022)
UTB (Verlag)
CHF 34,95
