Striving for mathematical thinking

ITiCSE-WGR 2001 - Working Group Reports from ITiCSE on Innovation and Technology in Computer Science Education

Volumn , Issue , 2001, Pages 114-124

  Henderson, Peter B ^a   Baldwin, Doug ^b   Dasigi, Venu ^c   Dupras, Marcel ^d   Fritz, Sister Jane ^e   Ginat, David ^f   Goelman, Don ^g   Hamer, John ^h   Hitchner, Lew ⁱ   Lloyd, Will ^j   Marion, Bill ^k   Riedesel, Charles ^l   Walker, Henry ^m  

^a BUTLER UNIVERSITY   (United States)

^b STATE UNIVERSITY OF NEW YORK   (United States)

^c SOUTHERN POLYTECHNIC STATE UNIVERSITY   (United States)

^d UNIVERSITÉ LAVAL   (Canada)

^e Saint Josephs College   (United States)

^f TEL AVIV UNIVERSITY   (Israel)

^g VILLANOVA UNIVERSITY   (United States)

^h UNIVERSITY OF AUCKLAND   (New Zealand)

ⁱ CALIFORNIA POLYTECHNIC STATE UNIVERSITY   (United States)

^j UNIVERSITY OF WEST GEORGIA   (United States)

^k Valpariso University   (United States)

^l UNIVERSITY OF NEBRASKA LINCOLN   (United States)

^m GRINNELL COLLEGE   (United States)

more..

Author keywords

[No Author keywords available]

Indexed keywords

EDUCATION COMPUTING; ENGINEERING RESEARCH; PROBLEM SOLVING; SEED; SOFTWARE ENGINEERING;

COMPUTER SCIENCE AND SOFTWARE ENGINEERINGS; CONCEPTUAL UNDERSTANDING; MATHEMATICAL THINKING; WORKING GROUPS;

ENGINEERING EDUCATION;

EID: 85013587113     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/572133.572136     Document Type: Conference Paper

References (58)

1. Baldwin, D, and Henderson, P., math-thinking discussion group web site http://www.math-in-cs.org/
2. 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.
3. 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.
4. Bentley, J., Programming Pearls. Addison-Wesley, 1986. pp. 35-48.
5. Brooks, F.P., "No silver bullet: Essence and accidents of software engineering". IEEE Computer, 20: 10-19, April 1987.
6. Butcher, D., and Muth, W., "Predicting Performance in an Introductory Computer Science Course", Communications of the ACM, March 1985 (28:3), pp.263-268.
7. Clarke, E., et al., "Formal Methods: State of the Art and Future Directions", ACM Computing Surveys, December 1996 (28:4), pp. 626-643.
8. 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.
9. 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.
10. DIM ACS, http://dimacs.rutgers.edu/Education/
11. Devlin, K., "The Real Reason Why Software Engineers Need Math", Communications of the ACM, October 2001, (44: 10), pp. 21-22.
12. Devlin, K., "The Language of Mathematics : Making the invisible visible", W.H Freeman and Company, 2000, p.3.
13. De Palma, P., "Why Women Avoid Computer Science", Communications of the ACM, June 2001, (44: 6), pp. 27-29.
14. Epp, S., Discrete Mathematics with Applications, Second Edition, PWS Publishing Company, Boston, Massachusetts, 1995.
15. "Formal Methods Education Resources" http://www.cs.indiana.edu/formal-methods-education/
16. Gamma, E., Helm, R., Johnson, R., and Vlissides. J., "Design Patterns: Elements of Reusable Object-Oriented Software", Addison-Wesley, 1995.
17. Gersting, J., Mathematical Structures for Computer Science, third edition, W.H. Freeman, NY, 1996.
18. Ginat, D., "Colorful examples for elaborating exploration of regularities in high-school CSI", In Proceedings of the 5th Conference on Innovation and Technology in Computer Science Education - ITiCSE '2000, July 2000 (pp. 81-84).
19. Ginat, D., "Early algorithm efficiency with design patterns", Computer Science Education, June 2000, (11:1), pp. 1-21.
20. Glass, R. L., "A New Answer to 'How Important is Mathematics to the Software Practioner'?", IEEE Software, November/December 2000, pp. 135-136.
21. 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/facultv/B/barker/dissemination/CurriculumFoundations/
22. Gries, D., The Science of Programming, Springer-Verlag, New York, 1981.
23. Gries, D., and Schneider, F., A Logical Approach to Discrete Math, Springer-Verlag, New York, 1993.
24. Gunstra, Neal, "Universities aren't serving the IT workforce", Potomac Tech Journal, July 9, 2001 http://www.potomactechiournal.com
25. Hall, C. and O'Donnell, J., "Discrete Mathematics using a Computer", Springer Verlag, 2000.
26. 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.
27. Henderson, P., '"Foundations of Computer Science 1' Stony Brook Alumni Survey", http://www.sinc.sunvsb.edu/cse.113/survev/
28. Henderson, P., Unpublished, Informal Survey of Students and Alumni, SUNY Stony Brook, 1998.
29. 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/
30. 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.pdf
31. 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.
32. Kelemen, C, Tucker, A.B, ITiCSE audience survey, http://www.cs.geneseo.edu/~baldwin/math-thinking/ITiCSE-survev.html
33. Knuth, D., "The Art of Computer Programming," Volumes 1, 2, 3; Addison-Wesley.
34. 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.
35. Larson, P., Fitzgerald, J., and Brooks, T., "Applying Formal Specification in Industry", IEEE Software, May 1996 (13:3), pp. 48-56. http://www.sinc.sunvsb.edu/csell3/survev/
36. Lee, D. Trauth, E., and Farwell, D., "Critical Skills and Knowledge Requirements for IS Professionals: A Joint Academic/Industry Investigation", MIS Quarterly, September 1995.
37. Lethridge, T. "What Knowledge is Important to a Software Professional", IEEE Computer, May 2000 (33:5), pp.44-50.
38. Lethbridge, Timothy, Software Engineering Education Relevance survey, http://www.site.uottawa.ca/~tcl/edrel/
39. Liskov, B., and Gutag, J., "Program Development in Java: Abstraction, Specification & Object-Oriented Design", Addison-Wesley, 2001.
40. Long Island Consortium for Interconnected Learning, http//ww.licil.org
41. Mathematical Association of America, MAA, http://www.maa.org/
42. "Mathematics Equals Opportunity" http://www.ed.gov/pubs/math/
43. 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/
44. Mechanical Engineering Report to the CUPM Curriculum Foundations Workshop in Engineering, July, 2000, http://academic.bowdoin.edU/facultv/B/barker/dissemination/CurriculumFoundations/
45. 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/facultv/B/barker/dissemination/CurriculumFoundations/
46. Pedagogical Resources, http://www.cs.geneseo.edu/~baldwin/math-thinking/examples.html
47. Pfleeger, S. and Hatton, L., "Investigating the Influence of Formal Methods", IEEE Computer, Feb. 1997, pp. 33-43.
48. 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.
49. Ralston, A., "The First Course in Computer Science Needs a Mathematics Co requisite", Communications of the ACM, 27(10), pp 1002-1005, 1984.
50. 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.
51. Roberts, E., Cover, C, Chang, C, Engel, G., Me Gettrick, 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.
52. 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
53. Tucker, A. B., Kelemen, CF., 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.
54. 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)
55. 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.
56. 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.
57. Computing Curricula 2001, Steelman Draft (August 1, 2001) http://www.acm.org/sigcse/cc2001/steelman/
58. 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.