2017, ISBN: 9783662479919
[ED: Buch], [PU: Springer Berlin Heidelberg], Neuware - This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations… mais…
booklooker.de |
2015, ISBN: 9783662479919
[ED: Hardcover], [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… mais…
booklooker.de buecher.de GmbH & Co. KG Custos de envio:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
Higher-Order Computability | Dag Normann (u. a.) | Buch | Theory and Applications of Computability | HC runder Rücken kaschiert | XVI | Englisch | 2015 | Springer Berlin | EAN 9783662479919 - encadernada, livro de bolso
2015, ISBN: 9783662479919
[ED: Gebunden], [PU: Springer Berlin], This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves … mais…
booklooker.de |
Higher-Order Computability / Dag Normann (u. a.) / Buch / Theory and Applications of Computability / HC runder Rücken kaschiert / XVI / Englisch / 2015 / Springer Berlin / EAN 9783662479919 - encadernada, livro de bolso
2015, ISBN: 9783662479919
[ED: Gebunden], [PU: Springer Berlin], This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves … mais…
booklooker.de |
Higher-Order Computability (Theory and Applications of Computability) Hardcover - encadernada, livro de bolso
2015, ISBN: 3662479915
[EAN: 9783662479919], Neubuch, [PU: Springer], This item is printed on demand, Books
AbeBooks.de booksXpress, Freehold, NJ, U.S.A. [71410708] [Rating: 4 (von 5)] NEW BOOK. Custos de envio: EUR 8.97 Details... |
2017, ISBN: 9783662479919
[ED: Buch], [PU: Springer Berlin Heidelberg], Neuware - This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations… mais…
2015, ISBN: 9783662479919
[ED: Hardcover], [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… mais…
Higher-Order Computability | Dag Normann (u. a.) | Buch | Theory and Applications of Computability | HC runder Rücken kaschiert | XVI | Englisch | 2015 | Springer Berlin | EAN 9783662479919 - encadernada, livro de bolso
2015
ISBN: 9783662479919
[ED: Gebunden], [PU: Springer Berlin], This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves … mais…
Higher-Order Computability / Dag Normann (u. a.) / Buch / Theory and Applications of Computability / HC runder Rücken kaschiert / XVI / Englisch / 2015 / Springer Berlin / EAN 9783662479919 - encadernada, livro de bolso
2015, ISBN: 9783662479919
[ED: Gebunden], [PU: Springer Berlin], This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves … mais…
Higher-Order Computability (Theory and Applications of Computability) Hardcover - encadernada, livro de bolso
2015, ISBN: 3662479915
[EAN: 9783662479919], Neubuch, [PU: Springer], This item is printed on demand, Books
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Higher-Order Computability (Theory and Applications of Computability)
EAN (ISBN-13): 9783662479919
ISBN (ISBN-10): 3662479915
Livro de capa dura
Livro de bolso
Ano de publicação: 2015
Editor/Editora: Springer
Livro na base de dados desde 2016-01-26T19:59:16-02:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2023-10-26T14:01:20-03:00 (Sao Paulo)
Número ISBN/EAN: 9783662479919
Número ISBN - Ortografia alternativa:
3-662-47991-5, 978-3-662-47991-9
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: john norman, longley john, norm longley, dag normann
Título do livro: higher order computability
Dados da editora
Autor: John Longley; Dag Normann
Título: Theory and Applications of Computability; Higher-Order Computability
Editora: Springer; Springer Berlin
571 Páginas
Ano de publicação: 2015-11-17
Berlin; Heidelberg; DE
Impresso / Feito em
Língua: Inglês
171,19 € (DE)
175,99 € (AT)
189,00 CHF (CH)
POD
XVI, 571 p. 2 illus. in color.
BB; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Mathematik; Informatik; Computability Models; Computability Theory; Intensional Models; Kleene Computability; Lambda Algebras; Theory of Computation; Mathematics of Computing; Mathematik für Informatiker; EA; BC
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
Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9783662517116 Higher-Order Computability (Theory and Applications of Computability) (Longley, John, Normann, Dag)
< Para arquivar...