Robert I. Soare – författare
Visar alla böcker från författaren Robert I. Soare. Handla med fri frakt och snabb leverans.
4 produkter
Recursively Enumerable Sets and Degrees
A Study of Computable Functions and Computably Generated Sets
Häftad, 2014
1207 kr
Lägg i varukorg
..."The book, written by one of the main researchers on the field, gives a complete account of the theory of r.e. degrees. .... The definitions, results and proofs are always clearly motivated and explained before the formal presentation; the proofs are described with remarkable clarity and …
Turing Computability
Theory and Applications
Inbunden, 2016
934 kr
Lägg i varukorg
Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This model led to both the development of actual computers and to computability theory, the study of what machines can and cannot compute. This book presents classical computability theory from …
Turing Computability
Theory and Applications
E-bok, 2016
897 kr
Lägg i varukorg
Turing''s famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This model led to both the development of actual computers and to computability theory, the study of what machines can and cannot compute. This book presents classical computability theory from …
Turing Computability
Theory and Applications
Häftad, 2018
662 kr
Lägg i varukorg
Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This model led to both the development of actual computers and to computability theory, the study of what machines can and cannot compute. This book presents classical computability theory from …
