A Working Group on
Integrating Mathematical Reasoning* into Computer Science Curricula
* "Mathematical Reasoning": Applying mathematical techniques,
concepts and processes, either explicitly or implicitly, in the solution of
problems -- in other words, mathematical modes of thought that help us to solve
problems in any domain. In its most general interpretation, every problem-solving
activity requires mathematical thinking. For example, basic logic, be it used
explicitly or implicitly is required for all problem-solving activities.
What's On This Page
In The Public Eye
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. The exact nature of projects is
determined by members' interests, including such things as working to get a
prominent place for mathematical reasoning in computer science and software
engineering curriculum recommendations; workshops, panels, birds-of-a-feather,
and similar presentations at relevant conferences; and collecting pedagogical
resources for incorporating mathematics into CS courses. Future projects could
include such things as performing studies and otherwise collecting evidence
on the importance of mathematical thinking in CS; contests to increase student
interest in, and faculty awareness of, mathematics as part of CS; etc.
Back to Top
Math-reasoning related accomplishments of this group or its members include...
Back to Top
- SIGCSE 2016
- A birds-of-a-feather session on “Mathematical Reasoning in Computing
Education: Connecting the Math We Teach with Writing Correct Programs”
organized by group members John Dougherty and Murali Sitaraman with help from Joe
Hollingsworth and Joan Krone
- Group member Murali Sitaraman spoke on a panel entitled “Engage in
Reasoning with Tools”
- SIGCSE 2013
- A special session on “Engaging Mathematical Reasoning Exercises” organized by group members Murali Sitaraman and Joe Hollingsworth, and also including Jason Hallstrom, Joan Krone, and Bruce Weide.
- A birds-of-a-feather session on “Broadening Mathematical Reasoning in Computing” organized by group member Doug Baldwin.
- SIGCSE 2012
- A panel entitled “Teaching Mathematical Reasoning Across the Curriculum” organized by group members Murali Sitaraman and Joan Krone.
- A workshop on “Making Mathematical Reasoning Fun: Tool-Assisted Collaborative Techniques” led by Jason Hallstrom, Joe Hollingsworth, Joan Krone, and Murali Sitaraman
- SIGCSE 2011
- A keynote talk entitled "TeachScheme!" by group member Matthias Felleisen, winner of the 2011 SIGCSE award for outstanding contribution to computer science education
- A birds-of-a-feather session entitled "Mathematical (and Other) Reasoning in Computer Science Education" organized by group members Doug Baldwin and Murali Sitaraman.
- A panel on "Some Developments in Mathematical Thinking for Computer Science Education since Computing Curricula 2001" featuring group members Bill Marion, Doug Baldwin, Murali Sitaraman, and Cinda Heeren
- A birds-of-a-feather session on "Mathematical Thinking, Computational Thinking, and Computation" presented by group members Bill Marion, Doug Baldwin, and Murali Sitaraman
- A birds-of-a-feather session on "Making Mathematical Reasoning Fun with Tools and Collaborative Learning Methods" presented by group member Murali Sitaraman with Joan Krone.
- Group members Rex Page, Peter Henderson, and Gary Litvin introduced this group to the Math 2.0 Interest Group in an electronic meeting on February 24, 2010.
- The Lillypadz Discrete Math Tutor, software to help students learn discrete math, released for beta testing by group member Lauren Lilly.
- A panel entitled "Discrete Mathematics/Structures: How Do We Deal with the Late Appreciation Problem" with group member David Gries at the Consortium for Computing Sciences in Colleges Northeastern conference, April 2009.
- SIGCSE 2009
- A paper entitled "Two Mathematical Gestalts for Computer Theory" by group member
Kirby McMaster and co-authors
Brian Rague and Steven Hadfield.
- A birds-of-a-feather session on "Mathematical Reasoning in Computer Science" led by group members Doug Baldwin and Murali Sitaraman
- A birds-of-a-feather session on "Mathematical Reasoning in Computer Science" at SIGCSE 2008, led by group members Doug Baldwin and Murali Sitaraman.
- ProofBuilder, a Java program that helps students learn to do proofs in several different ways. It handles material of a first course on discrete mathematics, including induction, sets, summations, O(), mod, and combinatorics. Written and maintained by group member Hugh McGuire.
- The 3-2-1 Approach to Introductory Computer Science at Haverford College, directed by group members Dave Wonnacott and John Dougherty.
- SIGCSE 2006: Members organized several sessions, including
- A workshop on "Hands-On Activities for Learning Discrete Mathematics," run by group members Susanna Epp, Peter Henderson, and Bill Marion.
- A special session presenting the "Final Oral Report of the SIGCSE Committee on the Implementation of a Discrete Mathematics Course," moderated by group members Bill Marion and Doug Baldwin.
- A paper entitled "Discrete Partnership -- A Case for a Full Year of Discrete Math," co-authored by group member Mark LeBlanc.
- A birds-of-a-feather session on "Mathematical Reasoning in Computer Science," led by group members Peter Henderson and Judith Gersting.
- Discrete Mathematics: Curricular Issues, Pedagogy and Nifty Examples, a workshop presented by group members Bill Marion, Susanna Epp, and Peter Henderson, at Messiah College (Grantham, PA), from June 12-16, 2006.
- SIGCSE 2005:
Members presented special sessions and workshops, including
- A special session presenting a "Status Report on the SIGCSE Committee
on the Implementation of a Discrete Mathematics Course," featuring
group members Bill Marion and Doug Baldwin.
- A workshop on "More
Nifty Examples in Discrete Mathematics," run by group members
Bill Marion, Peter Henderson and Susanna Epp.
- A birds-of-a-feather session on "A Concepts-Based Approach to
Teaching Programming," run by group member Peter Van Roy.
- A birds-of-a-feather session on "Mathematical Thinking in Computer
Science" offered by group members Peter Henderson and Judy Gersting.
- A special issue of the ACM Journal on Educational Resources in Computing
Support for Discrete Mathematics Teaching, edited by member Valerie
J. Harvey, and Susan H. Rodger.
- An MAA PREP workshop entitled "Nifty
Applications in Discrete Mathematics" was held June
7 to 11, 2004 at Valparaiso University. Organized by group member Bill Marion,
and also featuring presentations by members Doug Baldwin, Susanna Epp
- Algorithms and Data Structures:
The Science of Computing, a textbook by
group member Doug Baldwin, and Greg Scragg, that integrates mathematical
analysis of algorithms, algorithm design and programming, and empirical analysis
- Members Peter Henderson and Kim Bruce appeared on a panel "Mathematical
Logic in Computer Science Education" at the Association
for Symbolic Logic 2004 Meeting on May 22, 2004.
- SIGCSE 2004: Members
presented special sessions and workshops, including
- Communications of the ACM, September 2003 section on "Why Universities
Require Computer Science Students to Take Math." Members wrote many
of the articles, including...
- SIGCSE 2003: Members
presented workshops, panels, and special sessions related to mathematical
reasoning in computer science, including...
- A workshop by David Gries entitled "Calculational Logic in Discrete
- A special session chaired by Dan Garcia, and featuring group members
David Ginat and Peter Henderson, entitled "Everything
You Always Wanted to Know about Game Theory"
- A special session chaired by Susanna Epp, Peter Henderson, and Bill
Marion entitled "Math
Educators, Computer Science Educators: Working Together"
- A panel organized by Bill Marion and including Kris Powers, Adrienne
Bloss, and Doug Baldwin entitled "How Departments Are Responding
to the Mathematics Recommendations in CC2001"
- A birds-of-a-feather session on mathematical thinking in computer science,
organized by Doug Baldwin and Peter Henderson
- "Discrete Mathematics:
An Early Foundation for the Study of Computer Science", an MAA PREP
(Professional Enhancement Program) workshop run by Bill Marion, Susanna Epp,
Peter Henderson, and Henry Walker, June 2-6, 2003.
- Programming Languages:
Principles and Paradigms: A textbook by Allen Tucker and Bob Noonan that
takes a rigorous semantics-based approach to programming languages.
- Computing Curriculum Software
Engineering (CCSE): Several members of the group were involved in various
aspects of the CCSE project. Of particular note, Peter Henderson chaired the
"Foundations" knowledge area subcommittee.
- CCSC:NE-2002: Allen Tucker presented
a plenary talk entitled "Ensuring a Rigorous Curriculum: Practices and
Goals" at the Consortium for Computing in Small Colleges: Northeast conference.
- Computing Curriculum 2001
: Kim Bruce, Bill Marion and Henry Walker (Chair) served on the Supporting
Topics and Courses Focus Group. Kim Bruce was chair of the Programming Languages
Focus Group. Several ideas in CC 2001, Section 9.1.1 "Mathematical
Rigor" evolved from member activities.
- A panel on Women,
Math, and Computer Science, organized by Peter
Henderson, and featuring other group members Vicki Almstrum, Orit Hazzen,
and Kim Kihlstrom, presented at SIGCSE 2002. The panel's Web page includes
the speakers' presentations and links to a number of background references.
- SIGCSE 2002 : Members presented
a paper, and participated in 3 panels and several birds of a feather sessions
devoted to math thinking.
- SIGCSE 2001 : Members
presented 2 papers, the keynote address, participated on 3 panels and several
birds of a feather sessions devoted to math thinking.
- ITiCSE 2001 : The
working group "
Striving for Mathematical Thinking"
Publications & Reports
Papers, reports, and invited talks related to mathematical reasoning by members
of this group include...
- “The Roles of Mathematics in Computer Science,” by Doug Baldwin, Henry
Walker, and Peter Henderson, ACM Inroads, Dec. 2013. An extended version
of a position paper written for and at the invitation of the
CS2013 steering committee.
- Cong-Cong Xing. "Enhancing the Teaching and Learning of Functions through Functional Programming in ML." Journal of Computer Sciences in Colleges, Vol 23, No 4, 2008.
- Cong-Cong Xing. "Proof Diagrams: A Graphical Tool for Assisting Set Proofs." Journal of Computer Sciences in Colleges, Vol. 22, No. 5, 2007.
- Bill Marion and Doug Baldwin, "SIGCSE Committee Report on the Implementation of a Discrete Mathematics Course," Inroads - the SIGCSE Bulletin, June 2007, pp. 109 - 126. Also available at http://www.sigcse.org/DiscreteMathHome.shtml.
- Doug Baldwin, "Effectiveness of a Language Implementation Project in Building Appreciation for Formal Specification," Papers of the Twelfth Annual CCSC Northeastern Conference, Apr. 2007, pp. 173 - 183.
- Valerie J. Harvey et al., eds., Discrete Mathematics Applications for Information Systems Professionals, 2nd ed. (Pearson, 2006), a collection of applications examples and a curriculum guide for teaching discrete mathematics in information systems (IS) and IS Management programs; designed as a supplement to Richard Johnsonbaugh, Discrete Mathematics, 6th ed. (Prentice Hall, 2005).
- Cong-Cong Xing and Bill Buckles. "On the Size of the Search Space of Join Optimization." Journal of Computing Sciences in Colleges, Vol. 20, No. 6, 2005.
- "Life-long Learning: Making Discrete Math Relevant for Information Systems Professionals," by David F. Wood, Valerie J. Harvey, and Frederick G. Kohun, IACIS 2005.
from Teaching Discrete Mathematics in Information Systems Programs, A Report
for the Discussion Forum," by Valerie J. Harvey and E. Gregory
Holdan, CoLogNet/Formal Methods Europe Symposium on Teaching Formal Methods,
on Discrete Mathematics for Programs Conforming to ABET Information Systems
Accreditation," by Valerie J. Harvey, Peter Y. Wu, and John C.
Turchek, ISECON, November 2004.
for the Exploration of Requirements," by Michael Huth, SIGCSE InRoads, June 2004.
Role of Logic in Teaching Proof," by Susanna Epp, in American
Mathematical Monthly, Dec. 2003, which holds the copyright with all rights
Role of Modeling in Software Engineering Education," by Peter Henderson,
presented at the 2003 Frontiers in Education conference.
- "Materials Development in Support of
Mathematical Thinking", the report of an ITiCSE
2002 working group chaired by Peter Henderson, in SIGCSE Inroads,
- "A Small College Response to the Mathematics Recommendations of Curriculum
2001", by Blayne Carroll and Kris Powers, presented at the 2002 Consortium
for Computing Sciences in Colleges Southeastern Conference.
- "Where is Programming Methodology these Days", invited editorial
by David Gries in SIGCSE Inroads, Dec. 2002.
- "Teaching Discrete Structures with SML",
by Christelle Scharff and Andrew Wildenberg, presented at Functional and Declarative
Programming in Education (FDPE02), a one day workshop at PLI'02, October 2002.
- "Functional and Declarative Languages for
Learning Discrete Mathematics", by Peter Henderson, presented at
Functional and Declarative Programming in Education (FDPE02), a one day workshop
at PLI'02, October 2002.
- "Mathematical Reasoning in Software Engineering
Education", an article prepared by Peter Henderson in the September 2003 Communications of the ACM special section on math in computer
- "Why Math?", an article prepared by Kim
Bruce, Scot Drysdale, Charles Kelemen, and Allen Tucker in the September 2003 Communications of the ACM special section on math in computer
- "The Importance
of Mathematics to the Software Practitioner", by Doug Baldwin and
Peter Henderson, in the March/April 2002 issue of IEEE Software.
A response to Robert Glass's essay "A New Answer to 'How Important is
Mathematics to the Software Practitioner'?" (Copyright
2002 by IEEE)
- A paper entitled "Integrating Formal Models into the Programming Languages
Course", by Allen Tucker and Bob Noonan appeared in The 33rd SIGCSE Technical
Symposium on Computer Science Education, 2002.
- Pete Henderson gave a seminar entitled "The Role of
Mathematics the Undergraduate Computer Science Curriculum" at Ohio State
University on Jan. 17, 2002.
- A ITiCSE 2001 working
group report "Striving
for Mathematical Thinking" was published in SIGCSE Inroads
(Vol. 33 , No 4, pp. 114-124, Dec. 2001).
- A paper entitled "Our Curriculum has Become Math-Phobic!",
by K. Bruce, C. Kelemen, and A. Tucker was published in The 32nd SIGCSE Technical
Symposium on Computer Science Education, 2001.
- A paper entitled "Has Our Curriculum Become Math Phobic? (An American Perspective)",
by K. Bruce, C. Kelemen, P. Henderson, O. Astrachan and A. Tucker; The 5th
Annual ITiCSE Conference, 2000.
- The MAA CUPM report "Mathematical
Needs of Introductory Computer Science Curricula", 1999.
- A paper entitled "The Propositional Logic Test as a Diagnostic Tool
for Misconceptions about Logical Operations" by Vicki Almstrum, The
Journal of Computers in Mathematics and Science Teaching 18(3), 1999.
- A paper entitled "Investigating Student Difficulties with Mathematical
Logic" by Vicki Almstrum in N. Dean and M. Hinchey (eds.), Teaching
and Learning Formal Methods, Academic Press, 1996.
Back to Top
(If you're a member of the group and want to be listed here, send e-mail
to email@example.com giving
the information you'd like listed -- e.g., how you want your name to appear,
your affiliation, URL's to home pages, e-mail addresses, or anything else
you'd like included. Only adding people when requested to do so hopefully
increases people's privacy and control over distribution of personal information.)
- Vicki L. Almstrum
Department of Computer Sciences, University of Texas at Austin
- Hossein Arsham
Information and Quantitative Sciences Department, University of Baltimore
- Doug Baldwin (e-mail firstname.lastname@example.org),
Dept. of Computer Science, SUNY Geneseo
- Kim Bruce (e-mail email@example.com), Dept. of Computer Science, Pomona College
- Tom Cortina (e-mail: firstname.lastname@example.org),
Dept. of Computer Science, Carnegie Mellon University
- Venu Dasigi (e-mail email@example.com),
Department of Computer Science, Southern Polytechnic State University
- Maria Droujkova (email firstname.lastname@example.org), Natural Math
- Scot Drysdale (e-mail email@example.com),
Department of Computer Science, Dartmouth College
- Carol Anne Edmondson (e-mail firstname.lastname@example.org), School of Computing and Information Systems, University of Tasmania
- Abdol-Hossein Esfahanian, (e-mail email@example.com), Department of Computer Science and Engineering, Michigan State University
- Matthias Felleisen, Department of Computer Science, Northeastern University,
- Kathi Fisler (e-mail firstname.lastname@example.org),
Department of Computer Science, Worcester Polytechnic Institute
- S. Jane Fritz (e-mail email@example.com),
Dept. of Mathematics/Computer Science, St. Joseph's College, New York
- Judith Gersting (e-mail firstname.lastname@example.org),
University of Hawaii at Hilo
- Don Goelman (e-mail
Department of Computing Sciences, Villanova University
- David Gries, Associate Dean of Engineering, Cornell University
- Valerie J. Harvey (e-mail email@example.com),
Department of Computer and Information Systems, Robert Morris University
- David Hemmendinger (e-mail firstname.lastname@example.org),
Dept. of Computer Science, Union College
- Pete Henderson (e-mail email@example.com),
Dept. of Computer Science, Butler University
- Lew Hitchner (e-mail
Science Dept., Cal Poly State Univ. (CSU San Luis Obispo)
- Gregory Kapfhammer (e-mail
of Computer Science, Allegheny College
- Charles Kelemen (e-mail
Science Program, Swarthmore College
- Kim Kihlstrom (e-mail
firstname.lastname@example.org), Dept. of
Mathematics and Computer Science, Westmont College
- Nancy Kinnersley (e-mail email@example.com),
Dept. of Electrical Engineering and Computer Science, University of Kansas
- Yana Kortsarts (e-mail firstname.lastname@example.org),
Computer Science Department, Widener University, Chester, PA
- Hugh McGuire (e-mail: email@example.com), School of Computing & Information Systems, Grand Valley State University, MI
- John O'Donnell (e-mail firstname.lastname@example.org),
Computing Science Department, University of Glasgow
- S. Parthasarathy (e-mail email@example.com) Algologic Research and Solutions, Secunderabad, India
- Hemant Pendharkar (e-mail firstname.lastname@example.org)
Department of Computer Science Worcester State College
- Chuck Riedesel (e-mail email@example.com),
Computer Science & Engineering Department, University of Nebraska at Lincoln
- Bob Roos (e-mail firstname.lastname@example.org),
Department of Computer Science, Allegheny College
- Christelle Scharff (e-mail
email@example.com) Computer Science
Department, Pace University
- Murali Sitaraman (e-mail: firstname.lastname@example.org), School of Computing, Clemson University
- Allen Tucker (e-mail email@example.com),
Dept. of Computer Science, Bowdoin College
- Peter Van Roy
(e-mail: firstname.lastname@example.org), Department
of Computing Science and Engineering, Université Catholique de Louvain
at Louvain-la-Neuve, Belgium
- Cong-Cong Xing (email: email@example.com), Dept of Math and Computer Science, Nicholls State University
Back to Top
Electronic discussions are carried out on mailing list "firstname.lastname@example.org".
All you have to do to join the group is subscribe to this list -- to do this,
just point a Web browser at
http://mail.geneseo.edu/mailman/listinfo/math-thinking-l/ and fill out the
subscription form in the middle of the page.
(Group members can also maintain their subscription to the mailing list -- change
delivery options, unsubscribe, etc. -- at the same URL, using the subscriber
information "access panel" at the bottom of the page.)
Back to Top
Upcoming events, on-line resources, and other miscellaneous items likely to
be of interest to members of this group are listed below. Please send suggestions
for further items to Doug Baldwin.
the 2016 conference of the Consortium for Computing Sciences in Colleges Southeastern
Region, Nov. 4 - 5, 2016, University of North Carolina - Asheville, Asheville, NC,
- SIGCSE 2017, the 2017
SIGCSE Technical Symposium on Computer Science Education, Mar. 8-11, 2016, Seattle,
- CCSC:SW 2017,
the 2017 conference of the Consortium for Computing Sciences in Colleges Southwestern
Region, Mar. 24 - 25, 2017, University of San Diego, San Diego, CA, USA.
- CCSC:Central Plains,
the 2017 conference of the Consortium for Computing Sciences in Colleges Central Plains
Region, Mar. 31 - Apr. 1, 2017, University of Nebraska - Lincoln, Lincoln, NE, USA.
- CCSC:Mid-South 2017,
the 2017 conference of the Consortium for Computing Sciences in Colleges Mid-South
Region, Mar. 31 - Apr. 1, 2017, Lyon College, Batesville, AR, USA.
the 2017 conference of the Consortium for Computing Sciences in Colleges Northeastern
Region, Apr. 7 - 8, 2017, The College of Saint Rose, Albany, NY, USA.
the 2017 conference of the Consortium for Computing Sciences in Colleges South Central
Region, Apr. 8, 2017, Texas Christian University, Fort Worth, TX, USA.
- ITiCSE 2017, the 22nd annual
Conference on Innovation and Technology in Computer Science Education, Jul. 3 - 5, 2017,
- Cambridge Journals Online,
the online publishing arm of Cambridge University Press.
- Historia Mathematica, a
journal on the history of mathematics.
- TOCE, the ACM Transactions on Computing Education
- The Journal of Logic and Computation,
from Oxford University Press.
- The Journal of On-Line Mathematics and its
Applications, an on-line journal from the MAA.
- Logical Methods in
Computer Science, an open-access, referreed, free, on-line journal
covering logical methods in all areas of computer science.
- National Educational Computing Association,
sponsors of the National Educational Computing Conference.
- Teaching Mathematics and its
Applications, a journal from Oxford University Press.
- NSF, the U.S. National Science Foundation.
- FIPSE, the
U. S. Department of Education Fund for the Improvement of Postsecondary Education.
- Bibliographies for
computer science, including sub-collections in areas such as Theory
of Computation and Computational
Curricula references and links, maintained by Martin Dickey, University
- Directory of DIMACS
Educational Programs (undergraduate and K-12).
- The Ensemble computing education portal.
Methods Education Resources, maintained by Kathi Fisler, Worcester
- Alexander Sakharov's Foundations
of Mathematics, a collection of links to articles dealing with the
foundations of mathematics, organized to form a coherent "book."
- Interactive Mathematics Miscellany and Puzzles, by Alexander Bogomolny
History of Mathematics Archive at the University of St. Andrews.
- The Math Archives at
the University of Tennessee at Knoxville, a collection of general mathematics
- The Math Forum, reference
and educational resources for all levels -- K-12, college, and beyond
- The National Science Digital
Computer Science on the Web, maintained by Suresh Venkat, Stanford University.
- The World of Mathematics reference
pages at Wolfram Research -- a quick reference source for a great deal of
Position Statements, Articles, Et Cetera
- "Mathematics in Computer Science Curricula",
by Jeannette M. Wing -- slides presented at the Sixth International Conference
on Mathematics of Program Construction, July 2002, Dagstuhl, Germany.
- "What Math is Relevant for a CS or SE Student? An Employer's Perspective" by Dennis J. Frailey, Principal Fellow, Raytheon Company, originally published in SIGSOFT Software Engineering Notes, May 2006.
- "What Should Computer Students Learn from Mathematics" by Y. C. Tay, National University of Singapore. (Also available in SIGACT News, June 2005.)
Post-Secondary Teaching Resources
- Academicinfo "Computer Science Degrees and Resources Online," a collection of resources for people considering studying computer science, particularly through self-study or online courses
- A Directory of Data Science Masters
Programs and information about data science careers
- The ACM/IEEE-CS Computer Science Curricula 2013 task force
- The BESEME Project -- "Better
Software Engineering through Mathematics Education"
- Susanna Epp's Collection
of Discrete Math Applets
- The Computational
Discrete Mathematics course at Carnegie-Mellon University
- Supplemental materials for Peter Van Roy and Seif Haridi's text
Techniques, and Models of Computer Programming"
- David Gries's Introduction to Teaching Logic as a Tool
- LINK -- Software for manipulating and visualizing discrete math
- The Mathematical Experiments in Computer Science course at Stonehill College
- Two Pepperdine University courses involving mathematics in/for computer science
- A Java package for Polynomials over Rings.
- ProofBuilder, a Java program that helps students learn to do proofs for a first course on discrete mathematics, including induction, sets, summations, O(), mod, and combinatorics.
- The Reusable Software Research Group at Ohio State University and Clemson University, studying formally-specified component-based software; includes software tools to help students reason mathematically about software specifications and tests.
- Notes and sources for "Teaching with Original Historical Sources in Mathematics," with a sub-project on "Learning Discrete Mathematics and Computer Science via Primary Historical Sources."
K-12 Teaching Resources
- AnalyzeMath.com, a collection of tutorials and problem sets on algebra, geometry, elementary calculus, and similar subjects.
- Bootstrap, a middle school computing curriculum that uses foundations in algebra to teach programming with images and animation.
- CyberChase, a public television series, with associated on-line and print activities, devoted to showing 8-to-12-year-old children the importance and fun of mathematics.
- HeyMath, electronic learning resources to support teachers and students in grades 5 through 12
- The Making Math Engaging: Discrete Mathematics for K-8 Teachers Web site
- The Math 2.0 Interest Group
- Math.com, math learning resources for students, teachers, and parents
- MATHmaniaCS, devoted to "passing
on the excitement of mathematics and computer science to kids of all ages."
- Math Expression, a free on-line tutor for math topics through introductory algebra.
- Math for America, an organization of investment bankers, educators, and mathematicians dedicated to improving mathematics education in US public schools.
- Mathematics for the Digital Age and Programming in Python, a book that teaches “precision thinking” (to quote its preface) through the junction of math and programming.
- A large Collection of Free Math Resources, ranging from kindergarten through calculus.
- Computer Science Unplugged, introducing computer
science topics to kids without the need for computers.
- Magic of Math, "a forum to
communicate and share the delight of mathematics with children"
Back to Top
This page maintained by Doug Baldwin, email@example.com,
with help from Peter Henderson.
Last updated January 5, 2017.