research-article

The roles of mathematics in computer science

Authors:

Douglas Baldwin,

Henry M. Walker,

Peter B. HendersonAuthors Info & Claims

ACM Inroads, Volume 4, Issue 4

Pages 74 - 80

https://doi.org/10.1145/2537753.2537777

Published: 01 December 2013 Publication History

Get Access

References

[1]

Aho, A. V. and Ullman, J. D. Foundations of Computer Science. (New York: Computer Science Press, 1992).

Digital Library

Google Scholar

[2]

Baldwin, D. and Henderson, P. B. "A working group on integrating mathematical reasoning into computer science curricula." http://www.math-in-cs.org/. Accessed 2013 April 30.

Google Scholar

[3]

Baldwin, D. and Scragg, G. Algorithms and Data Structures: The Science of Computing. (Hingham, Massachusetts: Charles River Media, 2004).

Digital Library

Google Scholar

[4]

Bloom, B. Taxonomy of Educational Objectives: Handbook 1: Cognitive Domain. (Longmans, Green and Company, 1956): 201--207.

Google Scholar

[5]

Bruce, K. et al. "Why math?" Communications of the ACM, 46, 9 (2003): 41--44.

Digital Library

Google Scholar

[6]

Cohoon, J. P. and Knight, J. C. "Connecting discrete mathematics and software engineering" in Proceedings of the Thirty-Sixth ASEE/IEEE Frontiers in Education Conference. (New York: IEEE, 2006): M2F-13--M2F-18.

Google Scholar

[7]

Cormen, T. et al. Introduction to Algorithms. 3rd ed. (Cambridge, Massachusetts: MIT Press, 2009).

Digital Library

Google Scholar

[8]

Desnoyers, M. "Proving the correctness of nonblocking data structures." Communications of the ACM, 56, 7 (2013): 62--69.

Digital Library

Google Scholar

[9]

Devlin, K. "Why universities require computer science students to take math." Communications of the ACM, 46, 9 (2003): 37--39.

Digital Library

Google Scholar

[10]

Foley, J. et al. Computer Graphics: Principles and Practice. 2nd ed. (Reading, Massachusetts: Addison-Wesley, 1990).

Digital Library

Google Scholar

[11]

Gries, D. and Schneider, F. B. A Logical Approach to Discrete Math, (New York: Springer Verlag, 1993).

Digital Library

Google Scholar

[12]

Henderson, P. B. "Discrete mathematics as a precursor to programming." in Proceedings of the Twenty-First SIGCSE Technical Symposium on Computer Science Education. (New York: ACM, 1990): 17--21.

Digital Library

Google Scholar

[13]

Henderson, P. B. "The role of mathematics in computer science and software engineering education." Advances in Computers, 65 (2005): 350--396.

Google Scholar

[14]

Hennessy, J. and Patterson, D. Computer Architecture: A Quantitative Approach. 3rd ed. (Amsterdam: Morgan Kaufmann Publishers, 2003).

Digital Library

Google Scholar

[15]

IEEE Computer Society, "TechLeader OnCourse." http://www.computer.org/portal/web/certification. Accessed 2013 April 30.

Google Scholar

[16]

IEEE Computer Society and Association for Computing Machinery Interim Review Task Force. "Computer Science Curriculum 2008: An Interim Revision of CS 2001." http://www.acm.org/education/curricula/ComputerScience2008.pdf. Accessed 2013 June 27.

Google Scholar

[17]

IEEE Computer Society and Association for Computing Machinery Joint Task Force on Computing Curricula. "Computing Curricula 2001: Computer Science," http://www.acm.org/education/education/education/curric_vols/cc2001.pdf. Accessed 2013 April 30.

Google Scholar

[18]

Jhala, R. and Majumdar, R. "Software model checking." ACM Computing Surveys 41, 4 (2009).

Digital Library

Google Scholar

[19]

Kedem, Z. et al. eds. "The 2012 ACM Computing Classification System." http://www.acm.org/about/class/2012. Accessed 2013 April 20.

Google Scholar

[20]

Lethbridge, T. "Priorities for the education and training of software engineers." Journal of Systems and Software, (2000): 53--71.

Digital Library

Google Scholar

[21]

McCauley, R. and Manaris, B. "Computer science education at the start of the 21st century---a survey of accredited programs." in Proceedings of the Thirty-Second ASEE/IEEE Frontiers in Education Conference. (New York: IEEE, 2002): F2G-10--F2G-15.

Google Scholar

[22]

Nevada State Gaming Control Board Gaming Commission. "Regulation 14." http://gaming.nv.gov/modules/showdocument.aspx?documentid=2921. Accessed 2013 July 17.

