Título: Computability, Complexity, and Languages. Fundamentals of Theoretical Computer Science
Autor: Martin Davis, Ron Sigal, 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 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.
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, Ron Sigal, Elaine J. Weyuker, publicado pela editora Morgan Kaufmann, em 1994 e com 609 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: Morgan Kaufmann
Páginas: 609
Ano: 1994
Edição: 2
Linguagem: pt_BR
ISBN: 0122063821
ISBN13: 9780122063824
Sobre a editora
Os livros da editora Morgan Kaufmann oferecem uma imersão técnica que equilibra teoria e prática em áreas como design de experiência do usuário, arquitetura de dados e segurança digital. A leitura costuma ser densa e focada em soluções aplicadas, com atenção a desafios atuais como big data, computação ubíqua e modelagem de sistemas. O catálogo privilegia textos que apresentam frameworks, estudos de caso e técnicas detalhadas, muitas vezes voltados a profissionais e estudantes avançados em ciência da computação e tecnologia da informação. O tom varia entre o didático e o analítico, com ritmo que pode ser mais pausado, dado o aprofundamento em conceitos complexos.
