Página inicialGruposDiscussãoMaisZeitgeist
Pesquise No Site
Este site usa cookies para fornecer nossos serviços, melhorar o desempenho, para análises e (se não estiver conectado) para publicidade. Ao usar o LibraryThing, você reconhece que leu e entendeu nossos Termos de Serviço e Política de Privacidade . Seu uso do site e dos serviços está sujeito a essas políticas e termos.

Resultados do Google Livros

Clique em uma foto para ir ao Google Livros

Carregando...

Hyperproof

de Jon Barwise, John Etchemendy (Autor)

Séries: CSLI Lecture Notes (42)

MembrosResenhasPopularidadeAvaliação médiaConversas
1211,607,043 (5)Nenhum(a)
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.… (mais)

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.

Fascinating book. Barwise was an outstanding logician and philosopher as well as a writer of popular textbooks. His popular textbooks reflect his interests and this gives them unusual strengths.

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. ( )
  themulhern | Jul 10, 2011 |
sem resenhas | adicionar uma resenha

» Adicionar outros autores

Nome do autorFunçãoTipo de autorObra?Status
Barwise, JonAutorautor principaltodas as ediçõesconfirmado
Etchemendy, JohnAutorautor principaltodas as ediçõesconfirmado

Pertence à série

Você deve entrar para editar os dados de Conhecimento Comum.
Para mais ajuda veja a página de ajuda do Conhecimento Compartilhado.
Título canônico
Informação do Conhecimento Comum em inglês. Edite para a localizar na sua língua.
Título original
Títulos alternativos
Data da publicação original
Pessoas/Personagens
Lugares importantes
Eventos importantes
Filmes relacionados
Epígrafe
Dedicatória
Primeiras palavras
Citações
Últimas palavras
Aviso de desambiguação
Editores da Publicação
Autores Resenhistas (normalmente na contracapa do livro)
Idioma original
CDD/MDS canônico
LCC Canônico

Referências a esta obra em recursos externos.

Wikipédia em inglês

Nenhum(a)

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.

Descrição do livro
Resumo em haiku

Current Discussions

Nenhum(a)

Capas populares

Links rápidos

Gêneros

Classificação decimal de Dewey (CDD)

160.2855369Philosophy and Psychology Logic Logic Miscellany

Classificação da Biblioteca do Congresso dos E.U.A. (LCC)

Avaliação

Média: (5)
0.5
1
1.5
2
2.5
3
3.5
4
4.5
5 1

É você?

Torne-se um autor do LibraryThing.

 

Sobre | Contato | LibraryThing.com | Privacidade/Termos | Ajuda/Perguntas Frequentes | Blog | Loja | APIs | TinyCat | Bibliotecas Históricas | Os primeiros revisores | Conhecimento Comum | 203,251,574 livros! | Barra superior: Sempre visível