:quality(100))
imagem ilustrativa
The Calculus of Computation
Aaron R. Bradley
Salvar edição
Compartilhar
- Editora: UmLivro
- Ano: 2010
- ISBN: 9783642093470
- Foundations.- Propositional Logic.- First-Order Logic.- First-Order Theories.- Induction.- Program Correctness: Mechanics.- Program Correctness: Strategies.- Algorithmic Reasoning.- Quantified Linear Arithmetic.- Quantifier-Free Linear Arithmetic.- Quantifier-Free Equality and Data Structures.- Comb
Descrição: Foundations.- Propositional Logic.- First-Order Logic.- First-Order Theories.- Induction.- Program Correctness: Mec... Veja mais