Algebraische und logische Grundlagen der Informatik

nach oben

Lehrveranstaltung	Module	SWS	Sprache	Dozent	Art	Tag	DS	Raum	Woche
Doktorandenseminar Advances in Probabilistic Model Checking	FAK-INF-FF	0/2/0	english	Prof. Baier	U	ZVZ		AVO
Forschungsprojekt Formale Methoden	INF-PM-FPG	8P/PB	deutsch	Prof. Baier	P	ZVZ		AVO
Komplexpraktikum Modellierung und quantitative Systemanalyse I	INF-04-KP, INF-04-P, INF-MA-PR, IST-05-KP	0/0/4	deutsch	Prof. Baier	P	ZVZ		AVO
Komplexpraktikum Modellierung und quantitative Systemanalyse II	INF-MA-PR	0/0/8	deutsch	Prof. Baier	P	ZVZ		AVO
Logic Programming Engineering	MCL-LCP	0/2/0	english	Prof. Baier	U	ZVZ		AVO
Model Checking	INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL	4/4/0	english	Prof. Baier	U U	Donnerstag Freitag	2., 3. 2., 3.	APB/E005 APB/E005	wöch. wöch.
Project Group Model Checking	MCL-P	0/0/4	english	Prof. Baier	P	ZVZ		AVO
Proseminar Theoretische Informatik	INF-B-610, INF-D-520	0/2/0	deutsch	Prof. Baier	U	ZVZ		AVO
Seminar Selected Topics in Logic and Verification	INF-04-HS, INF-AQUA, INF-D-940, MCL-PCS	0/2/0	english	Prof. Baier	U	Donnerstag	1.	APB/E005	wöch.

Automatentheorie

nach oben

Lehrveranstaltung	Module	SWS	Sprache	Dozent	Art	Tag	DS	Raum	Woche
Complexity Theory	INF-BAS6, INF-VERT6, MCL-KR, MCL-PI, MCL-TCSL	4/2/0	english	Dr. Krötzsch, Dr. Borchmann	V V U	Mittwoch Freitag Dienstag	4. 4. 2.	APB/E005 APB/E005 APB/E005	wöch. wöch. wöch.
Description Logic	INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-PI, MCL-TCSL	4/2/0	english	Dr. Turhan	V V U	Dienstag Donnerstag Mittwoch	6. 6. 5.	APB/E005 APB/E005 APB/E005	wöch. wöch. wöch.
Forschungsprojekt Theoretical Computer Science	INF-PM-FPG	8P/PB	deutsch	Prof. Baader	P	ZVZ		AVO
Informatik für Biologen	INF-LE-BIO	2/1/0	deutsch	Prof. Baader, Dr. Sturm	V U U	Dienstag Mittwoch Mittwoch	2. 3. 4.	HSZ/0403 APB/E008 APB/E008	wöch. wöch. wöch.
Komplexpraktikum Theoretische Informatik	INF-04-KP, INF-MA-PR, IST-05-KP, MINF-04-KP-FG2	0/0/4, 0/0/8	deutsch	Prof. Baader	P	ZVZ		AVO
Project Group Theoretical Computer Science	MCL-P	0/0/4	english	Prof. Baader, Dr. Turhan	P	ZVZ		AVO
Proseminar Ausgewählte Themen der Theoretischen Informatik	INF-B-510, INF-B-520, INF-B-610, INF-D-520	0/2/0	deutsch	Prof. Baader, Dr. Sturm	U	ZVZ		AVO
Seminar Theoretical Computer Science	INF-04-HS, INF-AQUA, INF-D-940, MCL-PCS, MCL-PI, MCL-TCSL	0/2/0	english	Prof. Baader	U	Donnerstag	5.	AVO	wöch.

Grundlagen der Programmierung

nach oben

