"This book provides an overview of the confluence of ideas in Turing's era and work and examines the impact of this work on mathematical logic and theoretical computer science. It combines contributions by well-known scientists on the history and philosophy of computability theo…
This book provides an overview of the confluence of ideas in Turing's era and work and examines the impact of his work on mathematical logic and theoretical computer science. It combines contributions by well-known scientists on the history and philosophy of computability theory…
This book provides an overview of the confluence of ideas in Turing's era and work and examines the impact of his work on mathematical logic and theoretical computer science. It combines contributions by well-known scientists on the history and philosophy of computability theory…
Computable functions
by Verešďagin, Nikolaj Konstantinoviď, Šen, Alexander
fromStudent mathematical library
Computable functions
by Shen, Alexander, Vereŝagin, Nikolaj Konstantinovič
fromStudent mathematical library
Computable Functions
by Shen, A., (Alexander), Vereshchagin, N. K.
fromStudent mathematical library
This lively and concise book is based on the lectures for undergraduates given by the authors at the Moscow State University Mathematics Department and covers the basic notions of the general theory of computation. It begins with the definition of a computable function and an al…