Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 31.576.908 Times

Deductions 1.3

Company: Wandering Mango
Date Added: September 16, 2012  |  Visits: 257

Deductions

Report Broken Link
Printer Friendly Version


Product Homepage
Download (27 downloads)

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.

Requirements: No special requirements
Release Date: September 16, 2012
Platforms: Mac OS X 10.5 or later
Keyword: Classical Logic First Order Logic Introduction To Symbolic Logic Logic Games Logical Deductions Modern Symbolic Logic Natural Deductions Predicate Logic Study Of Logic Symbolic Logic Problems
Users rating: 0/10

License: Shareware Cost: $19.99 USD Size: 6.2 MB
DEDUCTIONS RELATED
Personal Information Managers  -  FuzzyFluid 1.11
The purpose of the FuzzyFluid program is to visualise the use of fuzzy logic inan expert system developed to interpret cerebrospinal fluid, which can be usedin normal laboratory procedures, especially in the field of pathology.The program requires...
938 KB  
Development Tools  -  Introduction to Statistical Analysis (Japanese) 1.0
Demo files used in the Japanese webinar: Introduction to Statistical Analysis In this demo, we use a realistic dataset from a clinical study to provide an overview of the statistical analysis and visualization capabilities in the MATLAB product...
51.2 KB  
Communication  -  Introduction to Simulink for Signal Processing 1.0
These are MATLABdlT« and SimulinkdlT« demos that goes with the "Introduction to Simulink for Signal Processing "seminar. Download, and unzip the zip file, and CD into that folder.Instructions:Run ANC_menu.m file from your MATLAB command...
40.96 KB  
Development Tools  -  First-order multivariate calibration 1.0
Graphical user interface driven first-order multivariate calibration using up-to-date methods, including PCR, PLS, net analyte methods and ortoghonal signal correction. Provides a variety of pre-processing tools, cross-validation plots, prediction...
532.48 KB  
Training Tools  -  1Z0-007 Oracle OCP DBA9i Introduction to 8.02.05
PrepKit OCP DBA9i PL/SQL 1Z0-007, Introduction to Oracle9i: SQL is an interactive software application that helps you learn, tracks your progress, identifies areas for improvements and simulates the actual exam. This PrepKit contains 3 interactive...
8.44 KB  
Development Tools  -  Introduction to Dynamic Meteorology, 4e 1.0
Sample MATLAB scripts from the CD-ROM accompanying"An Introduction to Dynamic Meteorology, 4th Edition" by James R. Holton, ISBN 0123340151, 2004
1.02 MB  
Development Tools  -  First-Order Degree Linear Differential Equations (Integration factor Ig=x^a*y^b) (Update: 23-06-07) 1.0
First-order-degree linear differential and non-homogeneous equation's solution possible the unknown integration multipler technique. Also, this simple technique's depend both sides of original homogeneous differential equation. The solution is...
10 KB  
Development Tools  -  Introduction to digital image processing Part 1 1.0
Introduction to digital image processing Part 1 (narration in Spanish)
15.96 MB  
Utilities  -  First-Order Degradation 1.0
Degradation of pesticides in soils is usually described using first-order kinetics. This software uses that model to display graphs and tables of concentration versus time for user-defined degradation rates and initial concentrations. It was...
838 B  
Development Tools  -  Introduction to Simulink Design Optimization 1.0
Demo files for MathWorks webinar "Introduction to Simulink Design Optimization" which occured on 3/26/2009.The recording is available here:http://www.mathworks.com/company/events/we...59&p2=493937477
358.4 KB  
NEW DOWNLOADS IN MACINTOSH SOFTWARE, EDUCATION
Macintosh Software  -  Stellar Volume Repair 3.0
Stellar Phoenix Volume Repair tool can repair corrupt and damaged Mac hard drives with ease. The software has been designed to rebuild the damaged directory structure and replaces the damaged one with the repaired directory. When the directory of...
15.63 MB  
Macintosh Software  -  ManyCam for Mac 6
ManyCam is a free Webcam software and a screen recorder for anyone to use. Several feature enhancements are included within ManyCam to produce a professional quality live video production. It can connect a desktop, smartphone, tablet and live...
90.49 MB  
Macintosh Software  -  Cisdem Data Recovery for Mac 4.2.3
Using advanced scanning technology and directory restructuring algorithm, Cisdem Data Recovery for Mac can help you to recover lost valuable data, documents, emails, videos, music, photos, and lost partitions from any Mac supported data...
6.4 MB  
Macintosh Software  -  iDoctor 2.0
iDoctor equips Mac users with 15 cleaning and optimization tools to make their working on Mac easy and simply. With iDoctor’s help you can also manage, encrypt, backup, recover or shred files with just a couple of mouse clicks. Thus,...
98 KB  
Macintosh Software  -  AnyMP4 Free iPhone Data Recovery for Mac 7.3.18
AnyMP4 Free iPhone Data Recovery for Mac can allow you to recover deleted files from iPhone/iPad/iPod like Camera Roll, Notes, Reminders, Voice Memos, and Safari Bookmark on Mac. You can directly recover deleted data from iOS Device like...
24.4 MB  
Education  -  Peppa Popper 1.0
Peppa Popper I was inspired by a children???*a*?s TV show Peppa Pig visits Daddy Pig???*a*?s Office and the fact that my daughter (aged 16 months) has been taking marginally more interest in the computer. So I did a quick...
807 B  
Education  -  Sliding Down an Incline Plane Model 1.0
This interactive simulation shows a stone block lying at rest on an inclined plane. Initially, the component of gravity along the plane surface is exceeded by the force of static friction. The slope of the ramp can be increased or decreased,...
51.2 KB  
Education  -  MrAIC 1.4.4
MrAIC.pl is a Perl script for calculating AIC, AICc, BIC, and Akaike weights (for a review, see Burnham and Anderson, 2002) for nucleotide substitution models. Likelihood scores under different models are estimated using PHYML (Guindon and...
10.24 KB  
Education  -  HapEvolution 1.0
Complex diseases involve multiple genes with low penetration which may be distributed over the genome. Most of the current haplotype association methods are typically restricted in length and consist of alleles from contiguous SNPs. These...
1.61 MB  
Education  -  Three Charges 1.0
In this simulation, you can investigate the idea of the force between charged objects. Initially, the simulation sets up three charged objects, one at each corner of an equilateral triangle. The charges have different magnitudes - your job is to...
1.36 MB