Computability Theory
An Introduction
Computability Theory: An Introduction provides information pertinent to the major concepts, constructions, and theorems of the elementary theory of computability of recursive functions. This book provides mathematical evidence for the validity of the Church-Turing thesis.Organized into six chapters, this book begins with an overview of the concept of effective process so that a clear understanding of the effective computability of partial and total functions is obtained. This text then introduces a formal development of the equivalence of Turing machine computability, enumerability, and decidability with other formulations. Other chapters con…
Mehr
CHF 32.20
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Ashenhurst, Robert L. (Hrsg.)
- ISBN: 978-1-4832-1848-9
- EAN: 9781483218489
- Produktnummer: 36168744
- Verlag: Elsevier Science & Techn.
- Sprache: Englisch
- Erscheinungsjahr: 2014
- Seitenangabe: 168 S.
- Plattform: PDF
1 weiteres Werk von Neil D. Jones:
Bewertungen
Anmelden