Vor Ort
Merkzettel Warenkorb
  • Produktbild: Computability and Logic
  • Produktbild: Computability and Logic

Computability and Logic

34,30 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.10.2007

Verlag

KNV Besorgung

Seitenzahl

366

Maße (L/B/H)

25,4/17,8/2 cm

Gewicht

650 g

Auflage

5. Auflage

Sprache

Englisch

ISBN

978-0-521-70146-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.10.2007

Verlag

KNV Besorgung

Seitenzahl

366

Maße (L/B/H)

25,4/17,8/2 cm

Gewicht

650 g

Auflage

5. Auflage

Sprache

Englisch

ISBN

978-0-521-70146-4

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Computability and Logic
  • Produktbild: Computability and Logic
  • Part I. Computability Theory: 1. Enumerability; 2. Diagonalization; 3. Turing computability; 4. Uncomputability; 5. Abacus computability; 6. Recursive functions; 7. Recursive sets and relations; 8. Equivalent definitions of computability; Part II. Basic Metalogic: 9. A precis of first-order logic: syntax; 10. A precis of first-order logic: semantics; 11. The undecidability of first-order logic; 12. Models; 13. The existence of models; 14. Proofs and completeness; 15. Arithmetization; 16. Representability of recursive functions; 17. Indefinability, undecidability, incompleteness; 18. The unprovability of consistency; Part III. Further Topics: 19. Normal forms; 20. The Craig interpolation theorem; 21. Monadic and dyadic logic; 22. Second-order logic; 23. Arithmetical definability; 24. Decidability of arithmetic without multiplication; 25. Non-standard models; 26. Ramsey's theorem; 27. Modal logic and provability.