tutorial

Making mathematical reasoning fun: tool-assisted, collaborative techniques (abstract only)

Authors:

Jason O. Hallstrom,

Joe Hollingsworth,

Joan Krone,

Murali SitaramanAuthors Info & Claims

SIGCSE '12: Proceedings of the 43rd ACM technical symposium on Computer Science Education

Page 683

https://doi.org/10.1145/2157136.2157350

Published: 29 February 2012 Publication History

Abstract

Is it possible to excite students about learning the mathematical principles that underlie high-quality software? Can we teach them to apply these principles using modern software tools? Can this be accomplished without displacing existing content? In each case, the answer is a resounding yes - but it takes the right set of pedagogical principles, teaching tools, and classroom exercises. This hands-on laboratory will introduce a set of principles, tools, and exercises that have proven to work. By adopting one content module at a time, educators will better prepare students to reason rigorously about the software they develop and maintain.

The workshop will introduce a series of independent content modules that can be introduced in any course where mathematical reasoning might be taught - from introductory programming and software engineering to data structures and algorithms. They are designed to supplement, rather than replace, existing course materials.

Fees for this workshop will be covered for a limited number of attendees through an NSF award; limited travel support is also available. A laptop is required to participate.

Index Terms

Making mathematical reasoning fun: tool-assisted, collaborative techniques (abstract only)
1. Social and professional topics
  1. Professional topics
    1. Computing education
      1. Computing education programs
        Computer science education
      2. Model curricula

Recommendations

A systematic approach to teaching abstraction and mathematical modeling
ITiCSE '12: Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education

The need for undergraduate CS students to create and understand mathematical abstractions is clear, yet these skills are rarely taught in a systematic manner, if they are taught at all. This paper presents a systematic approach to teaching abstraction ...
Making mathematical reasoning fun: tool-assisted, collaborative techniques
ACMSE '11: Proceedings of the 49th annual ACM Southeast Conference

Is it possible to excite students about learning the mathematical principles that underly high-quality software? Can we teach them to apply these principles using modern software tools? Can this be accomplished without displacing existing content? Yes! ...
Making mathematical reasoning fun: web-integrated, collaborative, and "hands-on" techniques
ACMSE '13: Proceedings of the 51st annual ACM Southeast Conference

Is it possible to excite students about learning the mathematical principles that underlie high-quality software? Can they use a development environment for "hands-on" experimentation with reasoning? Is this possible without displacing existing content? ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

SIGCSE '12: Proceedings of the 43rd ACM technical symposium on Computer Science Education

February 2012

734 pages

ISBN:9781450310987

DOI:10.1145/2157136

Conference Chairs:
Laurie Smith King
College of the Holy Cross
,
David R. Musicant,
Program Chairs:
Tracy Camp
Colorado School of Mines
,
Paul Tymann
Rochester Institute of Technology

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 29 February 2012

Check for updates

Author Tags

Qualifiers

Tutorial

Conference

SIGCSE '12

Sponsor:

SIGCSE

SIGCSE '12: The 43rd ACM Technical Symposium on Computer Science Education

February 29 - March 3, 2012

North Carolina, Raleigh, USA

Acceptance Rates

SIGCSE '12 Paper Acceptance Rate 100 of 289 submissions, 35%;

Overall Acceptance Rate 1,595 of 4,542 submissions, 35%

Upcoming Conference

SIGCSE TS 2025

Sponsor:
sigcse

The 56th ACM Technical Symposium on Computer Science Education

February 26 - March 1, 2025

Pittsburgh , PA , USA

Index Terms

Recommendations

A systematic approach to teaching abstraction and mathematical modeling

Making mathematical reasoning fun: tool-assisted, collaborative techniques

Making mathematical reasoning fun: web-integrated, collaborative, and "hands-on" techniques