J. Paul Myers
- 1 Beckman, F.S., Mathematical Foundations of Programming, The Systems Programming Series, Addison-Wesley Publishing Co. (Reading, MA), 1980. Google Scholar
Digital Library
- 2 Boyer, R.S. and J.S. Moore, A Computational Logic Handbook, Perspectives in Computing, Vol. 23, Academic Press (Boston), 1988. Google ScholarDigital Library
- 3 Davis, M., "Influences of Mathematical Logic on Computer Science," in R. I-Ierken (ed.), The Universal Turing Machine: A Half-Century Survey, Oxford University Press (New York), 1988. Google ScholarDigital Library
- 4 Dijkstra, E.W., "On the Cruelty of Really Teaching Computer Science," SIGCSE Bulletin, Vol 21, No 1, February 1989.Google Scholar
- 5 Greenleaf, N. "Algorithms and Proofs: Mathematics in the Computing Curriculum," SIGCSE Bulletin, Vol 21, No 1, February 1989. Google ScholarDigital Library
- 6 Gries, D., The Science of Programming, Springer-Verlag (New York), 1981. Google ScholarDigital Library
- 7 I-Ioare, C.A.R. and J.C. Shepherdson, eds., Mathematical Logic and Programming Languages, International Series in Computer Science, Prentice-Hall, 1985.Google Scholar
- 8 Prather, R.E., "A Freshman-Sophomore Curriculum Integrating Discrete and Continuous Mathematics," in A. Ralston (ed.), Sloan Foundation Discrete Mathematics Programs, MAA Notes, 1989, to appear.Google Scholar
Index Terms
The central role of mathematical logic in computer science
Recommendations
Computer science teaching visualizations using logic simulation: conference tutorial
In this workshop the logic diagrams of computer organization and architecture texts will come alive through the use of digital logic simulation. Specifically, each circuit diagram of two prominent computer organization / architecture texts will be built ...
Computer science teaching visualizations using logic simulation: conference workshop
In this workshop the logic diagrams of computer organization and architecture texts will come alive through the use of digital logic simulation. Specifically, each circuit diagram of two prominent computer organization / architecture texts will be built ...
Comments