Contacto
Como comprar
Entrega
Guia de compras
Inglês
89 b
Em breve
Data desconhecida
Até 30 dias para devoluções
Os clientes também compraram
/
Capa mole
84.98
€
/
Capa mole
13.16
€
Hyperproof is a system for learning the principles of analytical reasoning and proof construction, consisting of a text and a Macintosh software program. Unlike traditional treatments of first-order logic, Hyperproof combines graphical and sentential information, presenting a set of logical rules for integrating these different forms of information. This strategy allows students to focus on the information content of proofs, rather than the syntactic structure of sentences. Using Hyperproof the student learns to construct proofs of both consequence and nonconsequence using an intuitive proof system that extends the standard set of sentential rules to incorporate information represented graphically. Hyperproof is compatible with various natural-deduction-style proof systems, including the system used in the authors' Language of First-Order Logic.
Sobre o livro
Inglês
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatárioTambém pode estar interessado em
/
Livro de capa dura
34.43
€
/
Capa mole
11.23
€
/
Livro de capa dura
86.91
€
Olá! Sou o Libroamiko, o seu conselheiro de livros.
Como posso ajudar?