Institut für Informatik - Dokumentenserver - Universität Leipzig
Institut für Informatik - Dokumentenserver - Universität Leipzig
Institut für Informatik - Dokumentenserver - Universität Leipzig
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Modularisierung (Gerber, Schötz)<br />
Das Modellvorhaben ist Bestandteil des BLK-Projektes "Innovationen im Bildungswesen"<br />
mit einer Laufzeit vom 01.10.1998 bis zum 30.09.2001. Bei dem<br />
Vorhaben handelt es sich um ein Verbundprojekt mit den Mitgliedern: Hochschule<br />
Bremen (<strong>Institut</strong> <strong>für</strong> <strong>Informatik</strong> und Automation), Fachhochschule Gießen-Friedberg<br />
(Fachbereich Mathematik, Naturwissenschaften und <strong>Informatik</strong>), <strong>Universität</strong><br />
<strong>Leipzig</strong> (<strong>Institut</strong> <strong>für</strong> <strong>Informatik</strong>), <strong>Universität</strong> Ulm (Fakultät <strong>für</strong> <strong>Informatik</strong>). Die Arbeitsaufgaben<br />
des Verbundes sind durch einen Meilensteinplan festgelegt. Die<br />
<strong>Leipzig</strong>er Aktivitäten konzentrierten sich im Berichtsjahr auf: Anwendung von<br />
Lehrmodulen und Vergabe von Leistungspunkten im Diplomstudiengang <strong>Informatik</strong>;<br />
Vorlage einer Studien- und Prüfungsordnung <strong>für</strong> einen modularisierten<br />
konsekutiven Bachelor-/Master-Studiengang <strong>Informatik</strong> mit Leistungspunktesystem;<br />
Vorschlag eines Modulkatalogs <strong>für</strong> das Grundstudium im Diplomstudiengang<br />
und das Bachelor-Grundstudium <strong>Informatik</strong>; Vorarbeiten zum Prüfungs- und<br />
Verwaltungsmanagement <strong>für</strong> modularisierte Studiengänge und Empfehlung <strong>für</strong><br />
ein Transcript of Records (Datenabschrift).<br />
3.3.2.3 Publikationen<br />
- Gerber, S.; Debatin, B. (Hrsg.): Kommunikation in der Informationsgesellschaft<br />
(Vom digitalen Buch zum computergestützten Lernen), <strong>Leipzig</strong>er<br />
<strong>Universität</strong>sverlag, <strong>Leipzig</strong>, 2000 (Buch mit CD) ISBN 3-934565-82-4<br />
- Waldmann, J.: The Combinator S, Information and Computation 159, S.2-21<br />
(2000)<br />
3.3.2.4 Vorträge<br />
- Gerber, S.: Zur Arbeit mit interaktiven Skripten (Interdisziplinäre Ringvorlesung<br />
<strong>Universität</strong> <strong>Leipzig</strong> , Sommersemester 2000)<br />
- Waldmann, J.: Fixpunkte von Morphismen und Normalformen von Ersetzungssystemen<br />
(10. Theorietag der FG 0.1.5 Automaten und Formale Sprachen<br />
der GI, TU Wien, 2000)<br />
- Gerber, S.; Schötz, H.-P.: Moduldefinition und Modulanwendungen in Modellstudiengängen<br />
der <strong>Informatik</strong> , BLK-Workshop Modularisierung von Studiengängen,<br />
Friedrich-Schiller-<strong>Universität</strong> Jena, 2000<br />
3.3.2.5 Implementierungen<br />
- Gerber, S.: Java-Applikationen zu Modellsimulationen <strong>für</strong> Automaten, Formale<br />
Sprachen, Petri-Netze und Funktionale Programmierung<br />
- Waldmann, J.: RX: Interpreter <strong>für</strong> Rationale Baumsprachen, autotool: Werkzeug<br />
zur automatischen Korrektur von Übungsaufgaben <strong>für</strong><br />
den Grundkurs Theoretische <strong>Informatik</strong><br />
41