Abstract
Please take a few minutes to read Tony Ralston's excellent editorial "Do We Need ANY Mathematics in Computer Science Curricula?" in this issue of inroads. His editorial, in conjunction with another excellent document "Computing Curricula 2004 Overview Report" [1], are very timely. Tony talks about the historical perspective of mathematics in CS/SE education and direction in which we might head. The CC2004 Overview Report presents the current state of curricula for computing disciplines. Both complement and reinforce each other in several ways.
- Symposium program and announcements at http://www.intec.rug.ac.be/groupsites/formal/Sympos2004/Sympos2004.htmGoogle Scholar
- C. Neville Dean and Raymond T. Boute, Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18--19, 2004, Proceedings, Lecture Notes in Computer Science, vol. 3294 (Springer, 2004); DBLP proceedings entry at http://www.informatik.unitrier.de/~ley/db/conf/tfm/tfm2004.html with (subscription) electronic edition links. Google ScholarDigital Library
- Minutes of the subsequent FME meeting November 19 at http://www.fmeurope.org/manasite/mas/fme/meetingsitem/6 497--97.pdfGoogle Scholar
- The Joint Task Force on Computing Curricula, IEEE Computer Society and ACM, Software Engineering 2004, Curriculum Guidelines for Undergraduate Degree Programs in Software Engineering, August 23, 2004, (SEEK 2004) at http://sites.computer.org/ccse/SE2004Volume.pdfGoogle Scholar
- Jon Barwise and John Etchmendy, Tarski's World (Center for the Study of Language and Information, 1993). See Tarski's World (Jon Barwise, John Etchemendy and Dave Barker-Plummer in collaboration with Albert Liu, Center for the Study of Language and Information (CSLI), http://www-csli.stanford.edu/, Stanford University)Google Scholar
- SPARKAda, Praxis Critical Systems Ltd. at http://www.praxis-cs.co.uk/sparkada/Google Scholar
- Valerie J. Harvey and E. Gregory Holdan, "Insights from Teaching Discrete Mathematics in Information Systems Programs," Report for the Discussion Forum, CoLogNet/Formal Methods Europe Symposium on Teaching Formal Methods (TFM'04), November 19, 2004, Ghent, Belgium, at http://www.rmu.edu/OnTheMove/wpresearch.get_results?icalledby=wpresearch&ipage=60184&it=&iattr=&idisplay=D&ires_research_no=23132Google Scholar
- Franz Lichtenberger, "Mathematics Education for Software Engineers: It should be radically different!" at http://www.math.uoc.gr/~ictm2/Proceedings/pap305.pdfGoogle Scholar
Index Terms
- Mathematics in the curricula
Recommendations
Mathematics in Computer Science Curricula
MPC '02: Proceedings of the 6th International Conference on Mathematics of Program ConstructionMathematics provides the theoretical foundation to computer science. So, it is not surprising that mathematics finds its way into computer science curricula, at both the undergraduate and graduate levels. They come in many guises: - Mathematics courses, ...
Comments