Colloquium Computing Science

 

 

Date:                            Monday, March 31 2008          

Speaker:                      Johan Jeuring

Room and time:           5161.0267 (Bernoulliborg), 16.00

 

 

 

 

Title:    Strategies for Exercises

 

 

 

 

Abstract:



The feedback given by e-learning tools that support incrementally solving
problems in mathematics, logic, physics, etc. is limited, or laborious to
specify. In this talk I will introduce a language for specifying strategies
for solving exercises. This language makes it easier to automatically
calculate feedback when users make erroneous steps in a calculation.
Although we need the power of a full programming language to specify
strategies, we carefully distinguish between context-free and
non-context-free sublanguages of our strategy language. This separation is
the key to automatically calculating all kinds of desirable feedback.

 

 

 

 

 

 

 

 

Colloquiumcoördinator is Prof.dr. M. Aiello, Dr. M. Biehl (e-mail: M.Biehl@cs.rug.nl)

www.cs.rug.nl/~biehl/Coll