论文信息 - Teaching programming to liberal arts students: using loop invariants

Teaching programming to liberal arts students: using loop invariants

Loop invariants have long been present in advanced undergraduate and graduate courses on programming methodology or program correctness. Recently there has been an increased interest in using loop invariants in teaching more elementary courses. In this paper, its successful use in teaching elementary programming in a computer literacy course for non-majors is described. The techniques described here, that are necessary in order to work successfully with this population, are also applicable to the teaching of programming to computer science majors.

David M. Arnow

[1] J. Paul Myers. The new generation of computer literacy , 1989, SIGCSE '89.

[2] C. A. R. Hoare,et al. An axiomatic basis for computer programming , 1969, CACM.

[3] Owen L. Astrachan. Pictures as invariants , 1991, SIGCSE '91.

[4] David Arnow. Program Correctness Proofs in a Computer Literacy Course , 1992, Proceedings. Twenty-Second Annual conference Frontiers in Education.

[5] David M. Arnow. The Iliad and the WHILE loop: computer literacy in a liberal arts program , 1991, SIGCSE '91.

[6] David Gries,et al. The Science of Programming , 1981, Text and Monographs in Computer Science.

[7] Edsger W. Dijkstra,et al. A Discipline of Programming , 1976 .

[8] J. Paul Myers,et al. The central role of mathematical logic in computer science , 1990, SIGCSE '90.

[9] C. Dyke,et al. Taking “computer literacy” literally , 1987, CACM.

[10] Wing C. Tam,et al. Teaching loop invariants to beginners by examples , 1992, SIGCSE '92.

[11] Lynne V. Cheney,et al. 50 Hours: A Core Curriculum for College Students. , 1989 .