Vorlesungen und Übungen im Hauptstudium
|
Theoretische Informatik
|
|
Beweistheorie
VORL; 4 SWS; ben. Schein; ECTS: 8; Di, 16:15 - 17:45, 04.125; Do, 16:00 - 17:30, 12.150
|
|
Degen, W.
|
|
|
|
Übungen zu Beweistheorie
UE; 2 SWS; ben. Schein; ECTS: 4; Fr, 9:15 - 10:45, 2.037
|
|
Weigand, U.
|
|
|
|
Clones: Netzwerke von Gattern zum Aufbau von Automaten, Gruppenpräsentationen und n-Kategorien
VORL; 4 SWS; ben. Schein; Zeit und Raum n.V.
|
|
Leeb, K.
|
|
|
|
Symbolische Algebra
VORL; 4 SWS; ben. Schein; ECTS: 8; ECTS-Credits nur in Verbindung mit der zugehörigen Übung! Insgesamt werden dann 8+4=12 Credits erreicht; Mo, 16:00 - 17:30, 05.150; Mi, 16:15 - 17:45, 2.038; Vorbesprechung: 4.11.1998, 16:00 - 17:00 Uhr, 05.150
|
|
Meyn, H.
|
|
|
|
Übungen zu Symbolische Algebra
UE; 2 SWS; ben. Schein; ECTS: 4; ECTS-Credits nur in Verbindung mit der Vorlesung "Symbolische Algebra". Gesamtcredit siehe dortige Bemerkung.; Zeit und Raum n.V.
|
|
Becker-Wenneker, M.
|
|
|
|
VORL; 4 SWS; ben. Schein; ECTS: 8; Mo, 12:15 - 13:45, 2.038; Di, 16:15 - 17:45, Raum n.V.
|
|
Müller, H.
|
|
|
|
Übungen zu Petrinetze
UE; 1 SWS; ECTS: 1,25; Fr, 9:15 - 10:00, 2.038
|
|
Kosmidis, K.
|
|
|
|
VORL; 4 SWS; ben. Schein; ECTS: 8; Mo, 12:15 - 13:45, 2.038; Di, 16:15 - 17:45, Raum n.V.
|
|
Müller, H.
|
|
|
|
VORL; 2 SWS; ben. Schein; Mi, 8:30 - 10:00, 2.037; Vorbesprechung: 4.11.1998, 8:30 - 10:00 Uhr, K1
|
|
Strehl, V.
|
|
|
|
V/UE; 2 SWS; ben. Schein; Do, 10:00 - 12:00, K1; Do, 15:00 - 16:00, E 1.10; ab 5.11.1998
|
|
Strehl, V.
|
|
|
Algorithmische Sprachen
|
|
UE; 2 SWS; ECTS: 4; Di, 12:00 - 14:00, 00.152; Do, 14:00 - 16:00, 00.151
|
|
Hodek, R.
|
|
|
|
VORL; 2 SWS; ben. Schein; ECTS: 4; For Computer Science and Computational Engineering, the Lecture is given in English; Mo, 14:00 - 16:00, H10; ab 2.11.1998
|
|
Schneider, H.-J.
|
|
|
|
V/UE; 2 SWS; ben. Schein; ECTS: 4; die Veranstltung ist bereits voll belegt; Di, 16:00 - 18:00, SR 05.150; ab 10.11.1998
|
|
Schneider, H.-J.
|
|
|
|
VORL; 2 SWS; ben. Schein; ECTS: 4; jede 2. Woche Fr, 10:15 - 11:45, 00.151; Fr, 12:20 - 14:00, 00.151; ab 13.11.1998; entfällt am 29.01.1999; nächste Vorlesung am 12.02.1999
|
|
Schorr, R.
|
|
|
|
VORL; 2 SWS; ben. Schein; ECTS: 4; jede 2. Woche Fr, 12:00 - 16:00, 2.037; ab 6.11.1998
|
|
Hindel, B.
|
|
|
|
VORL; 2 SWS; ben. Schein; ECTS: 4; Do, 16:00 - 18:00, H10; ab 5.11.1998
|
|
Schneider, H.-J.
|
|
|
|
UE; 2 SWS; ECTS: 4; Mi, 12:00 - 14:00, 00.151; Di, 10:00 - 12:00, 00.152
|
|
Kókai, G.
|
|
|
Rechnerarchitektur
|
|
V/UE; 6 SWS; Schein; ECTS: 12; Di, 10:15 - 11:45, 00.151; ab 3.11.1998; Übungen: Ort und Zeit n. V.
|
|
Hessenauer, H.
Sieh, V.
|
|
|
|
Rechnerarchitektur Ia - Grundlagen [RA]
VORL; 2 SWS; ECTS: 4; Mo, 12:30 - 14:00, H4
|
|
Dal Cin, M.
|
|
|
|
Rechnerarchitektur Ib - Modellierung, Bewertungs- und Verifikationstechniken [RA Ib]
VORL; 2 SWS; ECTS: 4; Do, 14:00 - 15:30, H4
|
|
Dal Cin, M.
|
|
|
Betriebssysteme
|
|
VORL; 4 SWS; Schein; ECTS: 8; Mo, 14:15 - 15:45, H8, 0.031; Di, 16:15 - 17:45, H8, 0.031
|
|
Hofmann, F.
|
|
|
|
UE; 1 SWS; ECTS: 2; Fr, 11:00 - 12:00, 00.152; Do, 13:15 - 15:00, 0.031
|
|
Geier, M.
Becker, U.
|
|
|
|
V/UE; 4 SWS; Schein; ECTS: 8; ab 15.3.1999; zweiwöchiger Blockkurs in den Semesterferien, ganztägig
|
|
Bellosa, F.
Linster, C.-U.
N.N.
|
|
|
|
V/UE; 4 SWS; ben. Schein; ECTS: 8; Mi, 14:15 - 15:45, 0.031; Do, 12:15 - 13:45, 2.037; ab 11.11.1998
|
|
Bolch, G.
|
|
|
|
V/UE; 4 SWS; ben. Schein; ECTS: 8; Mi, 10:15 - 11:45, H4
|
|
Kleinöder, J.
|
|
|
|
UE; Di, 14:00 - 16:00, 0.031; Mo, 12:00 - 14:00, 0.031
|
|
Kleinöder, J.
Schnitzer, B.
Barner, J.
|
|
|
|
V/UE; 7 SWS; Schein; ECTS: 14; Raum 0.031, Ganztägiger Kurs in den Semesterferien 1.3.-12.3.1998; Vorbesprechung: 27.1.1999, 10:15 - 11:45 Uhr, H4
|
|
Kleinöder, J.
Rastofer, U.
Schnitzer, B.
|
|
|
Mustererkennung
|
|
UE; 6 SWS; Schein; ECTS: 12; Zeit und Raum n.V.
|
|
Paulus, D.
Haas, J.
|
|
|
|
VORL; 3 SWS; Schein; ECTS: 6; Mo, 10:00 - 12:00, H10; Di, 14:00 - 15:00, H10
|
|
Niemann, H.
|
|
|
|
UE; 1 SWS; ECTS: 2; Di, 13:00 - 14:00, 15:00 - 16:00, H10
|
|
Haas, J.
|
|
|
|
VORL; 2 SWS; ben. Schein; ECTS: 4; Fr, 14:00 - 16:00, 09.150
|
|
Hornegger, J.
|
|
|
|
VORL; 2 SWS; ben. Schein; ECTS: 4; Do, 14:00 - 16:00, 09.150
|
|
Nöth, E.
|
|
|
Datenbanksysteme
|
|
PR; 2 SWS; Schein; ECTS: 2,5; Di, 14:00 - 16:00, 09.150
|
|
Albrecht, J.
Günzel, H.
|
|
|
|
VORL; 2 SWS; ben. Schein; ECTS: 2,5; Do, 8:30 - 10:00, 1.84; Achtung! Geänderter Veranstaltungsort WW V, Martensstr. 7
|
|
Wedekind, H.
Assistenten
|
|
|
|
VORL; 2 SWS; ben. Schein; ECTS: 2,5; Mo, 10:00 - 11:30, H4; ab 9.11.1998
|
|
Wedekind, H.
|
|
|
|
VORL; 2 SWS; ben. Schein; ECTS: 2,5; Die Veranstaltung wird wg. eines Forschungsfreisemesters von Prof. Jablonski von Prof. Wedekind durchgeführt; Mi, 10:15 - 11:45, 00.151; ab 11.11.1998
|
|
Wedekind, H.
|
|
|
|
PR; 2 SWS; Schein; ECTS: 2,5; Vorbesprechung: 22.7.1998, 13:30 - 14:00 Uhr, 08.110
|
|
Neeb, J.
Heinl, P.
|
|
|
|
UE; 1 SWS; ECTS: 1; Mo, 11:30 - 12:15, H4
|
|
Wedekind, H.
|
|
|
Kommunikationssysteme
|
|
Kommunikationssysteme I [KS I]
V/UE; 4 SWS; ben. Schein; ECTS: 8; Mo, 8:30 - 10:00, H4; Mi, 16:00 - 17:30, H3 Egerlandstr.3; ab 4.11.1998
|
|
Herzog, U.
Kindermann, S.
Klehmet, U.
|
|
|
|
Mechanised Validation of Parallel Processes [AVPP]
V/UE; 2 SWS; ben. Schein; ECTS: 4; Mo, 8:30 - 10:00, 00.151
|
|
Katoen, J.-P.
|
|
|
|
Messung, Modellierung und Bewertung von Rechensystemen [MMB]
V/UE; 4 SWS; ben. Schein; ECTS: 8; Zeit n.V., 2.037; Blockveranstaltung vom 1.3.-12. 3.99; Vorbesprechung: 26.11.1998, 14:30 Uhr, 04.125
|
|
Siegle, M.
Hofmann, R.
|
|
|
|
Neuere Entwicklung auf dem Gebiet der Kommunikationssysteme [LAN]
VORL; 2 SWS; ben. Schein; ECTS: 4; Mi, 10:00 - 12:00, 0.031
|
|
Dulz, W.
|
|
|
Künstliche Intelligenz
|
|
Vorbesprechung [25.02.1999]
SEM; Do, 10:00 - 12:00, 2.037; einmalig am 25.02.1999
|
|
Reserviert
|
|
|
|
Ausgewählte Themen zu Agentensystemen [Agentensyst.]
VORL; 2 SWS; ben. Schein; Fr, 10:00 - 12:00, H10
|
|
Schneeberger, J.
|
|
|
|
VORL; 2 SWS; ben. Schein; Di, 10:00 - 12:00, E 1.10; Termin noch unsicher -- bitte Aushang beachten!
|
|
Stoyan, H.
Jaksch, W.
Zinn, C.
|
|
|
|
VORL; 3 SWS; ben. Schein; Di, 10:00 - 13:00, 2.037
|
|
Görz, G.
|
|
|
|
Exercises in Neural Nets
UE; 2 SWS; Mo, 18:00 - 19:30, 2.038
|
|
Jaksch, W.
|
|
|
|
VORL; 2 SWS; ben. Schein; Do, 16:00 - 18:00, 2.037
|
|
Görz, G.
|
|
|
|
Künstliche Intelligenz I
VORL; 4 SWS; ben. Schein; Do, 8:00 - 10:00, 2.037; Fr, 12:00 - 14:00, H5
|
|
Stoyan, H.
|
|
|
|
Übung Künstliche Intelligenz I
UE; 2 SWS; nach Vereinbarung
|
|
Zinn, C.
|
|
|
|
Neural Nets
VORL; 2 SWS; ben. Schein; Di, 8:15 - 9:45, E 1.10
|
|
Stoyan, H.
|
|
|
|
UE; 2 SWS; ben. Schein; Beginn am 17.11.1998!; Di, 14:00 - 16:00, SR 05.150
|
|
Spilker, J.
|
|
|
Graphische Datenverarbeitung
|
|
VORL; 3 SWS; ben. Schein; ECTS: 6; Di, 8:15 - 10:00, H4; Do, 9:15 - 10:00, H5
|
|
Greiner, G.
|
|
|
|
UE; 1 SWS; ECTS: 2; Do, 16:00 - 18:00, 2.038; Fr, 11:00 - 12:00, 2.037
|
|
Westermann, R.
Teitzel, Ch.
Engel, K.
|
|
|
|
Geometrische Modellierung [GM]
VORL; 3 SWS; ben. Schein; ECTS: 6; Di, 10:15 - 11:45, H6; Do, 8:15 - 9:00, H5
|
|
Kobbelt, L.
|
|
|
|
Übungen zur Geometrischen Modellierung [GM(Üb)]
UE; 1 SWS; ECTS: 2; Mo, 16:15 - 17:15, 2.038
|
|
Schneider, R.
|
|
|
|
UE; 4 SWS; Schein; ECTS: 8; n.V.; Vorbesprechung: 28.7.1998, 16:15 - 17:45 Uhr, R 1.240
|
|
Stamminger, M.
|
|
|