network profile
| bio | website | dcproof.com |
|---|---|---|
| location | Canada | |
| age | ||
| visits | member for | 6 months |
| seen | Apr 13 at 2:37 | |
| stats | profile views | 5 |
An amateur mathematician, I have developed educational software to introduce students to the basic methods of proof. In the style of most mathematics textbooks at the undergraduate level, its simplified rules of logic and set theory are loosely based on standard FOL and ZFC. For more information, a video demo and free download, visit my website at http://www.dcproof.com. Also, visit my new math blog at http://www.dcproof.wordpress.com
This user has not asked any questions
|
Mathematics | 1,565 rep | 312 |
|
Theoretical Computer Science | 121 rep | 1 |
This user has no active bounties
0 Votes Cast
This user has not cast any votes
