Hyperproof

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

For Macintosh

Автор: Jon Barwise, John Etchemendy

Език:

Корици: С меки корици

Издател: Centre for the Study of Language & Information

Наличност: Очаква се допечатка

Срокът не е известен

39.39 € 77.04 лв

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

Информация за книгата

Автор

Jon Barwise, John Etchemendy

Език

Английски език

Корици

Книга - С меки корици

Издадена

1994

страници

273

EAN

9781881526117

ISBN

1881526119

Enbook ID

05012528

Издател

Centre for the Study of Language & Information

Теглоt

612

Размери

178 x 255 x 20

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Hyperproof

For Macintosh

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също