Título: Computability, Complexity and Languages: Fundamentals of Theoretical Computer Science
Autor: Martin Davis, Elaine J. Weyuker
Sinopse: This introductory text 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 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.
Contexto da obra
Quando a classificação é mais ampla, o contexto do livro costuma depender ainda mais de autoria, tema e edição. “Computability, Complexity and Languages: Fundamentals of Theoretical Computer Science”, de Martin Davis, Elaine J. Weyuker, publicado pela editora Academic Press Inc, em 1983 e com 425 páginas, integra a categoria Livros Variados. Por isso, autoria, edição e tema acabam tendo ainda mais peso na forma de apresentar o livro.
Editora: Academic Press Inc
Páginas: 425
Ano: 1983
Edição:
Linguagem: pt_BR
ISBN: 0122063805
ISBN13: 9780122063800
