Peter B. Henderson
Doug Baldwin
John Hamer
Charles Riedesel
Henry Walker
Skip Abstract Section
Abstract
Computer science and software engineering are young, maturing disciplines. As with other mathematically based disciplines, such as the natural sciences, economics, and engineering, it takes time for the mathematical roots to grow and flourish. For computer science and software engineering, others have planted these seeds over many years, and it is our duty to nurture them. This working group is dedicated to promoting mathematics as an important tool for problem-solving and conceptual understanding in computing.
- Baldwin, D, and Henderson, P., math-thinking discussion group web site http://www.math-in-cs.org/Google Scholar
- Baldwin, D., Scragg, G. and Koomen, J., "A Three-Fold Introduction to Computer Science", Proceedings of the 25th SIGCSE Technical Symposium on Computer Science Education, March. 1994. pp. 290-294. Google ScholarDigital Library
- Bailey, J. and Stefaniak, G., "Industry Perceptions of the Knowledge, Skills, and Abilities Needed by Computer Programmers", Proceedings of the 2001 ACM SIGCPR Conference, April 2001, pp. 93-99. Google ScholarDigital Library
- Bentley, J., Programming Pearls. Addison-Wesley, 1986. pp. 35-48. Google Scholar
- Brooks, F. P., "No silver bullet: Essence and accidents of software engineering". IEEE Computer, 20: 10-19, April 1987. Google ScholarDigital Library
- Butcher, D., and Muth, W., "Predicting Performance in an Introductory Computer Science Course", Communications of the ACM, March 1985 (28:3), pp. 263-268. Google ScholarDigital Library
- Clarke, E., et al., "Formal Methods: State of the Art and Future Directions", ACM Computing Surveys, December 1996 (28:4), pp. 626-643. Google ScholarDigital Library
- Cox, B. D., "The rediscovery of the active learner in adaptive contexts: a developmental-historical analysis of transfer of training." Educational Psychologist, vol. 32, pp. 41 - 55.Google ScholarCross Ref
- Ciapessoni, E. et al., "From Formal Models to Formally Based Methods: An Industrial Experience", ACM Transactions on Software Engineering and Methodology, January 1999 (8:1), pp. 79-113. Google ScholarDigital Library
- DIMACS, http://dimacs.rutgers.edu/Education/Google Scholar
- Devlin, K., "The Real Reason Why Software Engineers Need Math", Communications of the ACM, October 2001, (44: 10), pp. 21-22. Google ScholarDigital Library
- Devlin, K., "The Language of Mathematics : Making the invisible visible", W. H Freeman and Company, 2000, p.3.Google Scholar
- De Palma, P., "Why Women Avoid Computer Science", Communications of the ACM, June 2001, (44: 6), pp. 27-29. Google ScholarDigital Library
- Epp, S., Discrete Mathematics with Applications, Second Edition, PWS Publishing Company, Boston, Massachusetts, 1995. Google ScholarDigital Library
- "Formal Methods Education Resources" http://www.cs.indiana.edu/formal-methods-education/Google Scholar
- Gamma, E., Helm, R., Johnson, R., and Vlissides. J., "Design Patterns: Elements of Reusable Object-Oriented Software", Addison-Wesley, 1995. Google ScholarDigital Library
- Gersting, J., Mathematical Structures for Computer Science, third edition, W. H. Freeman, NY, 1996. Google ScholarDigital Library
- Ginat, D., "Colorful examples for elaborating exploration of regularities in high-school CS1", In Proceedings of the 5th Conference on Innovation and Technology in Computer Science Education - ITiCSE'2000, July 2000 (pp. 81-84). Google ScholarDigital Library
- Ginat, D., "Early algorithm efficiency with design patterns", Computer Science Education, June 2000, (11:1), pp. 1-21.Google Scholar
- Glass, R. L., "A New Answer to 'How Important is Mathematics to the Software Practioner'?", IEEE Software, November/December 2000, pp. 135-136. Google ScholarDigital Library
- Graham, M., Carpenter, J., Cutlip, M., Pintar, A., and Puszynski, J., Chemical Engineering Report to the CUPM Curriculum Foundations Workshop in Engineering, July, 2000, http://academic.bowdoin.edu/faculty/B/barker/dissemination/Curriculum Foundations/Google Scholar
- Gries, D., The Science of Programming, Springer-Verlag, New York, 1981. Google ScholarDigital Library
- Gries, D., and Schneider, F., A Logical Approach to Discrete Math, Springer-Verlag, New York, 1993. Google ScholarDigital Library
- Gunstra, Neal, "Universities aren't serving the IT workforce", Potomac Tech Journal, July 9, 2001 http://www.potomactechjournal.comGoogle Scholar
- Hall, C. and O'Donnell, J., "Discrete Mathematics using a Computer", Springer Verlag, 2000. Google ScholarDigital Library
- Hatano, G., "A conception of knowledge acquisition and its implications for mathematics education," in Theories of Mathematical Learning, Steffe, L. P. and Nesher, P., eds., Lawrence Erlbaum Associates, Mahwah, NJ. 1996.Google Scholar
- Henderson, P., "'Foundations of Computer Science 1' Stony Brook Alumni Survey", http://www.sinc.sunysb.edu/cse113/survey/Google Scholar
- Henderson, P., Unpublished, Informal Survey of Students and Alumni, SUNY Stony Brook, 1998.Google Scholar
- Henry, R., Hoit, M., Katz, L., Keshawarz, S., Hart, F., Ohland, M., Sill, B., and Thompson, D., Chemical Engineering Report to the CUPM Curriculum Foundations Workshop in Engineering, July, 2000, http://academic.bowdoin.edu/faculty/B/barker/dissemination/Curriculum_Foundations/Google Scholar
- Kelemen, C., Tucker, A. B, Henderson, P. B, Bruce, K., Astrachan, O., Baldwin, D., Skrien, D., Van Loan, C., Computer Science Report to the CUPM Curriculum Foundations Workshop in Physics and Computer Science, http://www.cs.swarthmore.edu/~cfk/cupm2.pdfGoogle Scholar
- Kelemen, C., Tucker, A., Henderson P., Bruce K., and Astrachan, O., "Has Our Curriculum Become Math Phobic? (An American Perspective)", Proceedings of ITiCSE2000, 2000, pp. 132-135. Google ScholarDigital Library
- Kelemen, C., Tucker, A. B, ITiCSE audience survey, http://www.cs.geneseo.edu/~baldwin/math-thinking/ITiCSE-survey.htmlGoogle Scholar
- Knuth, D., "The Art of Computer Programming," Volumes 1, 2, 3; Addison-Wesley. Google ScholarDigital Library
- Konvalina, J., Wileman, S., and Stephens, L. J., "Math Proficiency: A Key to Success for Computer Science Students", Communications of the ACM, May 1983 (26:5), pp. 377-382. Google ScholarDigital Library
- Larson, P., Fitzgerald, J., and Brooks, T., "Applying Formal Specification in Industry", IEEE Software, May 1996 (13:3), pp. 48-56. http://www.sinc.sunysb.edu/cse113/survey/ Google ScholarDigital Library
- Lee, D. Trauth, E., and Farwell, D., "Critical Skills and Knowledge Requirements for IS Professionals: A Joint Academic/Industry Investigation", MIS Quarterly, September 1995. Google ScholarDigital Library
- Lethridge, T. "What Knowledge is Important to a Software Professional", IEEE Computer, May 2000 (33:5), pp.44-50. Google ScholarDigital Library
- Lethbridge, Timothy, Software Engineering Education Relevance survey, http://www.site.uottawa.ca/~tcl/edrel/Google Scholar
- Liskov, B., and Gutag, J., "Program Development in Java: Abstraction, Specification & Object-Oriented Design", Addison-Wesley, 2001. Google ScholarDigital Library
- Long Island Consortium for Interconnected Learning, http://www.licil.orgGoogle Scholar
- Mathematical Association of America, MAA, http://www.maa.org/Google Scholar
- "Mathematics Equals Opportunity" http://www.ed.gov/pubs/math/Google Scholar
- McGibbon, T., "A Business Case for Software Process Improvement Revised: Measuring Return on Investment from Software Engineering and Management", http://www.dacs.dtic.mil/techs/roispi2/Google Scholar
- Mechanical Engineering Report to the CUPM Curriculum Foundations Workshop in Engineering, July, 2000, http://academic.bowdoin.edu/faculty/B/barker/dissemination/Curriculum Foundations/Google Scholar
- Oni, B., Butz, B., Froyd, J., and Talley, R., Electrical Engineering Report to the CUPM Curriculum Foundations Workshop in Engineering, July, 2000, http://academic.bowdoin.edu/faculty/B/barker/dissemination/Curriculum Foundations/Google Scholar
- Pedagogical Resources, http://www.cs.geneseo.edu/~baldwin/math-thinking/examples.htmlGoogle Scholar
- Pfleeger, S. and Hatton, L., "Investigating the Influence of Formal Methods", IEEE Computer, Feb. 1997, pp. 33-43. Google ScholarDigital Library
- Pressley, M., Woloshyn, V., Lysynchuk, L. M., Martin, V., Wood, E., and Willoughby, T., "A primer of research on cognitive strategy instruction: the important issues and how to address them". Educational Psychology Review, vol. 2, pp. 1 - 58.Google ScholarCross Ref
- Ralston, A., "The First Course in Computer Science Needs a Mathematics Co requisite", Communications of the ACM, 27(10), pp 1002-1005, 1984. Google ScholarDigital Library
- Roberts, E., LeBlanc, R., Shackelford, R., Denning, P., Srimani, P., and Cross, J., Cross, J., Curriculum 2001: Interim Report from the ACM/IEE-CS Task Force. Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, New Orleans, Louisiana, March 1999, pp. 343-344. Google ScholarDigital Library
- Roberts, E., Cover, C., Chang, C., Engel, G., McGettrick, A., and Wolz, U., "Computing Curricula 2001: How Will It Work For You?", Proceedings of the 32nd SIGCSE Technical Symposium on Computer Science Education, Charlotte, North Carolina, February 21-25, 2001, pp. 433-434. Google ScholarDigital Library
- Sobel, A., "Empirical Results of a Software Engineering Curriculum Incorporating Formal Methods," 31st SIGCSE Technical Symposium on Computer Science Education (SIGCSE Bulletin 32:1), Mar. 2000, pp. 157-161 Google ScholarDigital Library
- Tucker, A. B., Kelemen, C. F., and Bruce, K. B., "Our Curriculum Has Become Math-Phobic!", Proceedings of the 32nd SIGCSE Technical Symposium on Computer Science Education, Charlotte, North Carolina, Febuary 21-25, 2001, pp. 243-247. Google ScholarDigital Library
- Tucker, Allen B., "From Rigor to Rigor Mortis: Avoiding the Slippery Slope", Keynote address at SIGCSE Technical Symposium on Computer Science Education, Charlotte, North Carolina, Feb. 21-25, 2001, (http://www.bowdoin.edu/~allen)Google Scholar
- Wilkinson, J., Bob Matthew, R. and Earnshaw, H., "Engineers Need Mathematics But Can We Make It Interesting?", In Proceedings of the International Conference on Engineering Education, August 2001, Session 7D3, pp. 15-20.Google Scholar
- Wilson, B. and Shrock, S., "Contributing to Success in an Introductory Computer Science Course: A Study of Twelve Factors", Proceedings of the 32nd SIGCSE Technical Symposium on Computer Science Education, Febuary 2001, pp. 184-188. Google ScholarDigital Library
- Computing Curricula 2001, Steelman Draft (August 1, 2001) http://www.acm.org/sigcse/cc2001/steelman/Google Scholar
- Alstrum, V. L., Dean, N. C., Goelman, D., Hilburn, T. B., Smith, J., "Support for Teaching Formal Methods", SIGCSE Bulletin, (33:2), June 2001, pp. 71-88. Google ScholarDigital Library
Index Terms
- Striving for mathematical thinking
Index terms have been assigned to the content through auto-classification.
Recommendations
Striving for mathematical thinking
ITiCSE-WGR '01: Working group reports from ITiCSE on Innovation and technology in computer science educationComputer science and software engineering are young, maturing disciplines. As with other mathematically based disciplines, such as the natural sciences, economics, and engineering, it takes time for the mathematical roots to grow and flourish. For ...
Comments