Taking “computer literacy” literally
Communications of the ACM
The new generation of computer literacy
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
The Iliad and the WHILE loop: computer literacy in a liberal arts program
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Teaching loop invariants to beginners by examples
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
The central role of mathematical logic in computer science
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
An axiomatic basis for computer programming
Communications of the ACM
A Discipline of Programming
Loop invariants and mathematical games
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Efficiency of algorithms for programming beginners
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
The Internet as a motivating theme in a math/computer core course for nonmajors
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
| Hi-index | 0.00 |
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.