Higher-Order Computability

Name: Higher-Order Computability
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783662479919
Price: 884.24 RON
Availability: InStock

Autor: John Longley, Dag Normann

Limbă:

Legare: Copertă tare

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: În depozitul extern

Expediem în 10-13 zile

884.24 lei

In this book the authors explain what computability means for data more complex than natural numbers...

Informații despre carte

Autor

John Longley, Dag Normann

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

2015

Pagini

571

EAN

9783662479919

ISBN

3662479915

Enbook ID

09378476

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

9989

Dimensiuni

155 x 235 x 36

Descriere completă

In this book the authors explain what computability means for data more complex than natural numbers and similar discrete data. In particular, they show how to develop a good theory of computability in settings where computable operations may themselves be passed as inputs to other computable operations.§§The book is valuable for researchers in mathematical logic and theoretical computer science.§

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Higher-Order Computability

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și