HYPERPROOF by Jon Barwise, John Etchemendy ( 9781881526117 ) - Books & Audio Books at Pickabook.co.uk

Item Details

Title:

HYPERPROOF
FOR MACINTOSH

By:

Jon Barwise, John Etchemendy

Format:

Paperback

List price:

£27.00

Our price:

£24.30

Discount:

10% off

You save:

£2.70

ISBN 10:

1881526119

ISBN 13:

9781881526117

Availability:

Usually dispatched within 1-3 weeks.

Delivery rates

Stock:

Currently 0 available

Publisher:

CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION

Pub. date:

30 June, 1994

Edition:

2nd

Series:

Center for the Study of Language and Information Publication Lecture Notes 42

Pages:

273

Description:

Hyperproof is a system for learning the principles of analytical reasoning and constructing proofs. It is intended for use in conjunction with a presention of the formal syntactic system of first-order propositional logic, especially the authors' software program, "Tarski's World".

Synopsis:

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.

Publication:

Imprint:

Centre for the Study of Language & Information

Returns:

Returnable

Some other items by this author:

ADMISSIBLE SETS AND STRUCTURES (HB)

INFORMATION FLOW

INFORMATION FLOW (HB)

INFORMATION FLOW (PB)

LANGUAGE OF FIRST-ORDER LOGIC (PB)

LANGUAGE OF FIRST-ORDER LOGIC, INCLUDING TARSKI''S WORLD 3.0 (MAC) (PB)