Hyperproof

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

For Macintosh

Autor: Jon Barwise, John Etchemendy

Limbă:

Legare: Carte broșată

Editura: Centre for the Study of Language & Information

Disponibilitate: Retipărire preconizată

Termenul este necunoscut

196.82 lei

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

Informații despre carte

Autor

Jon Barwise, John Etchemendy

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

1994

Pagini

273

EAN

9781881526117

ISBN

1881526119

Enbook ID

05012528

Editura

Centre for the Study of Language & Information

Greutate

612

Dimensiuni

178 x 255 x 20

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Hyperproof

For Macintosh

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și