Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Hyperproof

Name: Hyperproof
Brand: Centre for the Study of Language & Information
SKU: 05012528
Price: 39.79 EUR
Availability: PreOrder
Author: Jon Barwise
ISBN: 9781881526117

For Macintosh

Jon Barwise

John Etchemendy

Lingua

Inglese

Libro In brossura

Codice Libristo: 05012528

Casa editrice Centre for the Study of Language & Information, giugno 1994

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

Codice Libristo: 05012528

97 b

In preparazione

39.79 €

In attesa di ristampa

Termine sconosciuto

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

LOS MEJORES CUENTOS DEL CICLO ONIRICO DE H.P. LOVEC LOVECRAFT

Libro

7.89 €

LOS ESPIAS DEL TIEMPO MARGARITA LACOUTURE BALDY

In brossura

20.79 €

Malbuch mit ruhigen Paisleymustern fur Erwachsene 2 Nick Snels

In brossura

15.59 €

Die Neufassung des materiellen Untersagungskriteriums in Art. 2 Abs. 2 und 3 EG-FKVO Maximilian Hermann

In brossura

87.99 €

Les Francais A Alger. Y Resteront-Ils ? Question Precedee d'Une Esquisse Sur Les Moeurs Sans Auteur

In brossura

13.59 €

Hermanns Schlacht Friedrich Gottlieb Klopstock

Rigido

18.69 €

Tintenherz Cornelia Funke

Rigido

19.19 €

FILOSOFIE JEDNÁNÍ Ondřej Švec

Libro

9.69 €

Fysis iónských myslitelů Radim Kočandrle

In brossura

8.69 €

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.