A graphical framework for assisting proofs
Cong-Cong Xing · Journal of computing sciences in colleges · 2010
Theories in computer science, especially proofs, are a tough topic for the student. Most students feel great bewilderment when studying example proofs and writing their own proofs. In this short paper, we first identify some common problems that students face when dealing with proofs, then define a graphical framework for facilitating the reading and writing of proofs, next present some proof examples under this framework, and finally summarize what can be gained by this framework.