Título: Symbolic Logic and Mechanical Theorem Proving
Autor: Chin-Liang Chang, Richard C. Lee
Sinopse: This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.
Contexto da obra
Quando a classificação é mais ampla, o contexto do livro costuma depender ainda mais de autoria, tema e edição. “Symbolic Logic and Mechanical Theorem Proving”, de Chin-Liang Chang, Richard C. Lee, publicado pela editora Academic Press, em 1973 e com 331 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
Páginas: 331
Ano: 1973
Edição: 1
Linguagem: pt_BR
ISBN: 0121703509
ISBN13: 9780121703509
Sobre a editora
A experiência de leitura dos livros da editora Academic Press costuma ser densa e técnica, voltada para leitores que buscam aprofundamento em áreas científicas e acadêmicas. O catálogo privilegia obras que mesclam rigor teórico com aplicações práticas, como manuais laboratoriais, textos de referência em biologia molecular, imunologia, e ciências exatas, além de abordagens críticas em ciências sociais aplicadas, como criminologia forense. As obras frequentemente apresentam linguagem especializada, com detalhes metodológicos e estudos de caso, e são indicadas para estudantes avançados, pesquisadores e profissionais que desejam ampliar seu conhecimento em temas específicos.
