Discrete Structures
Understanding & Creating Proofs
Last Update: 6 October 2010
Note:
or
material is highlighted
3 Writing Tasks
Read the following story & answer the questions:
John went to a restaurant for dinner.
He ordered a steak.
When he was finished, he paid the bill & left.
Q1: Who is the main character?
Q2: Did he eat dinner?
easy & straightforward
Write a brief e-mail message (4–5 sentences) about what you did on vacation.
easy; but requires a bit of thinking
Write a beautiful, original poem about your favorite thing. It must rhyme. If it is publishable, it will make you famous.
hard; lots of pressure on you
3 Tasks of Language Ability
Understanding (listening, reading)
Relatively easy (with practice)
Generation (speaking, writing)
Much more difficult
Creative language use (writing creative prose, poetry)
Hard!
3 Tasks of Proof Ability ("Mathematical Maturity")
Understanding (& verifying) proofs
Easy:
Use Rapaport's
"slow reading"
technique
Generating proofs
Harder
But there are algorithms & heuristics
Creating new proofs
Beyond our scope!
Copyright © 2008–2010 by
William J. Rapaport
(
rapaport@buffalo.edu
)
http://www.cse.buffalo.edu/~rapaport/191/191proofs.html-20101006