How to Solve It Methods of Proof Rules of Inference Fallacies Methods of Proof of an Implication Types of Proof A Final Summation General Philosophy Prove is just another way of saying solve this problem. Everything that you learn in computer science is a tool for the solving of problems and implementing those solutions. Difficulties involved in problem solving Most proofs are presented in a fully polished, efficient form but in fact they involve many trial attempts, blind alleys and hard work. All proofs require extreme rigour in their explanation.
Proofs require a logical and organized approach.
Attention to details is the ultimate result of being able to conceive and express original thoughts. There is no general methodology for solving a problem. You must learn the basics and spend time doing simple examples and proofs to increase your understanding and confidence. By studying other people's proofs and truly understanding them, you learn methods of problem solving. Summary Problem solving is hard work.