Martin Davis

Broschiertes Buch

Computability and Unsolvability

Beschreibung

Classic graduate-level introduction to theory of computability. Discusses general theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, more.

Produktdetails

• Verlag: Dover Publications
• Seitenzahl: 288
• Erscheinungstermin: 1. Dezember 1985
• Englisch
• Abmessung: 215mm x 138mm x 14mm
• Gewicht: 295g
• ISBN-13: 9780486614717
• ISBN-10: 0486614719
• Artikelnr.: 21308198