Clique em uma foto para ir ao Google Livros
Carregando... Hyperproofde Jon Barwise, John Etchemendy (Autor)
Sem etiquetas Nenhum(a) Carregando...
Registre-se no LibraryThing tpara descobrir se gostará deste livro. Ainda não há conversas na Discussão sobre este livro. sem resenhas | adicionar uma resenha
Pertence à sérieCSLI Lecture Notes (42)
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. Não foram encontradas descrições de bibliotecas. |
Current DiscussionsNenhum(a)
Google Books — Carregando... GênerosClassificação decimal de Dewey (CDD)160.2855369Philosophy and Psychology Logic Logic MiscellanyClassificação da Biblioteca do Congresso dos E.U.A. (LCC)AvaliaçãoMédia:
É você?Torne-se um autor do LibraryThing. |
This book is about relating the real world and logic in arguments and was supported by a software tool, also called Hyperproof. The software is now obsolete, but the explanations of the software in the book are good enough to make its functioning quite clear. ( )