Lehrveranstaltung	Module	SWS	Sprache	Dozent	Art	Tag	DS	Raum	Woche
Algorithmen und Datenstrukturen	INF-B-210, INF-D-210, INF-LE-EUI, INF-LE-GEO, INF-LE-MA, INF-LE-PHY, INF-SEGY-INF-02, INF-SEMS-INF-02, IST-05-PF-GS, MATH-BA-INFA, MATH-MA-INFADS	2/2/0	deutsch	Prof. Vogler	V U U U U U U U U U U U U U U U U U U	Freitag Montag Montag Montag Dienstag Dienstag Dienstag Mittwoch Mittwoch Mittwoch Donnerstag Donnerstag Donnerstag Donnerstag Donnerstag Freitag Freitag Freitag Freitag	2. 2. 4. 6. 1. 2. 6. 1. 4. 6. 1. 3. 4. 5. 6. 1. 4. 5. 6.	HSZ/AUDI WIL/C103 SCH/A184 SCH/A185 APB/E007 APB/E008 ASB/0114 SCH/A185 APB/E009 APB/E001 SE2/0022 POT/0351 SCH/A184 SE2/0022 WIL/C106 SCH/A185 SCH/A184 SE2/0103 PHY/DO16	wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch.
Doktorandenseminar Grundlagen der Programmierung	FAK-INF-FF	0/2/0	deutsch	Prof. Vogler	U	ZVZ		AVO
Formale Übersetzungsmodelle	INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS2, INF-BAS6, INF-PM-FOR, INF-VERT2, INF-VERT6	2/2/0	deutsch	Prof. Vogler	V U	Montag Donnerstag	4. 5.	APB/E009 APB/E009	wöch. wöch.
Forschungsprojekt Verarbeitung natürlicher Sprachen	INF-PM-FPG	8P/PB	deutsch	Prof. Vogler	P	ZVZ		AVO
Maschinelles Übersetzen natürlicher Sprachen	INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS2, INF-BAS6, INF-VERT2, INF-VERT6	4/2/0	deutsch	Prof. Vogler	V V U	Montag Donnerstag Donnerstag	3. 2. 4.	APB/E010 APB/E007 APB/E009	wöch. wöch. wöch.
Master-Praktikum Verarbeitung natürlicher Sprachen I	INF-04-KP, INF-MA-PR	0/0/4	deutsch	Prof. Vogler	P	ZVZ		AVO
Master-Praktikum Verarbeitung natürlicher Sprachen II	INF-MA-PR	0/0/8	deutsch	Prof. Vogler	P	ZVZ		AVO
Proseminar Natural Language Processing	INF-04-PS, INF-B-510, INF-B-520, INF-B-610, INF-D-520	0/2/0	deutsch	Prof. Vogler	U	ZVZ		AVO
Seminar Natural Language Processing	INF-04-FG-TP, INF-04-HS, INF-AQUA, INF-D-940	0/2/0	deutsch	Prof. Vogler	U	ZVZ		AVO

Anmerkungen

nach oben

Tag, Raum

• ZVZ ... zu vereinbarter Zeit
• AVO ... an vereinbartem Ort

Woche

• wöch. = wöchentlich
• 1. Woche ... ungerade Kalenderwoche
• 2. Woche ... gerade Kalenderwoche

Semester im Sinne der Prüfungs- und Studienordnung.

Master-Niveau Die Lehrveranstaltung ist an Master- bzw. Diplomstudenten im Hauptstudium gerichtet. Diese Angebot ist optional und nur für fortgeschrittene Studenten empfohlen.

Module Zusätzlich zu den Modulen aus Bachelor/Master/Diplom Informatik, Medieninformatik und Informationssystemtechnik gibt es noch folgende Module für andere Studiengänge

• MCL-* ... Master Computational Logic
• DSE-10* ... Master Distributed Systems Engineering (PO 2010)
• DSE-14* ... Master Distributed Systems Engineering (PO 2014)
• INF-LA* ... Bachelor/Master Lehramt
• INF-SE* ... Staatsexamen Lehramt

und folgende "Module" für ältere Studiengänge und Sonstiges

• INF-04-* ... Diplom Informatik, Studienordnung 2004
• MINF-04-* ... Diplom Medieninformatik, Studienordnung 2004
• IST-05-* ... Diplom Informationssystemtechnik, Studienordnung 2005
• INF-LE-* ... Lehrexport an andere Fakultäten
• FAK-INF-FF ... Fakultative Fächer

Prüfung Art und Dauer von Prüfungsleistungen sind den Modulbeschreibungen zu entnehmen. Ausnahmen hierfür sind die Module INF-AQUA, INF-B-510/20/30/40, INF-B-610 und INF-D-940 - hier wird die Prüfungsform der jeweiligen Lehrveranstaltung explizit angegeben. Mögliche Prüfungsformen sind:

• Seminararbeit und Präsentation
• P(m) ... mündliche Prüfung
• P(s) ... schriftliche Prüfung
• P(PP) ... Praktikumsprotokoll
• P(sA) ... schriftliche Ausarbeitung/Seminararbeit
• P(PA) ... Projektarbeit
• P(PE) ... bewertbares Ergebnis des Praktikums