A graphical framework for assisting proofs

Authors:
Cong-Cong Xing
Affiliations:
Nicholls State University, Thibodaux, LA
Venue:
Journal of Computing Sciences in Colleges
Year:
2010

Citing 4
Cited 0

Elements of the Theory of Computation

Elements of the Theory of Computation
Artificial Intelligence

Artificial Intelligence
Introduction

Communications of the ACM - Why CS students need math
Is abstraction the key to computing?

Communications of the ACM

Quantified Score

Hi-index	0.01

Visualization

Abstract

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.