Hyperproof

Name: Hyperproof
Brand: Centre for the Study of Language & Information
SKU: 9781881526117
Price: 37.68 EUR
Availability: PreOrder

For Macintosh

Autor: Jon Barwise, John Etchemendy

Jazyk:

Väzba: Brožovaná

Vydavateľ: Centre for the Study of Language & Information

Dostupnosť: Čaká sa dotlač

Termín neznámy

37.68 €

Hyperproof is a system for learning the principles of analytical reasoning and proof construction, c...

Informácie o knihe

Autor

Jon Barwise, John Etchemendy

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

1994

Stránok

273

EAN

9781881526117

ISBN

1881526119

Enbook ID

05012528

Vydavateľ

Centre for the Study of Language & Information

Hmotnosť

612

Rozmery

178 x 255 x 20

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Hyperproof

For Macintosh

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež