Paper Info
Title
Special session: engaging mathematical reasoning exercises
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.
Year
DOI
Venue
2014
10.1145/2538862.2538989
SIGCSE
Keywords
Field
DocType
special session,mathematical reasoning principle,sigcse attendees,mathematical reasoning,math thinking birds-of-a-feather session,data structure,engaging math reasoning example,reasoning topic,discrete math,consistent venue,math thinking,specification,programming by contract,discrete structures,invariants,verification
Correctness proofs,Computer science,Design by contract,Curriculum,Multimedia,Mathematical reasoning
Conference
Citations 
PageRank 
References 
0
0.34
5
Authors
2
Name
Order
Citations
PageRank
Joseph E. Hollingsworth19712.91
Murali Sitaraman227040.99