Proof Techniques

Today I noticed a student in a graduate course being somewhat hesitant in presenting an induction proof. Next induction proof, hesitant again. It seems that some of the students, who are not from a CS or Math background, feel a bit insecure about proofs.

What to do? Make them prove!

So now I’m looking through online resources that will meet the following criteria:

  1. introductory enough for non-Math, non-CS people, who have had very little exposure to proving
  2. advanced, thorough, and challenging enough for graduate students from science/engineering disciplines
  3. convey the elegance of rigorous proof, and
  4. let them have fun proving

Thus far, I was most amused by the list of unacceptable proof techniques I found here.

I found some material on proof techniques, but what I found is either too basic, too concise, or too technical…


1 Response to “Proof Techniques”

  1. 1 markoschuetz October 24, 2009 at 1:38 am

    This one looked pretty good.

    but maybe isn’t challenging enough. When I reached the last page I thought:

    Where is strong, structural or well-founded induction, co-induction…?

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s


%d bloggers like this: