Hyperproof: For Macintosh (Center for the Study of Language and Information Publication Lecture Notes)

Jon Barwise; John Etchemendy

ISBN 10: 1881526119 / ISBN 13: 9781881526117

Edité par The Center for the Study of Language and Information Publications, 1995

A propos de cet article

Type: Book Small plain label inside cover.Complete with diskette.

N° de réf. du vendeur 055941

Détails bibliographiques

• Titre: Hyperproof: For Macintosh (Center for the Study of Language and Information Publication Lecture Notes)
• Éditeur: The Center for the Study of Language and Information Publications
• Date de parution: 1995
• Langue: anglais
• ISBN à 10 chiffres: 1881526119
• ISBN à 13 chiffres: 9781881526117
• Reliure: Paperback
• État de l'article: Good
• État de la jaquette: No d/j as Published
• Catalogues du vendeur:
  • COMPUTING

A propos de ce titre

Synopsis

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.

À propos de l?auteur

Jon Barwise (1942-2000) was a mathematician, philosopher and logician. He taught at the Universities of Yale and Wisconsin before becoming the first director of the Center for the Study of Language and Information at Stanford University. From 1990 until his death he was professor of philosophy at Indiana University. John Etchemendy has been professor of philosophy at Stanford since 1983. In 2000 he became Provost of Stanford University.