Computer-Supported Modeling and Reasoning

The materials of this lecture can be viewed as lecture slides, but at the same time, they form an online course for self study, mainly thanks to the following features:

• animation (useful both in a lecture and in a self-learning context)
• a rich structure of forward and backward links within the material, as well as links to the WWW
• detailed explanations (annotations), accessible by the learner at request via hyperlinks.

Some comments

• You should copy the gzipped tar-file to any place of your file system and unzip and untar it, but you should not change the internal directory structure of the material, since this is crucial for the hyperlinks to work. The working of the hyperlinks has been tested for the Acrobat reader.
• Hyperlinks in the slides are marked by colours: dark blue for a link within the same document, light blue for a link to another unit of the lecture, and pink for links to WWW pages.