Hyperproof - For Macintosh (Paperback, 2nd Ed.)

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.

General

Imprint:	Centre for the Study of Language & Information
Country of origin:	United States
Series:	Center for the Study of Language and Information Publication Lecture Notes, 42
Release date:	1995
Authors:	Jon Barwise • John Etchemendy
Dimensions:	255 x 178 x 20mm (L x W x T)
Format:	Paperback - Trade
Pages:	273
Edition:	2nd Ed.
ISBN-13:	978-1-881526-11-7
Categories:	Books > Humanities > Philosophy > Topics in philosophy > Logic Books > Science & Mathematics > Mathematics > Mathematical foundations > General Books > Philosophy > Topics in philosophy > Logic
LSN:	1-881526-11-9
Barcode:	9781881526117

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!