Zur Startseite gehen
0,00 €*
Cover: 9780521877527 | Computability and Logic | George S. Boolos (u. a.) | Buch | Englisch
Dekorationsartikel gehören nicht zum Leistungsumfang.
Computability and Logic
Buch von George S. Boolos (u. a.)
Sprache: Englisch

130,30 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
Computability and Logic is a classic because of its accessibility to students without a mathematical background.
Computability and Logic is a classic because of its accessibility to students without a mathematical background.
Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 2012
Fachbereich: Grundlagen
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Inhalt: Gebunden
ISBN-13: 9780521877527
ISBN-10: 0521877520
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Boolos, George S.
Burgess, John P.
Jeffrey, Richard C.
Auflage: 5. Auflage
Hersteller: Cambridge University Press
Maße: 260 x 183 x 24 mm
Von/Mit: George S. Boolos (u. a.)
Erscheinungsdatum: 18.01.2012
Gewicht: 0,885 kg
Artikel-ID: 101982943
Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 2012
Fachbereich: Grundlagen
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Inhalt: Gebunden
ISBN-13: 9780521877527
ISBN-10: 0521877520
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Boolos, George S.
Burgess, John P.
Jeffrey, Richard C.
Auflage: 5. Auflage
Hersteller: Cambridge University Press
Maße: 260 x 183 x 24 mm
Von/Mit: George S. Boolos (u. a.)
Erscheinungsdatum: 18.01.2012
Gewicht: 0,885 kg
Artikel-ID: 101982943
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Buch
Cover: 9783936624076 | Mit Logik die Welt begreifen | Walter van Laack | Buch | 380 S. | 2005
Mit Logik die Welt begreifen
EAN: 9783936624076
Sprache: Deutsch
Von/Mit: Walter van Laack

39,80 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9789027707475 | Modern Uses of Multiple-Valued Logic | G. Epstein (u. a.) | Buch | vi
Modern Uses of Multiple-Valued Logic
Invited Papers from the Fifth International Symposium on Multiple-Valued Logic held at Indiana University,...
EAN: 9789027707475
Sprache: Englisch
Von/Mit: G. Epstein (u. a.)

160,49 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783841771001 | Der Gott, den keiner kennt | Johannes Roger Hanses | Taschenbuch
Der Gott, den keiner kennt
Ein Kommentar zur Summa Contra Gentiles von Thomas von Aquin (Kapitel 1-34)
EAN: 9783841771001
Sprache: Deutsch
Von/Mit: Johannes Roger Hanses

22,90 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783428028061 | Über die Sprachverführung des Denkens. | Friedrich Kainz | Taschenbuch
Über die Sprachverführung des Denkens.
EAN: 9783428028061
Sprache: Deutsch
Von/Mit: Friedrich Kainz

109,90 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783428157402 | Hegel und das Projekt einer philosophischen Enzyklopädie. | Buch
Hegel und das Projekt einer philosophischen Enzyklopädie.
EAN: 9783428157402
Sprache: Deutsch
Von/Mit: Thomas Sören Hoffmann (u. a.)

99,90 €*

Aktuell nicht verfügbar

Buch
Cover: 9789811564581 | Ordinal Analysis with an Introduction to Proof Theory | Toshiyasu Arai
Ordinal Analysis with an Introduction to Proof Theory
EAN: 9789811564581
Sprache: Englisch
Von/Mit: Toshiyasu Arai

96,29 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783030753078 | Basic Monotonicity Methods with Some Applications | Marek Galewski | x
Basic Monotonicity Methods with Some Applications
EAN: 9783030753078
Sprache: Englisch
Von/Mit: Marek Galewski

48,14 €*

Aktuell nicht verfügbar

Buch
Cover: 9783110142761 | Pschyrembel Wörterbuch Naturheilkunde und alternative Heilverfahren...
Pschyrembel Wörterbuch Naturheilkunde und alternative Heilverfahren in der Medizin
EAN: 9783110142761
Sprache: Deutsch
Von/Mit: Helmut Hildebrandt

109,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781032122038 | What Is Philosophy? | A First-Person Perspective | Richard Fumerton
What Is Philosophy?
A First-Person Perspective
EAN: 9781032122038
Sprache: Englisch
Von/Mit: Richard Fumerton

41,85 €*

Lieferzeit 4-7 Werktage

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...