Dieses Skript entstand 1998/99 als Studienarbeit unter Betreuung von
Dr. Klaus Reinhardt am Wilhelm-Schickard-Institut für Informatik der Universität Tübingen.
1999/2000 wurden als weitere Studienarbeit die Kapitel 2.3.4, 2.3.5, 7 und 8 hinzugefügt.
2002 wurden als weitere Studienarbeit die Kapitel 4.2 bis 4.4 hinzugefügt.
2003 wurden als weitere Studienarbeit die Kapitel 4.5.1 bis 4.5.5 hinzugefügt.
2005 wurden als weitere Studienarbeit die Kapitel 2.4.1 bis 2.4.4 hinzugefügt.
2006 wurde als weitere Studienarbeit das Kapitel 5.2 hinzugefügt.
2007 wurde als weitere Studienarbeit das Kapitel 2.3.6 hinzugefügt.
2010 Kapitel 2.5 und 9 als Ausarbeitung zur Vorlesung Mathematische Verfahren hinzugefügt.
Die einzelnen Kapitel und ihre Autoren:
Mathias Haeusser: | 1, 2.1, 2.2, 2.3.1, 2.3.2, 2.3.3, 3, 4, 5, 6 |
Holger Schmid: | 2.3.4, 2.3.5, 7, 8 |
Silke Thomas: | 4.2, 4.3, 4.3.1, 4.4, 4.5 | Andreas Rabius: | 4.5.1, 4.5.2, 4.5.3, 4.5.4, 4.5.5 | Kristijan Dragicevic: | 2.4.1, 2.4.2, 2.4.3, 2.4.4 | Andreas Lehrmann: | 5.2 | Elmar Wemmer: | 2.3.6 | Denis Merkle: | 2.5.1 | Dirk Höntzsch: | 2.5.2 | Kai Stenkamp: | 2.5.3 | Edna Sanchez: | 2.5.3 | Fabian Liedtke: | 9.1 |
Anregungen, Kommentare, Berichtigungen an
reinhard@informatik.uni-tuebingen.de