Results 1 to 2 of 2

Math Help - Software or interactive exercises that teach mathematical proofs

  1. #1
    Member zzizi's Avatar
    Joined
    Feb 2010
    From
    London
    Posts
    83

    Software or interactive exercises that teach mathematical proofs

    Hi

    Does anyone know of a website with interactive exercises or software that can teach how to write and understand mathematical proofs?


    I would appreciate any info. Thanks
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Newbie
    Joined
    Apr 2012
    From
    us
    Posts
    9
    Thanks
    2

    Re: Software or interactive exercises that teach mathematical proofs

    Daniel J. Velleman, author of "Howto Prove It" has Proof Designer
    Proof Designer
    If I remember correctly I think that was mentioned in his book.
    Reading his book to go along with this would probably be very helpful.

    I have hoped that a simple proof checker, something that was able to check each incremental step of the sort of simple proofs that beginning students might be writing and provide immediate feedback when it was either able to point out a flaw or was not able to see how to justify the latest step, and thus the step was probably incorrect or not well enough justified, might aid students enormously.

    This would be very different from a research level question proof checker and very different from a research level theorem prover. Beginning students are not going to be doing either of those things. What I think beginning students need is immediate concrete feedback when they make little mistakes as they wade into the "cotton candy forest" where nothing seems certain at first in the transition from simple specific calculations to learning how to write proofs.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Interactive geometry software that gives hints?
    Posted in the Math Software Forum
    Replies: 0
    Last Post: May 18th 2012, 04:55 PM
  2. Replies: 3
    Last Post: January 7th 2010, 05:49 PM
  3. Mathematical proofs
    Posted in the Number Theory Forum
    Replies: 9
    Last Post: February 12th 2009, 10:09 PM
  4. Mathematical proofs
    Posted in the Algebra Forum
    Replies: 5
    Last Post: January 30th 2009, 07:08 AM
  5. Mathematical proofs
    Posted in the Discrete Math Forum
    Replies: 27
    Last Post: April 8th 2007, 11:36 AM

Search Tags


/mathhelpforum @mathhelpforum