Any Resources for Learning Proofs?

Post Reply New Topic

I'm a 4th year computer science major. I feel my proof skills are lacking and being able to prove things in first-order logic (algorithm correctness, run time, time complexity) would really help me as a professional. However, when I attempt to learn, the introductory materials are very imposing. Is there a tutorial for proofs for CS students? One that is gentle, simple and then gradually builds in complexity? Preferably, I'd love one with lots of practice questions and full answers to the questions. That way, I can learn from my mistakes.

Dover just published "Introduction to Proof in Abstract Mathematics".

Look here: Lots of good titles.

http://www.amazon.com/s/ref=nb_sb_ss_i_ ... pbooks%2C0

ruveyn

The following site is a compendium of proofs:

proofwiki DOT org

The style of presentation is clear and the delivery is exceptionally rigorous.

While the previous posts mention books better suited to your needs I recommend trying to achieve the clarity of this website with each proof you create.

Have a look here:

http://www.amazon.com/s/ref=nb_sb_ss_i_ ... pbooks%2C0