Learn how to write proofs...

Download DC Proof 1.0

Free full-version download     Last updated:  2009-03-25

"Well conceived, carefully planned and remarkable in its pedagogy and content."
–Brendan Kelly Ph.D., Ed.D.,  Emeritus Professor of Mathematics and Mathematics Education, OISE/University of Toronto

"What impressed me most about this teaching software is that it seems to focus on ensuring that logic is stripped to its bare essentials, and these simplest concepts are taught very thoroughly indeed, with full cross referencing between practice and theory."
– Stephen Simmons, Clinical Director, National Health Service, UK

"A better tool for learning about proofs in the way that mathematicians usually do them."
–Norman Megill, creator of "Metamath" 
 


Contents

1. What is DC Proof?

2. Features


3. Sample Proofs


4. System Requirements
 


What is DC Proof?


Features


Sample Proofs

Samples of proofs in the easy-to-read DC Proof format:


System Requirements

DC Proof is a PC-based program that requires the following software to run:

Top of page

 Click to contact author                                          

Copyright © 2007 Dan Christensen