Computability, Enumerability, Unsolvability

Name: Computability, Enumerability, Unsolvability
Brand: Cambridge University Press
SKU: 9780521557368
Price: 308.71 PLN
Availability: InStock

Directions in Recursion Theory

Autor: S. B. Cooper, T. A. Slaman, Stanley S. Wainer

Język:

Oprawa: Miękka

Wydawca: Cambridge University Press

Dostępność: Dostępna u dostawcy

Wysyłamy za 9-15 dni

308.71 zł

The fundamental ideas concerning computation and recursion naturally find their place at the interfa...

Informacje o książce

Autor

S. B. Cooper, T. A. Slaman, Stanley S. Wainer

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

1996

strony

356

EAN

9780521557368

ISBN

0521557364

Enbook ID

02035086

Wydawca

Cambridge University Press

Waga

507

Wymiary

152 x 229 x 20

Pełny opis

The fundamental ideas concerning computation and recursion naturally find their place at the interface between logic and theoretical computer science. The contributions in this book, by leaders in the field, provide a picture of current ideas and methods in the ongoing investigations into the pure mathematical foundations of computability theory. The topics range over computable functions, enumerable sets, degree structures, complexity, subrecursiveness, domains and inductive inference. A number of the articles contain introductory and background material which it is hoped will make this volume an invaluable resource.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Computability, Enumerability, Unsolvability

Directions in Recursion Theory

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również