1 / 6

Mastering Proof Ability: An Interactive Guide

Enhance your skills in understanding and creating proofs. Engage in practical exercises to improve mathematical maturity through clear tutorials and challenging tasks. Explore various writing tasks to develop creative language abilities.

dylan-barry
Download Presentation

Mastering Proof Ability: An Interactive Guide

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Understanding & Creating ProofsCSE 191 William J. Rapaport Department of Computer Science & Engineering, Department of Philosophy, Department of Linguistics, and Center for Cognitive Science rapaport@cse.buffalo.edu http://www.cse.buffalo.edu/~rapaport

  2. 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)

  3. 3 Writing Tasks (cont’d) • Write a brief e-mail message (4–5 sentences) about what you did on vacation. (easy; but requires a bit of thinking)

  4. 3 Writing Tasks (concluded) • 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)

  5. 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!

  6. 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!

More Related