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…

Advertisements

1 Response to “Proof Techniques”


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

    This one looked pretty good.

    http://www.risc.uni-linz.ac.at/education/courses/ws2009/TSW/Buchberger-Proof-Techniques.pdf

    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:

WordPress.com Logo

You are commenting using your WordPress.com 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 )

Google+ photo

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

Connecting to %s





%d bloggers like this: