|
|
|
Monday, 13 September 2010 07:00 |
 | About Deductions
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. |
Read more: |
|
|
Tuesday, 03 August 2010 07:00 |
 | About Transliteration
The transliteration tool. It uses simple rules to replace characters of one alphabet with characters of another.
Russian-Latin, Serbian-Latin, Hebrew-Latin, Ladino-Hebrew, Greek-Latin and Julius Caesar rules are included.
PLIST-files with simple syntax allow defining your own rules. Just e-mail us your PLISTs, and we’ll include them in future versions of Transliteration. |
Read more: |
|
Friday, 02 July 2010 07:00 |
 | About Prospects
A personal finance application that allows users to manage their finances via extensive account monitoring capabilities and budgeting.
Prospects provides up to three ViewPoints that provide instantaneous information about an account via graphs and tables. It allows users to group accounts into Binders which provide immediate feedback on assets, liabilities, and overall growth. Prospects contains many other features as well, such as a Budget Advisor, the ability to learn rules as you edit transactions, custom rules, scheduled transactions and reminders, reconciling of accounts, filtering transactions, full keyboard navigation/editing in the transactions table, memorized payees, transaction attachments, categories, split transactions, transfers, QIF/OFX/QFX importing, and QIF exporting. |
Read more: |
|
|
Tuesday, 16 March 2010 07:00 |
| About Prospects
A personal finance application that allows users to manage their finances via extensive account monitoring capabilities and budgeting.
Prospects provides up to three ViewPoints that provide instantaneous information about an account via graphs and tables. It allows users to group accounts into Binders which provide immediate feedback on assets, liabilities, and overall growth. Prospects contains many other features as well, such as a Budget Advisor, the ability to learn rules as you edit transactions, custom rules, scheduled transactions and reminders, reconciling of accounts, filtering transactions, full keyboard navigation/editing in the transactions table, memorized payees, transaction attachments, categories, split transactions, transfers, QIF/OFX/QFX importing, and QIF exporting. |
Read more: |
|
Monday, 18 January 2010 06:00 |
 | About Deductions
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. |
Read more: |
|
|
|
|
|
|
|