Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.
|
|
|
|
DC Proof 2.0 Freeware Update: Revised and Expanded Tutorial
Posted:
Mar 10, 2012 2:39 AM
|
|
DC Proof 2.0 is a free, downloadable, PC-based program that can be used to facilitate the transition to proof-based mathematics at the undergraduate or advanced high school levels.
The newly revised and expanded tutorial included with the download introduces symbolic logic and the standard methods of proof using 13 worked examples and 29 exercises with hints and full solutions.
Topics in symbolic logic include:
- - Logical propositions and predicates
- - Logical operators
- - Universal and existential quantifiers
Basic methods of proof covered include:
- - Direct proof
- - Indirect proof (by contradiction and contrapositive)
- - Proof by cases
- - Proof of biconditionals
- - Proof by induction
- - Use of the formal axioms and definitions (in set theory and elementary number theory)
Download my DC Proof 2.0 software at http://www.dcproof.com
Also see my article "Why Teach Formal Logic and Set Theory?" (English)at Lettre De La Preuve, Hiver 2012 at http://www.lettredelapreuve.it/
Dan
|
|
|
|
