Bemærk: Kan ikke leveres før jul.
Forventes på lager: 07-06-2018
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.
| Forlag | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Forfatter | Robert I. Soare |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | Softcover reprint of the original 1st ed. 2016 |
| Udgivelsesdato | 07-06-2018 |
| Første udgivelsesår | 2018 |
| Serie | Theory and Applications of Computability |
| Illustrationer | 4 Illustrations, black and white |
| Originalsprog | Germany |
| Sideantal | 263 |
| Indbinding | Paperback / softback |
| Forlag | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Sideoplysninger | 263 pages, 4 Illustrations, black and white |
| Mål | 155 x 234 x 20 |
| ISBN-13 / EAN-13 | 9783662568583 |