Home
News
Plan
Links
Groups

Hands on Mathematics for CS - News

3. Session: November 10th

Topic: Induction proofs

Presentations:

Exercises:

  • Choose two of last week's exercises and encode the control state diagrams in Omdoc. Follow Polya's phases . (**)
    George Goguadze will provide you with a brief presentation of ActiveMath's exercise system, a short manual and a dtd for verification. If you have any Omdoc question ask George.
  • Design and implement an applet that comprises a text output window, in which text exercises are displayed. In this window, it is possible to mark arbitrary pieces of text and assign them a meaning. For instance, marking a piece of text green denotes that this part is a given assumption, while a red marked text denotes the unknown. The applet should be able to verify all marked pieces and provide feedback.

    The applet should take any text exercise as input, i.e, there are no hardcoded exercises. Define an input format. Find three nice illustrating examples. (***)


Webmaster,