Ordinal Computability
An Introduction to Infinitary Machines
Seiten
2019
De Gruyter (Verlag)
978-3-11-049562-1 (ISBN)
De Gruyter (Verlag)
978-3-11-049562-1 (ISBN)
The series is devoted to the publication of high-level monographs on all areas of mathematical logic and its applications. It is addressed to advanced students and research mathematicians, and may also serve as a guide for lectures and for seminars at the graduate level.
Ordinal Computability discusses models of computation obtained by generalizing classical models, such as Turing machines or register machines, to transfinite working time and space. In particular, recognizability, randomness, and applications to other areas of mathematics are covered.
Ordinal Computability discusses models of computation obtained by generalizing classical models, such as Turing machines or register machines, to transfinite working time and space. In particular, recognizability, randomness, and applications to other areas of mathematics are covered.
Merlin Carl, University of Konstanz, Germany.
Erscheinungsdatum | 24.09.2019 |
---|---|
Reihe/Serie | De Gruyter Series in Logic and Its Applications ; 9 |
Zusatzinfo | 6 b/w ill., 10 b/w tbl., Gleichungen: ca. 500 |
Verlagsort | Berlin/Boston |
Sprache | englisch |
Maße | 170 x 240 mm |
Gewicht | 719 g |
Themenwelt | Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre |
Schlagworte | Berechenbarkeit • Registermaschine • Turing-Maschine |
ISBN-10 | 3-11-049562-7 / 3110495627 |
ISBN-13 | 978-3-11-049562-1 / 9783110495621 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
what we have that machines don't
Buch | Softcover (2024)
Profile Books Ltd (Verlag)
13,70 €
An Exploration of Math, Category Theory, and Life
Buch | Softcover (2024)
Cambridge University Press (Verlag)
18,65 €
An Introduction to Mathematical Proofs
Buch | Softcover (2023)
Academic Press Inc (Verlag)
57,30 €