Google Scholar

[23]

Ralston, A. "The first course in computer science needs a mathematics corequisite." Communications of the ACM, 27, 10 (1984): 1002--1005.

Digital Library

Google Scholar

[24]

Ralston, A. "Do we need ANY mathematics in computer science curricula?" inroads---the SIGCSE Bulletin, 37, 2 (2005): 6--9.

Digital Library

Google Scholar

[25]

Sahami, M. "A course on probability theory for computer scientists." in Proceedings of SIGCSE 2011, the Forty-Second Technical Symposium on Computer Science Education (New York: ACM, 2011): 263--268

Digital Library

Google Scholar

[26]

Sebesta, R. Concepts of Programming Languages. 9th ed. (Boston: Addison-Wesley, 2010).

Digital Library

Google Scholar

[27]

SHFL Entertainment. "Game Designer / Mathematician." http://www.creativeheads.net/job/12078/game-designer-mathematician-in-las-vegas. Accessed 2013 July 17.

Google Scholar

[28]

Sipser, M. Introduction to the Theory of Computation. 3rd ed. (Boston: Cengage Learning, 2013).

Google Scholar

[29]

Sitaraman, M. et.al. "Building a push-button RESOLVE verifier: progress and challenges." Formal Aspects of Computing, 23, 5 (2011): 607--626.

Crossref

Google Scholar

[30]

Stringer, M. Personal communication to Douglas Baldwin. Sept. 2012.

Google Scholar

[31]

Surakka, S. "What subjects and skills are important for software developers?" Communications of the ACM, 50, 1 (2007): 73--78.

Digital Library

Google Scholar

[32]

Tucker, A., Kelemen, C., and Bruce, K. "Our curriculum has become math-phobic!" in Proceedings of the Thirty-Second SIGCSE Technical Symposium on Computer Science Education. (New York: ACM, 2001): 243--247.

Digital Library

Google Scholar

[33]

Turbak, F. and Gifford, D. Design Concepts in Programming Languages. (Cambridge, Massachusetts: MIT Press, 2008).

Digital Library

Google Scholar

[34]

US News and World Report. "World's Best Universities: Computer Science." http://www.usnews.com/education/worlds-best-universities-rankings/best-universities-computer-science. Accessed 2013 April 28.

Google Scholar

[35]

Wing, J. "Computational Thinking." Communications of the ACM, 49, 3 (2006): 33--35.

Digital Library

Google Scholar

Cited By

View all

Brodley CQuam MWeiss M(2024)An Analysis of the Math Requirements of 199 CS BS/BA Degrees at 158 U.S. UniversitiesCommunications of the ACM10.1145/366148267:8(122-131)Online publication date: 31-Jul-2024
https://dl.acm.org/doi/10.1145/3661482
Castle SStephenson BStone JBattestilli LRebelsky SShoop L(2024)Embracing Mathematical Conjecture Through Coding and Computational ThinkingProceedings of the 55th ACM Technical Symposium on Computer Science Education V. 210.1145/3626253.3635561(1594-1595)Online publication date: 14-Mar-2024
https://dl.acm.org/doi/10.1145/3626253.3635561
Zuckerman AJuavinett AStephenson BStone JBattestilli LRebelsky SShoop L(2024)When Coding Meets Biology: The Tension Between Access and Authenticity in a Contextualized Coding ClassProceedings of the 55th ACM Technical Symposium on Computer Science Education V. 110.1145/3626252.3630966(1491-1497)Online publication date: 7-Mar-2024
https://dl.acm.org/doi/10.1145/3626252.3630966
Show More Cited By

Index Terms

The roles of mathematics in computer science
1. Mathematics of computing
2. Social and professional topics
  1. Professional topics
    1. Computing education
      1. Computing education programs
        Computer science education

Recommendations

Teaching computer aided software engineering at the graduate level
ITiCSE '08: Proceedings of the 13th annual conference on Innovation and technology in computer science education

Although computer-aided software engineering (CASE) is one of the most current and interesting subjects within software engineering, relatively little has been published on the issue of teaching CASE at the graduate level. This paper reports a case ...
Bringing Grades K-5 to the Mainstream of Computer Science Education
SIGCSE '15: Proceedings of the 46th ACM Technical Symposium on Computer Science Education
As awareness of computer science education grows in the general public, it is important to showcase computer science education as accessible for all grades K-12 and beyond. As panelists present the projects and research they've been conducting, we will ...
Computer Science Education in North-Rhine Westphalia, Germany—A Case Study
Special Issue II on Computer Science Education in K-12 Schools

