ENGLISH

Computability and unsolvability

By Martin Davis

Book information

Publisher
Dover Publications
Year
1985
ISBN
9780486614717, 0486614719
LCC
QA9.615 .D38 1982
Open Library ID
OL3487663M
Language
english
Format
DJVU
Filesize
2 MB (1811149 bytes)
Series
Mcgraw-Hill Series in Information Processing and Computers.
Edition
New edition
Pages
235\235
Library
Kolxo3
DPI
300
Time added
2009-07-20 03:45:11

Description

Classic text considersgeneral theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, computable functionals, classification of unsolvable decision problems and more.

Similar books