Liknande böcker

The Beauty of Mathematics in Computer Science
Bok av Jun Wu
Fuzzy Preference Modelling and Multicriteria Decision Support
Bok av J. C. Fodor
Automated Theorem Proving
Bok av Monty Newborn
Logical Foundations of Computer Science - Tver '92 : Tver '92 : procee...
Bok av Anil Nerode
Handbook on Ontologies [electronic resource] / edited by Steffen Staab,...
Bok av Steffen Staab
Formal Models of Communicating Systems : Languages, Automata, and Monadi...
Bok av Benedikt Bollig
Computer science logic
Bok av Egon Borger
Alan M. Turing
Bok av Sara Turing

The Classical Decision Problem

Bok av Egon Börger
This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases and includes a number of simple proofs and exercises.