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.

In The Public Eye

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. 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.


Math-reasoning related accomplishments of this group or its members include...

Publications & Reports

Papers, reports, and invited talks related to mathematical reasoning by members of this group include...


(If you're a member of the group and want to be listed here, send e-mail to baldwin@geneseo.edu 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.)

How to Join

Electronic discussions are carried out on mailing list "math-thinking-l@geneseo.edu". 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.)

Related Information

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.


On-Line Resources


Publishers/Conference Sponsors

Funding Sources


Position Statements, Articles, Et Cetera

Post-Secondary Teaching Resources

K-12 Teaching Resources



This page maintained by Doug Baldwin, baldwin@geneseo.edu, with help from Peter Henderson.

Last updated January 5, 2017.