Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Hyperproof

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

For Macintosh

Jon Barwise

John Etchemendy

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 05012528

Uitgeverij Centre for the Study of Language & Information, juni 1994

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

Libristo-code: 05012528

93 b

Wordt verwacht

38.54 €

Verwachte herdruk

Datum onbekend

Tot 30 dagen retourrecht

Klanten kochten ook

Computernetze kompakt Christian Baun

Adobe ePub DRM

13.48 €

LOS ESPIAS DEL TIEMPO MARGARITA LACOUTURE BALDY

Gebonden (paperback)

20.18 €

Astrología para el nuevo orden mundial JOSE MILLAN

Gebonden (paperback)

22.31 €

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

Boek

8.82 €

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

Gebonden (paperback)

13.18 €

Sachsens Regierung, Stande und Volk Bernhard Hirschel

Gebonden (paperback)

20.89 €

Snuff Terry Pratchett

Gebonden (paperback)

12.87 €

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

Gebonden (paperback)

89.06 €

Hermanns Schlacht Friedrich Gottlieb Klopstock

Gebonden (harde band)

17.95 €

Tintenherz Cornelia Funke

Gebonden (harde band)

19.47 €

FILOSOFIE JEDNÁNÍ Ondřej Švec

Boek

9.32 €

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

Gebonden (paperback)

8.82 €

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.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Hyperproof

Auteur Jon Barwise, John Etchemendy

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 1994

Aantal pagina's 273

EAN 9781881526117

ISBN 1881526119

Libristo-code 05012528

Uitgeverij Centre for the Study of Language & Information

Gewicht 612

Afmetingen 178 x 255 x 20

Categorieën

Filosofie en religie > Filosofie > Onderwerpen in de filosofie > Filosofie: logica

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger