Fifth Week

6th~10th Oct

•  Structure of systematic proof

  This mid-term test worried me a lot before. But I really put a lot of efforts in this course. So, the answer won't makeme disappointed.
  This week，Heap teaches us to use systematic and rigorous proof structure to proof some statements. As to me, the most important part is prove with step by step. To every step, we need to clarify the reasons. It is really interesting like we are simulating the execution of computer. I believe the requirement of writing reasons is also teaching us to write annotations when we program.