Title | ||
---|---|---|
Making mathematical reasoning fun: tool-assisted, collaborative techniques (abstract only) |
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. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1145/2157136.2157350 | SIGCSE |
Keywords | Field | DocType |
limited travel support,independent content module,content module,existing course material,high-quality software,modern software tool,mathematical reasoning,mathematical reasoning fun,collaborative technique,mathematical principle,software engineering,limited number,formal method,formal methods,data structure,contract programming,analytical reasoning | Data structure,Software engineering,Laptop,Computer science,Design by contract,Analytic reasoning,Software,Formal methods,Multimedia,Software development,Mathematical reasoning | Conference |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jason O. Hallstrom | 1 | 262 | 40.55 |
Joe Hollingsworth | 2 | 0 | 1.69 |
Joan Krone | 3 | 77 | 12.64 |
Murali Sitaraman | 4 | 270 | 40.99 |