Deductions for Mac OS v.1.3

Advertisement
Advertisement

Deductions is educational software designed to help students learn proofs in formal logic. It is intended to be used by instructors and students of college-level logic courses in philosophy, mathematics and computer science. It gives immediate feedback at each stage of a proof, provides hints about how to complete proofs, and comes with a set of video tutorials that explain and review several challenging concepts in logic.

Deductions aims to solve the three problems that make proofs the most difficult component of formal logic courses: not knowing whether rules are applied correctly, getting stuck in the middle of a proof, and uncertainty about the rules and strategies. Deductions addresses these issues by flagging errors, including a hint engine to make suggestions about how to complete a proof, and having multimedia tutorials to help students through complex rules.
- added support for The Logic Book PD+ rule system
- added support for Accessible Introduction ND+ rule system
- added ability to export a deduction to a Text file
- added ability to export a deduction to a LaTeX snippet
- added some additional natural deduction rules

Deductions is educational software designed to ...

deductions

 
  • Deductions for Mac OS
  • 1.3
  • 25 Aug 12
  • Wandering Mango
  • Mac OS X 10.5 or later
  • Freeware
  • 6.2 Mb
  • 891
  • Free
 
 

Review Deductions for Mac OS

  • captcha
 
 
New Miscellaneous software
  • Tab Writer  v.5.2Tab Writer is designed to easily write tablature for four, five, six, seven, eight, twelve string as well as custom instruments and tunings. You have the ability to save, edit, and print your tablature.
  • Icecream Ebook Reader  v.5.22Icecream Ebook Reader features options for organizing a digital library and managing and reading ebooks with maximal comfort. It supports books in EPUB, MOBI, PDF, FB2, CBR, CBZ formats, features filters, notes, highlighting and copying of text.
  • MindMaster for Mac  v.7.2MindMaster is a cross-platform and multi-functional mind mapping software. It provides effective mind mapping solutions for brainstorming, knowledge management, business planning and note-taking.
  • MindMaster  v.7.2MindMaster is a cross-platform and multi-functional mind mapping software. It provides effective mind mapping solutions for brainstorming, knowledge management, business planning and note-taking.
  • TranslateIt! Deluxe for Mac OS  v.i3.0Very fast words translation tool with extensible dictionaries. TranslateIt! for Mac is distributed as Deluxe (shareware) and freeware. You can use shareware version free of a period of 20 days. After that, you have to buy the program or remove it ...
  • Que for Mac OS  v.1.1.1Its really easy to memorize and recall words just when you start learning new language, but imagine how hard could it be to recall words which you learned months ago? The solution is to constantly train and recall all words you learned. Que allows ...