Computability, Complexity, and Languages

Fundamentals of Theoretical Computer Science

Nonfiction, Science & Nature, Mathematics, Discrete Mathematics, Computers, Programming
Cover of the book Computability, Complexity, and Languages by Martin Davis, Ron Sigal, Elaine J. Weyuker, Elsevier Science
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Martin Davis, Ron Sigal, Elaine J. Weyuker ISBN: 9780080502465
Publisher: Elsevier Science Publication: March 18, 1994
Imprint: Morgan Kaufmann Language: English
Author: Martin Davis, Ron Sigal, Elaine J. Weyuker
ISBN: 9780080502465
Publisher: Elsevier Science
Publication: March 18, 1994
Imprint: Morgan Kaufmann
Language: English

Computability, Complexity, and Languages is an introductory text that covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability.

  • Computability theory is introduced in a manner that makes maximum use of previous programming experience, including a "universal" program that takes up less than a page.
  • The number of exercises included has more than tripled.
  • Automata theory, computational logic, and complexity theory are presented in a flexible manner, and can be covered in a variety of different arrangements.
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Computability, Complexity, and Languages is an introductory text that covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability.

More books from Elsevier Science

Cover of the book The Epigenome and Developmental Origins of Health and Disease by Martin Davis, Ron Sigal, Elaine J. Weyuker
Cover of the book Mobile Security and Privacy by Martin Davis, Ron Sigal, Elaine J. Weyuker
Cover of the book Fun in Fusion Research by Martin Davis, Ron Sigal, Elaine J. Weyuker
Cover of the book Piston Engine-Based Power Plants by Martin Davis, Ron Sigal, Elaine J. Weyuker
Cover of the book Identifying Marine Diatoms and Dinoflagellates by Martin Davis, Ron Sigal, Elaine J. Weyuker
Cover of the book Design and Applications of Nanostructured Polymer Blends and Nanocomposite Systems by Martin Davis, Ron Sigal, Elaine J. Weyuker
Cover of the book Up and Running with AutoCAD 2016 by Martin Davis, Ron Sigal, Elaine J. Weyuker
Cover of the book Handbook of Natural Gas Transmission and Processing by Martin Davis, Ron Sigal, Elaine J. Weyuker
Cover of the book High-Temperature Thermal Storage Systems Using Phase Change Materials by Martin Davis, Ron Sigal, Elaine J. Weyuker
Cover of the book Electronic Excitations in Organic Based Nanostructures by Martin Davis, Ron Sigal, Elaine J. Weyuker
Cover of the book Understanding Cancer from a Systems Biology Point of View by Martin Davis, Ron Sigal, Elaine J. Weyuker
Cover of the book Raptors in Human Landscapes by Martin Davis, Ron Sigal, Elaine J. Weyuker
Cover of the book Leukocyte Membrane Determinants Regulating Immune Reactivity by Martin Davis, Ron Sigal, Elaine J. Weyuker
Cover of the book 4M 2006 - Second International Conference on Multi-Material Micro Manufacture by Martin Davis, Ron Sigal, Elaine J. Weyuker
Cover of the book Molecular Biology by Martin Davis, Ron Sigal, Elaine J. Weyuker
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy