S. B. Cooper,
T. A. Slaman,
S. S. Wainer
Cambridge University Press
e druk, 1996
9780521557368
Computability, Enumerability, Unsolvability
Directions in Recursion Theory
Specificaties
Paperback, 356 blz.
|
Engels
Cambridge University Press |
e druk, 1996
ISBN13: 9780521557368
Rubricering
Juridisch
:
Onderdeel van serie
London Mathematical
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9780521557368
Taal:Engels
Bindwijze:Paperback
Aantal pagina's:356
Uitgever:Cambridge University Press
Serie:London Mathematical
Net verschenen
Rubrieken
- aanbestedingsrecht
- aansprakelijkheids- en verzekeringsrecht
- accountancy
- algemeen juridisch
- arbeidsrecht
- bank- en effectenrecht
- bestuursrecht
- bouwrecht
- burgerlijk recht en procesrecht
- europees-internationaal recht
- fiscaal recht
- gezondheidsrecht
- insolventierecht
- intellectuele eigendom en ict-recht
- management
- mens en maatschappij
- milieu- en omgevingsrecht
- notarieel recht
- ondernemingsrecht
- pensioenrecht
- personen- en familierecht
- sociale zekerheidsrecht
- staatsrecht
- strafrecht en criminologie
- vastgoed- en huurrecht
- vreemdelingenrecht