Making Mathematical Reasoning Fun Workshop

Jason Hallstrom, Joe Hollingsworth, Joan Krone, and Murali Sitaraman

Part I: Concepts and Pedagogy

Reasoning Concept Inventory
Learning Outcomes
Hands-On Exercises
Web-Integrated Reasoning Exercises

Part II: Reasoning Basics

SE-Intro-Spec-1
SE-Intro-Reasoning-1
SE-More-Intro-Reasoning
SE-Math-Modeling

Part III: Reasoning with Objects

SE-Java-Int-Stack-Specs
SE-RESOLVE-Stack-Spec
SE-Reasoning-with-Stacks
SE-Implementations-internal-Contracts
 
Additional information may be found at the RESOLVE website under the heading Education.

Page last updated March 8, 2011