Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Hyperproof

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

For Macintosh

Jon Barwise

John Etchemendy

Sprache

Englisch

Buch Broschur

Libristo-Code: 05012528

Verlag Centre for the Study of Language & Information, Juni 1994

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

Libristo-Code: 05012528

98 b

Demnächst

40.19 € inkl. MwSt.

Erwarteter Nachdruck

Termin unbekannt

30 Tage für die Rückgabe der Ware

Kunden kauften auch

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

Buch

13.99 €

Malbuch mit ruhigen Paisleymustern fur Erwachsene 2 Nick Snels

Broschur

15.59 €

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

Broschur

14.19 €

Tintenherz Cornelia Funke

Hardcover

23.00 €

FILOSOFIE JEDNÁNÍ Ondřej Švec

Buch

9.89 €

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

Broschur

9.19 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Hyperproof

Autor Jon Barwise, John Etchemendy

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1994

Anzahl der Seiten 273

EAN 9781881526117

ISBN 1881526119

Libristo-Code 05012528

Verlag Centre for the Study of Language & Information

Gewicht 612

Abmessungen 178 x 255 x 20

Kategorie

Philosophie und Religion > Philosophie > Themen der Philosophie > Logik

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert