SØG - mellem flere end 8 millioner bøger:
Viser: Computability Theory
Computability Theory
S. Barry Cooper
(2014)
Sprog: Engelsk
Detaljer om varen
- 2. Udgave
- Hardback: 506 sider
- Udgiver: Taylor & Francis Group (December 2014)
- ISBN: 9781439838433
Designed for advanced undergraduate or beginning graduate students, this book provides a complete introduction to computability theory. This second edition includes new material on hyperarithmetical and Borel sets as well as more material on computability of structures, Pi-0-1 classes, and computability in science. It features an expanded treatment of complexity of computations and updated future directions in computability. In addition, the section on randomness is now a separate chapter. The author also discusses advanced topics in greater depth, including Post's problem, forcing and category, applications of determinacy, and the computability of theories.