Autore: S. Barry Cooper

Supporto
Prof. S. Barry Cooper was a Professor of Pure Mathematics at the University of Leeds. He was the founding President of the Computability in Europe Association, and a prolific author and editor in the domain of computability. He championed Alan Turing”s achievements in logic and computer science, and in particular he motivated and organized cross-disciplinary collaborations, among them the events, publications and broadcasts of the Alan Turing Year in 2012. Dr. Mariya I. Soskova is an associate professor in the Dept. of Mathematical Logic and Applications in Sofia University. She was recently a visiting scholar at the University of California, and a visiting seminar professor at the Dept. of Mathematics at the University of Wisconsin, Madison.




11 Ebook di S. Barry Cooper

S. Barry Cooper & Mariya I. Soskova: The Incomputable
This book questions the relevance of computation to the physical universe. Our theories deliver computational descriptions, but the gaps and discontinuities in our grasp suggest a need for continued …
PDF
Inglese
€128.39
S. Barry Cooper & J. van Leeuwen: Alan Turing
In this 2013 winner of the prestigious R.R. Hawkins Award from the Association of American Publishers, as well as the 2013 PROSE Awards for Mathematics and Best in Physical Sciences & Mathematics, al …
EPUB
Inglese
DRM
€58.88
S. Barry Cooper: Computability Theory
Computability theory originated with the seminal work of Gödel, Church, Turing, Kleene and Post in the 1930s. This theory includes a wide spectrum of topics, such as the theory of reducibilities and …
EPUB
DRM
€124.18
S. Barry Cooper: Computability Theory
Computability theory originated with the seminal work of Gödel, Church, Turing, Kleene and Post in the 1930s. This theory includes a wide spectrum of topics, such as the theory of reducibilities and …
PDF
DRM
€83.37
Manindra Agrawal & S. Barry Cooper: Theory and Applications of Models of Computation
This book constitutes the refereed proceedings of the 11th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Chennai, India, in April 2014. The 27 revised full …
PDF
Inglese
DRM
€57.71
S Barry Cooper & Andrea Sorbi: COMPUTABILITY IN CONTEXT
Computability has played a crucial role in mathematics and computer science, leading to the discovery, understanding and classification of decidable/undecidable problems, paving the way for the moder …
PDF
Inglese
DRM
€194.99