書誌事項

Hyperproof

Jon Barwise & John Etchemendy ; program by Gerard Allwein, Mark Greaves, and Michael Lenz ; with additional programming by Alan Bush ... [et al.]

(CSLI lecture notes, no. 42)

CSLI Publications, c1994

  • : pbk

大学図書館所蔵 件 / 33

この図書・雑誌をさがす

内容説明・目次

内容説明

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.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

  • CSLI lecture notes

    Center for the Study of Language and Information, Stanford University (CSLI)

詳細情報

ページトップへ