News

November, 30th: Exercises or December

1. HoM homepage contains a new category 'Links' which is a collection of links to detailed sources on ActiveMath, OmDoc and OpenMath. So this one might be useful for the interested ones.
   p>
2. As I will be away the last three session of this year, two other ActiveMathers will appear for me:
   • December 8th: Martin Mühlenbrock Martin.Muehlenbrock@dfki.de
   • December 15th, 22nd: Andreas Meier ameier@dfki.de
   Thus, if you want to present anything on December 8th, please get in contact with Martin Mühlenbrock and send him your slides or applets. Please sent all this stuff to me as well.
   

   The same applies to Andreas Meier on December 15th and 22nd.

3. I have prepared all exercises for December, which are already online. I think, this will suit you, as this might make your planning easier. Well, and implicitly you have much more time for preperation. :-) If you have any question you may get in contact with me until the end of the week.
   

   Note, that Erica Melis has not seen all exercises yet. She might add some adaptions, but by the end of the week, everything should be fix.

4. I'd like to campaign for some exercises, exercises that are of interest for ActiveMath.
   
   • Session 7: I would be glad, if some of you would solve the exercise on erroneous examples. This is especially of interest, as we want to force our research into that direction. This exercise merely employs a prototype.
     

   • Session 8: This exercise (proof for the sum rule for limits: different approaches) is part of my own research, and thus, very up to date. Therefore I really would be grateful, if some of you would select this exercise. It is interesting in respect of different proof approaches and in respect of their implementation of a proof learning tool.
     

     I suggested to allow you to work in larger groups in order to compare different approaches. But each sub group is supposed to present one proof attempt. I will hand you out a paper from Leron and a paper on the bridge construction paradigm.
     

   • Session 9: For the LeActiveMath project and its members it would be nice, if some of you would write a review.
     

     Joint problem spaces is also an interesting and evolving research topic. Maybe someone volunteers to take this exercise.

November, 29th: New link page

November, 23rd: Adaptions to Organisation

• three * - exercises
• two ** - exercises
• one *** - exercise

• two * - exercises
• two ** - exercises
• two *** - exercises

November, 15th: Writing Exercises in ActiveMath

• A simple fill-in-blank exercise .
• A simple multiple choicequestion exercise .

November, 04th: More rurles for delivering exercises

1. Session 1-5: October 27t -- November 24th
   
   
2. Session 6-10: December 1st -- January 12th
   
   
3. Session 11-15: January 19th -- February 16th

Now, you have to work at least 2 exercises per section.

November, 04th: Exercises given in th 2nd session

1. New exercises on induction proofs: For obtaining a star:
   
   
   • Choose two exercises for delivering (I have added one.)
     
     
   • ... but you have to present only one (it is your choice which one).
     
     
   • ... you can still contribute your ideas in the discussion following the presentation (greatly appreciated).
   
   
   Please let me know, which exercises you want to prepare for next Wednesday. They will be the basis for the following first (**) exercises, in which you will have to encode your state diagrams in OmDoc, our knowledge representation markup format.
   
   
2. General aspects:
   
   
   • You should limit your talk to 15 minutes.
     
     
   • Focus on the pedagogical aspects.
     
     
   • Send your exercises to me until wednesday 1p.m.
     
     
   • Every member in the group should have an active part - including the presentation.

October, 28th: Writing applets

• Mathematical Visualization Toolkit
  

• JFigure
  

October, 28th: Some presentation aspects

• Your presentation should take 15-20 minutes.
  

• For presentations, you may use the blackboard or the beamer in case of PowerPoint slides, Java Applets or ActiveMath applications.
  

• Deliver your exercises as PowerPoint slides, LaTeX documents or other media via e-mail. If you use mainly the blackboard then you should sent me your exercises as LaTeX.
  

• Every member of a group should have an active part in the presentation.
  

• The main goal is to reflect your own approach to mathematical exercises and problems and to write down your experience? What kind of strategies did you devise in order to cope with mathematics? Feel free to present your own ideas.
  

• Moreover, suppose you have to coach someone who has deficiencies in mathematics. How would you help him? How do you catch comprehension problems?
  

• When working your exercises, always ask yourself where problems can arise? What is the source of the problem? How to solve it? How to prevent it? Has the source of problems itself any pedagogical value?
  

• You may follow Polya's problem solving scheme.
  

• How would you integrate your solutions into ActiveMath?
  

October, 27th: What if I find a bug?

October, 26th: Invoking ActiveMath

     ssh -X <account>@cip2xx.studcs.uni-sb.de

Then start mozilla

     /installer/arch/bin/mozilla oder
     /installer/arch/mozilla/mozilla

and change setting in preferences to:

• allow cookies
• set cache to 0
• enable java and javascript

Then go to:

     http://nostromo.ags.uni-sb.de:8080/.

I suppose everyone has an studcs account. If not ask the local administrator. Time tables are put on the cip room doors.

October, 11th: First Meeting