Mathematical Reasoning Workshop 2011
(116 McAdams Hall)
Session I:
8:30
Murali Sitaraman Overview and Goals
9:00
Jason Hallstrom: Intro to Reasoning with hands-on exercises
10:00
Break
Session II:
10:15
Jason Hallstrom: Math modeling and specifications, with hands-on exercises
11:00
Murali Sitaraman: Introduction to reasoning with RESOLVE
11:30
Lunch at Chili’s Too on campus
Session III:
1:00
Murali Sitaraman: An Assortment of Reasoning Exercises using RESOLVE web interface
2:00
Everyone: “Hands on” reasoning project and experimentation
3:00
Break
Session IV:
3:15
Joe Hollingsworth: Evaluation, Reasoning Concept Inventory (RCI), and Learning Outcomes
4:30
Wrapup
5:00
Workshop conclusion
6:30
Dinner, Place TBD
Workshop Materials:
Formal Methods I (pptx)
Formal Methods 2 (pptx)
Formal Methods 3 (pptx)
Links:
Additional information may be found at the
RESOLVE website under the heading Education.
Page last updated July 28, 2011