| Veranstaltungs-Nr.: | 18.120 (WiSe 2007/2008) |
| Titel: | Automatenmodelle |
| Veranstalter: | Daniel Moldt |
| Zeit / Ort: | 2 st. Fr. 10-12 C-221 |
| Das Proseminar beginnt am 26.10.2007 um 10h15 in C-221. |
| Inhalt: | Modelle von
Automaten werden in zahlreichen Bereichen der Informatik,
Wirtschaftsinformatik, Bioinformatik etc. eingesetzt. Im Proseminar
sollen verschiedenste Automatenmodelle, die in vielfältiger Gestalt
vorkommen, kennengelernt und vertieft werden. Von Bedeutung sind
sequentielle, deterministische, nebenläufige, probabilistische,
stochastische und weitere Modelle von verschiedenen Automatenklassen.
Neben der Ausdruckmächtigkeit sind die Möglichkeiten bei der
Modellierung und Programmierung von besonderem Interesse.
Die
unterschiedlichen theoretischen, praktischen und angewandten Gebiete
der Informatik in denen diese Modelle ihre Anwendung finden liefern den
Hintergrund für die intensive Betrachtung der potenziellen Schranken,
der Verwendungsmöglichkeiten und der Bedeutung. |
| Lernziel: | Anhand eines in
der Informatik allgegenwärtigen Konzeptes erlernen und vertiefen die
Teilnehmenden die Schlüsselqualifikationen des selbstständigen
Recherchierens, Strukturierens, Präsentierens, Diskutierens und
Moderierens. Neben den Fachinhalten (Konzepte, Techniken, Methoden,
Werkzeuge) werden dabei auch Auswirkungen der Verwendung der Modelle
(Akzeptanz, allgemeine Verständlichkeit, Benutzungsqualifikation,
Ausdruckslücken, Sicherheit etc.) behandelt. |
| Stell. im Studienplan: | Grundstudium, Bachelor (3 LP); Modul AP2 |
| Voraussetzungen: | keine |
| Vorgehen: | Nach einer
Einführung durch den Veranstalter arbeiten die Teilnehmenden sich in
den klar umrissenen, aktuellen Stand der Forschung ein und präsentieren
diesen in Form eines Vortrages. Es besteht die Möglichkeit, einen
(Pro-)Seminarschein zu erwerben, indem eine Hausarbeit angefertigt wird.
Für
den BSc-Studiengang sind neben der aktiven Teilnahme (Diskussion,
Moderation) und Präsenz die schriftliche Ausarbeitung und die
Präsentation der eigenen Anteile verpflichtend.
Neben den Vorträgen
können Beiträge darin bestehen, dass zusätzlich einzelne Werkzeuge und
damit praktische Einsatzmöglichkeiten der Modelle demonstriert werden. |
| Verwendbarkeit: | Das
Proseminar kann sowohl im Grundstudium für die Diplomprüfungsordnung
als auch im Bachelor-Studiengang Informatik verwendet werden. Weiteres
siehe Eignung. |
| Literatur: | Wird in der Veranstaltung bekanntgegeben.
Themen können vorab beim Veranstalter ausgewählt werden. |
| Periodizität: | einmalig |
| Sprache: | Deutsch mit englischem Material |
| Eignung: | Geeignet für Lehramtsstudierende, Nebenfachstudierende, Bioinformatikstudierende, Wirtschaftsinformatikstudierende. |
| Stichworte: | Automatenmodelle, Petrinetze, Statecharts, endliche Automaten, Turingmaschinen, Modellierung, Programmierung |