Contact
Comment faire ses achats
Livraison
Guide d'achat
Anglais
93 b
Bientôt
Date inconnue
Jusqu'à 30 jours pour les retours
Les clients ont également acheté
/
Livre de poche
13.18
€
/
Livre de poche
84.90
€
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.
À propos du livre
Anglais
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataireCeci pourrait également vous intéresser
/
Livre de poche
14.19
€
/
Livre de poche
11.25
€
/
Livre de poche
121.22
€
/
Livre relié
36.51
€
/
Livre de poche
41.89
€
/
Livre de poche
48.69
€
Bonjour ! Je suis Libroamiko, votre conseiller littéraire.
Comment puis-je vous aider ?