Turing Computability: Theory and Applications
(Bog, Hardback, Engelsk)
- Type: Bog
- Format: Hardback
-
Sprog:
Engelsk
- ISBN-13: 9783642319327
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Formater og udgaver
Beskrivelse
Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This book presents classical computability theory from Turing and Post to current results and methods, and their use in studying the information content of algebraic structures, models, and their relation to Peano arithmetic.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Forfatter | Robert I. Soare |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgave | 1st ed. 2016 |
| Udgivelsesdato | 28-06-2016 |
| Første udgivelsesår | 2016 |
| Serie | Theory and Applications of Computability |
| Illustrationer | 4 Illustrations, black and white |
| Originalsprog | Germany |
| Sideantal | 263 |
| Indbinding | Hardback |
| Forlag | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Sideoplysninger | 263 pages, 4 Illustrations, black and white |
| Mål | 164 x 242 x 2 |
| ISBN-13 / EAN-13 | 9783642319327 |