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

Österreichische Post 5.99 € GLS-Kurier 5.49 € DPD-Kurier 4.99 € DPD-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Hyperproof

Name: Hyperproof
Brand: Centre for the Study of Language & Information
SKU: 05012528
Price: 36.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

89 b

Demnächst

36.19 € inkl. MwSt.

Erwarteter Nachdruck

Termin unbekannt

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Computernetze kompakt Christian Baun

Adobe ePub DRM

13.09 €

LOS ESPIAS DEL TIEMPO MARGARITA LACOUTURE BALDY

Broschur

15.99 €

Astrología para el nuevo orden mundial JOSE MILLAN

Broschur

19.09 €

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

Buch

7.89 €

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

Broschur

12.39 €

Sachsens Regierung, Stande und Volk Bernhard Hirschel

Broschur

20.00 €

Snuff Terry Pratchett

Broschur

11.39 €

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

Broschur

79.59 €

Hermanns Schlacht Friedrich Gottlieb Klopstock

Hardcover

19.80 €

Tintenherz Cornelia Funke

Hardcover

23.00 €

FILOSOFIE JEDNÁNÍ Ondřej Švec

Buch

9.39 €

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

Broschur

9.79 €

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