Fundamental Proof Methods in Computer Science (A Computer-Based Approach)