Higher-Order Computability - Taschenbuch
2016, ISBN: 9783662517116
[ED: Softcover], [PU: Springer / Springer Berlin Heidelberg / Springer, Berlin], This book offers a self-contained exposition of the theory of computability in a higher-order context, whe… Mehr…
booklooker.de buecher.de GmbH & Co. KG Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
Higher-Order Computability - Taschenbuch
2016, ISBN: 9783662517116
[ED: Softcover], [PU: Springer / Springer Berlin Heidelberg / Springer, Berlin], This book offers a self-contained exposition of the theory of computability in a higher-order context, whe… Mehr…
booklooker.de buecher.de GmbH & Co. KG Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
Higher-Order Computability | Dag Normann (u. a.) | Taschenbuch | Theory and Applications of Computability | Paperback | XVI | Englisch | 2016 | Springer Berlin | EAN 9783662517116 - Taschenbuch
2016, ISBN: 9783662517116
[ED: Taschenbuch], [PU: Springer Berlin], This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselv… Mehr…
booklooker.de |
Higher-Order Computability (Theory and Applications of Computability) - Taschenbuch
2016, ISBN: 9783662517116
Springer, Paperback, Auflage: Softcover reprint of the original 1st ed. 2015, 587 Seiten, Publiziert: 2016-08-23T00:00:01Z, Produktgruppe: Book, 8.77 kg, Architecture & Microprocessors, C… Mehr…
amazon.co.uk Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.69) Details... |
Higher-Order Computability (Theory and Applications of Computability) - Taschenbuch
2016, ISBN: 9783662517116
Springer, Paperback, Auflage: Softcover reprint of the original 1st ed. 2015, 587 Seiten, Publiziert: 2016-08-23T00:00:01Z, Produktgruppe: Book, 8.77 kg, Architecture & Microprocessors, C… Mehr…
amazon.co.uk |
Higher-Order Computability - Taschenbuch
2016, ISBN: 9783662517116
[ED: Softcover], [PU: Springer / Springer Berlin Heidelberg / Springer, Berlin], This book offers a self-contained exposition of the theory of computability in a higher-order context, whe… Mehr…
Longley, John;Normann, Dag:
Higher-Order Computability - Taschenbuch2016, ISBN: 9783662517116
[ED: Softcover], [PU: Springer / Springer Berlin Heidelberg / Springer, Berlin], This book offers a self-contained exposition of the theory of computability in a higher-order context, whe… Mehr…
Higher-Order Computability | Dag Normann (u. a.) | Taschenbuch | Theory and Applications of Computability | Paperback | XVI | Englisch | 2016 | Springer Berlin | EAN 9783662517116 - Taschenbuch
2016
ISBN: 9783662517116
[ED: Taschenbuch], [PU: Springer Berlin], This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselv… Mehr…
Higher-Order Computability (Theory and Applications of Computability) - Taschenbuch
2016, ISBN: 9783662517116
Springer, Paperback, Auflage: Softcover reprint of the original 1st ed. 2015, 587 Seiten, Publiziert: 2016-08-23T00:00:01Z, Produktgruppe: Book, 8.77 kg, Architecture & Microprocessors, C… Mehr…
Higher-Order Computability (Theory and Applications of Computability) - Taschenbuch
2016, ISBN: 9783662517116
Springer, Paperback, Auflage: Softcover reprint of the original 1st ed. 2015, 587 Seiten, Publiziert: 2016-08-23T00:00:01Z, Produktgruppe: Book, 8.77 kg, Architecture & Microprocessors, C… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Higher-Order Computability (Theory and Applications of Computability)
EAN (ISBN-13): 9783662517116
ISBN (ISBN-10): 3662517116
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2017
Herausgeber: Springer
Buch in der Datenbank seit 2016-09-18T16:40:33+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-10-26T19:01:20+02:00 (Vienna)
ISBN/EAN: 3662517116
ISBN - alternative Schreibweisen:
3-662-51711-6, 978-3-662-51711-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: longley john, springer berlin heidelberg, john norman, norm longley, dag normann
Titel des Buches: higher order computability
Daten vom Verlag:
Autor/in: John Longley; Dag Normann
Titel: Theory and Applications of Computability; Higher-Order Computability
Verlag: Springer; Springer Berlin
571 Seiten
Erscheinungsjahr: 2016-08-23
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
171,19 € (DE)
175,99 € (AT)
189,00 CHF (CH)
POD
XVI, 571 p. 2 illus. in color.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Computability Models; Computability Theory; Intensional Models; Kleene Computability; Lambda Algebras; Theory of Computation; Mathematics of Computing; Mathematik für Informatiker; BB
Introduction and Motivation.- Historical Survey.- Theory of Computability Models.- Theory of Lambda Algebras.- Kleene Computability in a Total Setting.- Nested Sequential Procedures.- PCF and Its Models.- Total Continuous Functionals.- Hereditarily Effective Operations.- Partial Continuous Functionals.- Sequentially Realizable Functionals.- Some Intensional Models.- Related and Future Work.- References.- Index.Valuable for researchers in mathematical logic and theoretical computer science Consolidates work carried out in this domain since the 1950s Asks what ‘computability’ means for data more complex than natural numbers
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783662479919 Higher-Order Computability (Theory and Applications of Computability) (Longley, John, Normann, Dag)
< zum Archiv...