Teaching mathematical proofs to CS major students in the class of discrete mathematics
Hongbiao Zeng, Keyu Jiang · Journal of computing sciences in colleges · 2010
Teaching mathematical proofs to computer science major students is a challenge. Computer science majors like logical reasoning but not complicated mathematical proofs. This paper proposes two possible effective ways to teach mathematical proofs to computer science major students in the class of discrete mathematics.