article

Free access

The central role of mathematical logic in computer science

Author:

J. Paul Myers, Jr.Authors Info & Claims

ACM SIGCSE Bulletin, Volume 22, Issue 1

Pages 22 - 26

https://doi.org/10.1145/319059.319071

Published: 01 February 1990 Publication History

PDF eReader

References

[1]

Beckman, F.S., Mathematical Foundations of Programming, The Systems Programming Series, Addison-Wesley Publishing Co. (Reading, MA), 1980.

Digital Library

Google Scholar

[2]

Boyer, R.S. and J.S. Moore, A Computational Logic Handbook, Perspectives in Computing, Vol. 23, Academic Press (Boston), 1988.

Digital Library

Google Scholar

[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.

Digital Library

Google Scholar

[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.

Digital Library

Google Scholar

[6]

Gries, D., The Science of Programming, Springer-Verlag (New York), 1981.

Digital Library

Google Scholar

[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

Cited By

View all

White GPloeger F(2016)Cognitive Characteristics for Learning Visual BasicJournal of Computer Information Systems10.1080/08874417.2004.1164758244:3(58-66)Online publication date: 1-Feb-2016
https://doi.org/10.1080/08874417.2004.11647582
White G(2016)Cognitive Characteristics for Learning C++Journal of Computer Information Systems10.1080/08874417.2002.1164750342:3(51-55)Online publication date: Feb-2016
https://doi.org/10.1080/08874417.2002.11647503
Cervesato IRößling GNaps TSpannagel C(2011)Discovering logic through comicsProceedings of the 16th annual joint conference on Innovation and technology in computer science education10.1145/1999747.1999778(103-107)Online publication date: 27-Jun-2011
https://dl.acm.org/doi/10.1145/1999747.1999778
Show More Cited By

Index Terms

The central role of mathematical logic in computer science
1. Applied computing
  1. Education
2. Social and professional topics
  1. Computing / technology policy
  2. Professional topics
    1. Computing education

Recommendations

The contributions of Grace Murray Hopper to computer science and computer education
Model Curicula for Four-Year Computer Science and Engineering Programs: Bridging the Tar Pit

The Model Curricula Subcommittee of the IEEE Computer Society Education Committee was formed some 16 months ago to develop an IEEE Computer Society-sanctioned four-year curriculum in computer science and engineering to be used by colleges and ...
ICT-Enabled Grievance Redressal in Central India: A Comparative Analysis
ICTD '16: Proceedings of the Eighth International Conference on Information and Communication Technologies and Development

Helping citizens to resolve grievances is an important part of many e-governance initiatives. In this paper, we examine two contemporary initiatives that use ICTs to help citizens resolve grievances in central India. One system is a state-run call ...

Comments

Information & Contributors

Information

Published In

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 February 1990

Published in SIGCSE Volume 22, Issue 1

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

20
Total Citations
View Citations
919
Total Downloads

Downloads (Last 12 months)132
Downloads (Last 6 weeks)10

Reflects downloads up to 10 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

White GPloeger F(2016)Cognitive Characteristics for Learning Visual BasicJournal of Computer Information Systems10.1080/08874417.2004.1164758244:3(58-66)Online publication date: 1-Feb-2016
https://doi.org/10.1080/08874417.2004.11647582
White G(2016)Cognitive Characteristics for Learning C++Journal of Computer Information Systems10.1080/08874417.2002.1164750342:3(51-55)Online publication date: Feb-2016
https://doi.org/10.1080/08874417.2002.11647503
Cervesato IRößling GNaps TSpannagel C(2011)Discovering logic through comicsProceedings of the 16th annual joint conference on Innovation and technology in computer science education10.1145/1999747.1999778(103-107)Online publication date: 27-Jun-2011
https://dl.acm.org/doi/10.1145/1999747.1999778
Kelemen CTucker AHenderson PAstrachan OBruce K(2000)Has our curriculum become math-phobic? (an American perspective)ACM SIGCSE Bulletin10.1145/353519.34314332:3(132-135)Online publication date: 13-Jul-2000
https://dl.acm.org/doi/10.1145/353519.343143
Kelemen CTucker AHenderson PAstrachan OBruce KTarhio JFincher SJoyce D(2000)Has our curriculum become math-phobic? (an American perspective)Proceedings of the 5th annual SIGCSE/SIGCUE ITiCSEconference on Innovation and technology in computer science education10.1145/343048.343143(132-135)Online publication date: 13-Jul-2000
https://dl.acm.org/doi/10.1145/343048.343143
Bogoiavlenski IClear ADavies GFlack HMyers JRasala RGoldweber MImpagliazzo J(1997)Historical perspectives on the computing curriculumACM SIGCUE Outlook10.1145/274382.27438725:4(94-111)Online publication date: 1-Oct-1997
https://dl.acm.org/doi/10.1145/274382.274387
Goldweber MImpagliazzo JBogoiavlenski IClear ADavies GFlack HMyers JRasala RCassel LDaniels M(1997)Historical perspectives on the computing curriculum (report of the ITiCSE '97 working group on historical perspectives in computing education)The supplemental proceedings of the conference on Integrating technology into computer science education: working group reports and supplemental proceedings10.1145/266057.266119(94-111)Online publication date: 4-Jun-1997
https://dl.acm.org/doi/10.1145/266057.266119
Hartel PHertzberger L(1995)Paradigms and laboratories in the core computer science curriculumACM SIGCSE Bulletin10.1145/216511.21652127:4(13-20)Online publication date: 1-Dec-1995
https://dl.acm.org/doi/10.1145/216511.216521
Hein J(1993)A declarative laboratory approach for discrete structures, logic, and computabilityACM SIGCSE Bulletin10.1145/165408.16541425:3(19-25)Online publication date: 1-Sep-1993
https://dl.acm.org/doi/10.1145/165408.165414
Greenleaf N(1992)Bringing mathematics education into the algorithmic ageConstructivity in Computer Science10.1007/BFb0021092(199-217)Online publication date: 1992
https://doi.org/10.1007/BFb0021092
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Index Terms

Recommendations

The contributions of Grace Murray Hopper to computer science and computer education

Model Curicula for Four-Year Computer Science and Engineering Programs: Bridging the Tar Pit

ICT-Enabled Grievance Redressal in Central India: A Comparative Analysis

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations