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 29.541.734 Times

Deductions 1.3

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

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
USER REVIEWS
More Reviews or Write Review


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  -  Cisdem Data Recovery for Mac 4.1.0
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...
6.6 MB  
Macintosh Software  -  NoteBurner M4V Converter Plus for Mac 4.2.9
NoteBurner M4V Converter Plus for Mac is the best solution for Mac users to convert iTunes DRM M4V movies. This powerful M4V DRM removal tool helps you to remove both iTunes purchased M4V movies (including iTunes Extras) and rentals from iTunes...
22.93 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  
Macintosh Software  -  AnyMP4 DVD Ripper for Mac 6.3.16
AnyMP4 DVD Ripper for Mac not only help you rip DVD movies to any video formats like MP4, MOV, M4V, AVI, WMV, FLV, MKV, MPEG and more for Mac, but also rip DVD to other audio formats such as MP3, FLAC, WAV, WMA, AAC, ALAC, AC3 and more for Mac....
43.8 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