Zur Startseite gehen
0,00 €*
Cover: 9781584882374 | Computability Theory | S. Barry Cooper | Buch | Englisch | 2003
Dekorationsartikel gehören nicht zum Leistungsumfang.
Computability Theory
Buch von S Barry Cooper
Sprache: Englisch

129,50 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
Recent work in computability theory has focused on Turing definability and promises to have far-reaching mathematical, scientific, and philosophical consequences. Written by a leading researcher, this is a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results that also serves as a guide to the direction of current research in the field. Computability Theory includes both the standard material for a first course in computability and more advanced looks at Turing degrees, forcing, Turing definability, and determinacy. The final chapter explores a variety of computability applications in mathematics and science.
Recent work in computability theory has focused on Turing definability and promises to have far-reaching mathematical, scientific, and philosophical consequences. Written by a leading researcher, this is a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results that also serves as a guide to the direction of current research in the field. Computability Theory includes both the standard material for a first course in computability and more advanced looks at Turing degrees, forcing, Turing definability, and determinacy. The final chapter explores a variety of computability applications in mathematics and science.
Über den Autor
Cooper, S. Barry; Cooper, S. Barry
Inhaltsverzeichnis
COMPUTABILITY, AND UNSOLVABLE PROBLEMS: Hilbert and the Origins of Computability Theory. Models of Computability and the Church-Turing Thesis. Language, Proof and Computable Functions. Coding, Self-Reference and Diagonalisation. Enumerability and Computability. The Search for Natural Examples of Incomputable Sets. Comparing Computability. Gödel's Incompleteness Theorem. Decidable and Undecidable Theories. INCOMPUTABILITY AND INFORMATION CONTENT: Computing with Oracles. Nondeterminism, Enumerations and Polynomial Bounds. MORE ADVANCED TOPICS: Post's Problem: Immunity and Priority. The Computability of Theories. Forcing and Category. Applications of Determinacy. Computability and Structure.
Details
Fachbereich: Grundlagen
Genre: Mathematik
Medium: Buch
Inhalt: Einband - fest (Hardcover)
ISBN-13: 9781584882374
ISBN-10: 1584882379
Sprache: Englisch
Einband: Gebunden
Autor: Cooper, S Barry
Hersteller: Taylor & Francis Ltd (Sales)
Maße: 246 x 158 x 27 mm
Von/Mit: S Barry Cooper
Erscheinungsdatum: 17.11.2003
Gewicht: 0,717 kg
Artikel-ID: 128117183
Über den Autor
Cooper, S. Barry; Cooper, S. Barry
Inhaltsverzeichnis
COMPUTABILITY, AND UNSOLVABLE PROBLEMS: Hilbert and the Origins of Computability Theory. Models of Computability and the Church-Turing Thesis. Language, Proof and Computable Functions. Coding, Self-Reference and Diagonalisation. Enumerability and Computability. The Search for Natural Examples of Incomputable Sets. Comparing Computability. Gödel's Incompleteness Theorem. Decidable and Undecidable Theories. INCOMPUTABILITY AND INFORMATION CONTENT: Computing with Oracles. Nondeterminism, Enumerations and Polynomial Bounds. MORE ADVANCED TOPICS: Post's Problem: Immunity and Priority. The Computability of Theories. Forcing and Category. Applications of Determinacy. Computability and Structure.
Details
Fachbereich: Grundlagen
Genre: Mathematik
Medium: Buch
Inhalt: Einband - fest (Hardcover)
ISBN-13: 9781584882374
ISBN-10: 1584882379
Sprache: Englisch
Einband: Gebunden
Autor: Cooper, S Barry
Hersteller: Taylor & Francis Ltd (Sales)
Maße: 246 x 158 x 27 mm
Von/Mit: S Barry Cooper
Erscheinungsdatum: 17.11.2003
Gewicht: 0,717 kg
Artikel-ID: 128117183
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Buch
Cover: 9781447167587 | Guide to Fortran 2008 Programming | Walter S. Brainerd | Buch | XI
Guide to Fortran 2008 Programming
EAN: 9781447167587
Sprache: Englisch
Von/Mit: Walter S. Brainerd

74,89 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783519122753 | Komplexitätstheorie Band I: Grundlagen | K. Rüdiger Reischuk | Buch
Komplexitätstheorie Band I: Grundlagen
Maschinenmodelle, Zeit- und Platzkomplexität, Nichtdeterminismus
EAN: 9783519122753
Sprache: Deutsch
Von/Mit: K. Rüdiger Reischuk

49,95 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783709104446 | The Concrete Tetrahedron | Peter Paule (u. a.) | Taschenbuch | ix
The Concrete Tetrahedron
Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates
EAN: 9783709104446
Sprache: Englisch
Von/Mit: Peter Paule (u. a.)

74,89 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783486590579 | Algorithmische Graphentheorie | Volker Turau | Taschenbuch | Paperback
Algorithmische Graphentheorie
EAN: 9783486590579
Sprache: Deutsch
Von/Mit: Volker Turau

74,95 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783319988320 | Introduction to Parallel Computing | Roman Trobec (u. a.) | Buch | xii
Introduction to Parallel Computing
From Algorithms to Programming on State-of-the-Art Platforms
EAN: 9783319988320
Sprache: Englisch
Von/Mit: Roman Trobec (u. a.)

42,79 €*

Aktuell nicht verfügbar

Buch
Cover: 9780262044318 | Cyber Republic | George Zarkadakis | Buch | Gebunden | Englisch | 2020
Cyber Republic
Reinventing Democracy in the Age of Intelligent Machines
EAN: 9780262044318
Sprache: Englisch
Von/Mit: George Zarkadakis

28,70 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783030856748 | Logic and Implication | Carles Noguera (u. a.) | Buch | xxii | 2021
Logic and Implication
An Introduction to the General Algebraic Study of Non-classical Logics
EAN: 9783030856748
Sprache: Englisch
Von/Mit: Carles Noguera (u. a.)

128,39 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9780262546522 | The Stuff of Bits | An Essay on the Materialities of Information
The Stuff of Bits
An Essay on the Materialities of Information
EAN: 9780262546522
Sprache: Englisch
Von/Mit: Paul Dourish

38,50 €*

Aktuell nicht verfügbar

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