|
|
libcats.org
Hyperproof: For MacintoshJon Barwise, John EtchemendyHyperproof 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.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Записки опального директораАвтор: Гимельфарб НатанКатегория: Биографии и Мемуары
Размер книги: 4.32 Mb
Food Safety: A Practical and Case Study Approach (Integrating Safety and Environmental Knowledge Into Food Studies towards European Sustainable Development)Автор: Anna McElhatton, Автор: Richard J. Marshall
Размер книги: 2.61 Mb
Handbook of Liver Disease, Third EditionАвтор: Lawrence S. Friedman MD, Автор: Emmet B. Keeffe MD
Размер книги: 20.35 Mb
Alms for jihad: charity and terrorism in the Islamic worldАвтор: Millard Burr, Автор: Robert O. Collins
Размер книги: 24.44 Mb
|
|
|