Hyperproof

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

For Macintosh

Szerző: Jon Barwise, John Etchemendy

Nyelv:

Kötés: Puha kötésű

Kiadó: Centre for the Study of Language & Information

Elérhetőség: Utánnyomás

Megjelenés ismeretlen

13 330 Ft

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

Információk a könyvről

Szerző

Jon Barwise, John Etchemendy

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1994

oldal

273

EAN

9781881526117

ISBN

1881526119

Enbook ID

05012528

Kiadó

Centre for the Study of Language & Information

Súly

612

Méretek

178 x 255 x 20

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Hyperproof

For Macintosh

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták