Título: Type Theory and Formal Proof: An Introduction
Autor: Rob Nederpelt, Herman Geuvers
Sinopse: Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin with untyped lambda calculus and proceed to several fundamental type systems, including the well-known and powerful Calculus of Constructions. The book also covers the essence of proof checking and proof development, and the use of dependent type theory to formalise mathematics. The only prerequisite is a basic knowledge of undergraduate mathematics. Carefully chosen examples illustrate the theory throughout. Each chapter ends with a summary of the content, some historical context, suggestions for further reading and a selection of exercises to help readers familiarise themselves with the material.
Contexto da obra
Quando a classificação é mais ampla, o contexto do livro costuma depender ainda mais de autoria, tema e edição. “Type Theory and Formal Proof: An Introduction”, de Rob Nederpelt, Herman Geuvers, publicado pela editora Cambridge University Press, em 2014 e com 466 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: Cambridge University Press
Páginas: 466
Ano: 2014
Edição:
Linguagem: pt_BR
ISBN:
ISBN13: 9781107036505
Sobre a editora
Os livros da editora Cambridge University Press apresentam uma leitura que combina rigor acadêmico com abordagens que exploram tanto temas históricos e sociais quanto avanços científicos e educacionais. O catálogo revela obras que vão desde análises profundas sobre sociedades antigas e críticas culturais até estudos contemporâneos em ciências exatas, humanas e linguísticas. O tom varia entre o didático e o analítico, com textos que contemplam desde narrativas históricas detalhadas até exposições metodológicas e teóricas, muitas vezes com linguagem acessível a estudantes e pesquisadores. Há uma presença marcante de obras que investigam processos sociais complexos, como dinâmicas de poder, transformações culturais e debates políticos, ao lado de publicações voltadas para aprendizado de idiomas e ciências aplicadas.
