skip to main content
10.1145/2538862.2538989acmconferencesArticle/Chapter ViewAbstractPublication PagessigcseConference Proceedingsconference-collections
abstract

Special session: engaging mathematical reasoning exercises

Published: 05 March 2014 Publication History

Abstract

SIGCSE has for a long time nourished an audience excited about teaching mathematical reasoning principles across the curriculum through the Math Thinking Birds-of-a-Feather session and panels on mathematical reasoning. While these forums are useful for discussing reasoning topics, they do not provide a consistent venue for sharing math-reasoning activities to be used in the classroom. Therefore, SIGCSE attendees interested in math thinking have routinely wished for a place for discussing engaging math reasoning examples and assignments. Providing such a forum is the purpose of this session. The exercises and assignments will help faculty find ways to incorporate mathematical reasoning in CS1, CS2, data structures and algorithms, discrete math, and software engineering courses.

References

[1]
Hollingsworth, J.E., Krone, J., Hallstrom, J.O., Sitaraman, M., and Weide, B.W. 2013. Engaging mathematical reasoning exercises. In Proceeding of the 44th ACM Technical Symposium on Computer Science Education. ACM, New York, NY, USA, 459--460. DOI=10.1145/2445196.2445332 http://doi.acm.org.oberon.ius.edu/10.1145/2445196.2445332
[2]
Dean, B., Waters, C., Weide, B. W., Hollingsworth, J. E., Krone, J., and Kussmaul, C., "ACM SIGCSE 2013 Special Session: Engaging Mathematical Reasoning Exercises", Web, 6 Sept 2013, http://www.cs.clemson.edu/resolve/teaching/ed_ws/emre/index.html
[3]
Sitaraman, M., "A Bit of Computer Science is Good for You No Matter What you Want to Do," Web, January 2010, http://www.cs.clemson.edu/resolve under Tab Talks.
[4]
Krone, J., Baldwin, D., Carver, J. C., Hollingsworth, J. E., Kumar, A., and Sitaraman, M., Panel: Teaching Mathematical Reasoning across the Curriculum, Procs. 43rd ACM SIGCSE Conference, March 2012.
[5]
Baldwin, D., Marion, W., Sitaraman, M., and Heeren, C., Panel: Some Developments in Mathematical Thinking for Computer Science Education Since Computing Curricula 2001, Procs. 41st ACM SIGCSE Conference, March 2010.
[6]
Marion, W., Bloss, A., Powers, K., Baldwin, D., Panel: How Departments are Responding to the Mathematics Recommendations in CC2001, Procs. 34th ACM SIGCSE Conference, February 2003.
[7]
Baldwin, D., "Math-thinking-l -- Mathematical reasoning in CS curricula", Web, 6 September 2013, http://mail.geneseo.edu/mailman/listinfo/math-thinking-l/.
[8]
Parlante, N., "Nifty Assignments Info", Web, 6 September 2013, http://nifty.stanford.edu/info.html.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SIGCSE '14: Proceedings of the 45th ACM technical symposium on Computer science education
March 2014
800 pages
ISBN:9781450326056
DOI:10.1145/2538862
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.

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 05 March 2014

Check for updates

Author Tags

  1. correctness proofs
  2. discrete structures
  3. induction
  4. invariants
  5. programming by contract
  6. specification
  7. verification

Qualifiers

  • Abstract

Conference

SIGCSE '14
Sponsor:

Acceptance Rates

SIGCSE '14 Paper Acceptance Rate 108 of 274 submissions, 39%;
Overall Acceptance Rate 1,787 of 5,146 submissions, 35%

Upcoming Conference

SIGCSE TS 2025
The 56th ACM Technical Symposium on Computer Science Education
February 26 - March 1, 2025
Pittsburgh , PA , USA

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 94
    Total Downloads
  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 18 Feb 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media