Skip to main content
Pages and Files
This site has moved!
Sign up and never miss a Math Future event
Math in computer science
Integrating mathematical reasoning and computer science
Recording and event documents
Full recording (audio, video, chat).
Applied Logic for Hardware and Software
- a presentation from Rex Page
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(
). 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)
Ubiquitous Computational Thinkinghttp:
Computational Thinking for Everyone (Workshop 1 and 2)
Thomas & Friendshttp:blue.butler.edu/~phenders/Thomas.jpg
Computer Science Unplugged
Computer Science Teachers Association (CSTA)
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
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" (
), to discuss topics related to mathematical reasoning in CS and its teaching. An
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
, the 16th annual Consortium for Computing Sciences in Colleges Midwestern conference, Oct. 9- 10, 2009, St. Xavier University, Chicago, IL, USA.
, the 11th annual Consortium for Computing Sciences in Colleges Northwestern conference, Oct. 9 - 10, 2009, Pacific Lutheran University, Tacoma, Washington, USA.
, the 2009 ACM/SIGPLAN Object Oriented Programming Languages Systems and Applications conference, Oct. 25 - 29, 2009, Orlando, Florida, USA.
, the 25th annual Consortium for Computing Sciences in Colleges Eastern Conference, Oct. 30 - 31, 2009, Villanova University, Villanova, Pennsylvania, USA.
, the 41st ACM Technical Symposium on Computer Science Education, Mar. 10 - 13, 2010, Milwaukee, WI, USA.
, the 16th Annual Consortium for Computing Sciences in Colleges Central Plains Conference, April 9 - 10, 2010, Park University, Parkville, Missouri, USA.
, the 48th ACM Southeast Conference, April 15 - 17, 2010, Oxford, Mississippi, USA.
, the 32nd International Conference on Software Engineering, May 2 - 10, 2010, Cape Town, South Africa.
, the 2010 ACM/SIGPLAN Conference on Programming Language Design and Implementation, June 5 - 10, 2010, Toronto, Canada.
help on how to format text
Turn off "Getting Started"