In North-Rhine Westphalia, the most populated state in Germany, Computer Science (CS) has been taught in secondary schools since the early 1970s. This article provides an overview of the past and current situation of CS education in North-Rhine ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM Inroads Volume 4, Issue 4

December 2013

83 pages

ISSN:2153-2184

EISSN:2153-2192

DOI:10.1145/2537753

Editor:
John Impagliazzo
Emeritus, Hofstra University

Issue’s Table of Contents

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 December 2013

Published in INROADS Volume 4, Issue 4

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Popular
Refereed

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

59
Total Citations
View Citations
1,923
Total Downloads

Downloads (Last 12 months)148
Downloads (Last 6 weeks)8

Reflects downloads up to 09 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Brodley CQuam MWeiss M(2024)An Analysis of the Math Requirements of 199 CS BS/BA Degrees at 158 U.S. UniversitiesCommunications of the ACM10.1145/366148267:8(122-131)Online publication date: 31-Jul-2024
https://dl.acm.org/doi/10.1145/3661482
Castle SStephenson BStone JBattestilli LRebelsky SShoop L(2024)Embracing Mathematical Conjecture Through Coding and Computational ThinkingProceedings of the 55th ACM Technical Symposium on Computer Science Education V. 210.1145/3626253.3635561(1594-1595)Online publication date: 14-Mar-2024
https://dl.acm.org/doi/10.1145/3626253.3635561
Zuckerman AJuavinett AStephenson BStone JBattestilli LRebelsky SShoop L(2024)When Coding Meets Biology: The Tension Between Access and Authenticity in a Contextualized Coding ClassProceedings of the 55th ACM Technical Symposium on Computer Science Education V. 110.1145/3626252.3630966(1491-1497)Online publication date: 7-Mar-2024
https://dl.acm.org/doi/10.1145/3626252.3630966
Marcum-Dietrich NBruozas MBecker-Klein RHoffman EStaudt C(2024)Precipitating Change: Integrating Computational Thinking in Middle School Weather ForecastingJournal of Science Education and Technology10.1007/s10956-024-10095-y33:4(444-461)Online publication date: 4-Mar-2024
https://doi.org/10.1007/s10956-024-10095-y
Ng OSinclair NFerrara FLiang B(2024)Transforming Arithmetic Through Digital ResourcesHandbook of Digital Resources in Mathematics Education10.1007/978-3-031-45667-1_17(471-493)Online publication date: 22-Jun-2024
https://doi.org/10.1007/978-3-031-45667-1_17
Wach PTopcu TJung SSandman BKulkarni ASalado A(2024)A systematic literature review on the mathematical underpinning of model‐based systems engineeringSystems Engineering10.1002/sys.21781Online publication date: 27-Aug-2024
https://doi.org/10.1002/sys.21781
Febrinita FPuspitasari WZaman W(2023)Klasterisasi Hasil Belajar Matematika dengan Algoritma K-Means ClusteringGeneration Journal10.29407/gj.v7i2.203597:2(116-125)Online publication date: 19-Jul-2023
https://doi.org/10.29407/gj.v7i2.20359
Ye HLiang BNg OChai C(2023)Integration of computational thinking in K-12 mathematics education: a systematic review on CT-based mathematics instruction and student learningInternational Journal of STEM Education10.1186/s40594-023-00396-w10:1Online publication date: 18-Jan-2023
https://doi.org/10.1186/s40594-023-00396-w
Duran RBim SGimenes IRibeiro LCorreia R(2023)Potential Factors for Retention and Intent to Drop-out in Brazilian Computing ProgramsACM Transactions on Computing Education10.1145/360753723:3(1-33)Online publication date: 12-Sep-2023
https://dl.acm.org/doi/10.1145/3607537
Servin CHawthorne EPostner LTang CTucker C(2023)Mathematical Considerations in Two-Year Computing Degrees: The Evolution of Math in Curricular GuidelinesProceedings of the 24th Annual Conference on Information Technology Education10.1145/3585059.3611441(209-212)Online publication date: 11-Oct-2023
https://dl.acm.org/doi/10.1145/3585059.3611441
Show More Cited By

View Options

Login options

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

Full Access

Get this Article

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Digital Edition

View this article in digital edition.

Digital Edition

Magazine Site

View this article on the magazine site (external)

Magazine Site

References

Cited By

Index Terms

Recommendations

Teaching computer aided software engineering at the graduate level

Bringing Grades K-5 to the Mainstream of Computer Science Education

Computer Science Education in North-Rhine Westphalia, Germany—A Case Study

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Digital Edition

Magazine Site

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations