Title | ||
---|---|---|
Making mathematical reasoning fun: web-integrated, collaborative, and "hands-on" techniques |
Abstract | ||
---|---|---|
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? The answer is a resounding yes ---from the experiences of professors at several institutions--- but it takes the right set of pedagogical principles, reasoning tools, and "hands-on" exercises. This workshop will help educators transfer the excitement of learning how to apply mathematical reasoning in building high quality software, by adopting one reasoning concept at a time. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1145/2498328.2500088 | ACM Southeast Regional Conference 2005 |
Keywords | Field | DocType |
reasoning tool,high-quality software,pedagogical principle,mathematical reasoning,high quality software,mathematical reasoning fun,mathematical principle,reasoning concept,development environment,formal methods,collaborative learning | Collaborative learning,Computer science,Knowledge management,Theoretical computer science,Software,Mathematics education,Formal methods,Reasoning system,Case-based reasoning,Verbal reasoning,Mathematical reasoning,Qualitative reasoning | Conference |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jason O. Hallstrom | 1 | 262 | 40.55 |
Murali Sitaraman | 2 | 270 | 40.99 |
Joe Hollingsworth | 3 | 0 | 1.69 |
Joan Krone | 4 | 77 | 12.64 |