Integrating mathematical reasoning and computer science


Recording and event documents


Full recording (audio, video, chat).

Rex Page


Applied Logic for Hardware and Software - a presentation from Rex Page

Peter Henderson

Peter Henderson, Electrical Engineering (BS & MS Clarkson University, PhD Princeton University). Academic Career: Computer Science & Software Eng.Interests: Math in Computing Education, Software Engineering Education, Editor two Columns: “Math CountS” ACM SIGCSE, “SEEd” (Software Engineering Education) ACM SIGSOFT

  • Math in Computer Science(www.math-in-cs.org). Formed in 1999 to promote the important role mathematics plays (should play) in computer science education, primarily at the college level. Goals:
    • Integrate mathematics throughout the computing curricula (primarily computer science and software engineering).
    • Ensure math foundations, mainly discrete math and logic, are taught early.Ideally, freshman year – Discrete Math I & II.
    • Eventually, Advanced Placement Discrete Math
    • Personal view - eliminate AP Computer Science
  • Computational Thinking(Jeanette Wing, CMU & NSF)
  • Computer Science Unplugged http://csunplugged.org/
  • Computer Science Teachers Association (CSTA) http://www.csta.acm.org/

Gary Litvin


Mathematics for the Digital Age and Programming in Python


About the event


Wednesday, February 24th 2010 we will meet in the LearnCentral public Elluminate room at 6:30pm Pacific / 9:30pm Eastern time: https://sas.ell uminate.com/m.j nlp?sid=2008350 &password=M.438 D554F4A450D77B9 01E14104C303


This event is devoted to Math in Computer Science community. As a part of the introduction, Maria Droujkova will interview Peter Henderson, a co-founder of the community, about their history, goals and projects. We will then take a look at an active K-12 group within the community, The Teach Group, with Rex Page answering questions about it. We may touch on some of the currently "hot" controversies within the community, such as roles of procedural and functional programming in helping students understand mathematics.

More information from the community's site http://www.math-in-cs.org/


What we are

Mathematical reasoning is central to computer science. It should therefore be an integral part of the entire CS curriculum, with special emphasis in the early courses. This would be a deviation from current practice, requiring systemic change in CS education. We are a group of computer scientists, mathematicians, and others interested in fostering such change.
The group "meets" (via e-mail), to discuss topics related to mathematical reasoning in CS and its teaching. An archive of these discussions is available on-line. Possible topics include, but are not limited to, which mathematical concepts are relevant, when and how they can/should be introduced and reinforced in the curriculum, how they relate to practice, pedagogical approaches to teaching math foundations, supporting laboratories, etc. We are undertaking concrete projects designed to raise awareness of mathematical reasoning in CS and of ways of teaching it.

Events where community members meet

  • CCSC:MW, the 16th annual Consortium for Computing Sciences in Colleges Midwestern conference, Oct. 9- 10, 2009, St. Xavier University, Chicago, IL, USA.
  • CCSC:NW, the 11th annual Consortium for Computing Sciences in Colleges Northwestern conference, Oct. 9 - 10, 2009, Pacific Lutheran University, Tacoma, Washington, USA.
  • OOPSLA 2009, the 2009 ACM/SIGPLAN Object Oriented Programming Languages Systems and Applications conference, Oct. 25 - 29, 2009, Orlando, Florida, USA.
  • CCSC:E, the 25th annual Consortium for Computing Sciences in Colleges Eastern Conference, Oct. 30 - 31, 2009, Villanova University, Villanova, Pennsylvania, USA.
  • SIGCSE 2010, the 41st ACM Technical Symposium on Computer Science Education, Mar. 10 - 13, 2010, Milwaukee, WI, USA.
  • CCSC:CP, the 16th Annual Consortium for Computing Sciences in Colleges Central Plains Conference, April 9 - 10, 2010, Park University, Parkville, Missouri, USA.
  • ACMSE, the 48th ACM Southeast Conference, April 15 - 17, 2010, Oxford, Mississippi, USA.
  • ICSE 2010, the 32nd International Conference on Software Engineering, May 2 - 10, 2010, Cape Town, South Africa.
  • PLDI 2010, the 2010 ACM/SIGPLAN Conference on Programming Language Design and Implementation, June 5 - 10, 2010, Toronto, Canada.