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, english	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
Lab Course Modeling and Automated Verification	MCL-PCS	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, Dr. Klüppelholz	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-510, INF-B-520, 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.
Tutorial Logic Programming Engineering	MCL-LCP	0/2/0	english	Prof. Baier, Dr. Klüppelholz	U	Dienstag	4.	APB/E067	wöch.

Automatentheorie

nach oben

Lehrveranstaltung	Module	SWS	Sprache	Dozent	Art	Tag	DS	Raum	Woche
Description Logic	INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-PI, MCL-TCSL	4/2/0	english	Prof. Baader	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	Dr. Sturm	V U U	Dienstag Mittwoch Mittwoch	2. 3. 4.	HSZ/0403 APB/E008 APB/E008	wöch. wöch. wöch.
Introduction to Non-monotonic Reasoning	INF-B-510, INF-B-520, INF-BAS6, INF-PM-FOR, INF-VERT6, MCL-KR, MCL-TCSL	2/2/0	english	Dr. Turhan	V V	Mittwoch Freitag	2. 4.	APB/E005 APB/E005	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, Dr.-Ing. Borgwardt	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 Further Topics in Description Logics	INF-04-HS, INF-AQUA, INF-D-940, MCL-PCS, MCL-PI, MCL-TCSL	0/2/0	english	Prof. Baader, Dr. Turhan	U	ZVZ		AVO

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	Freitag Montag Montag Montag Montag Dienstag Dienstag Dienstag Dienstag Dienstag Mittwoch Mittwoch Donnerstag Donnerstag Donnerstag Donnerstag Freitag	2. 1. 2. 5. 6. 1. 2. 3. 5. 6. 1. 6. 1. 1. 2. 6. 4.	HSZ/AUDI SE2/0211 APB/E006 APB/E010 APB/E001 APB/E007 APB/E001 APB/E006 APB/E009 APB/E009 APB/E023 APB/E007 APB/E006 APB/E023 APB/E010 APB/E001 APB/E009	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	INF-MA-PR	0/0/8	deutsch	Prof. Vogler	P	ZVZ		AVO
Praktikum Verarbeitung natürlicher Sprachen	INF-04-KP, INF-B-510, INF-B-520, INF-D-940, INF-MA-PR	0/0/4	deutsch	Prof. Vogler	P	ZVZ		AVO
Seminar Natural Language Processing I	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 II	INF-04-FG-TP, INF-04-HS, INF-AQUA, INF-D-940	0/2/0	deutsch	Prof. Vogler	U	ZVZ		AVO

Wissensbasierte Systeme

nach oben

Lehrveranstaltung	Module	SWS	Sprache	Dozent	Art	Tag	DS	Raum	Woche
Complexity Theory	INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-KR, MCL-PI, MCL-TCSL	4/2/0	english	Prof. Krötzsch	V V U	Dienstag Mittwoch Dienstag	3. 6. 5.	APB/E005 APB/E005 APB/E005	wöch. wöch. wöch.
Formale Systeme	INF-B-270, INF-B-275, INF-LE-EUI, IST-05-PF-HS	4/2/0	deutsch	Prof. Krötzsch	V V U U U U U U U U U U U U	Montag Donnerstag Montag Dienstag Dienstag Mittwoch Mittwoch Mittwoch Mittwoch Donnerstag Donnerstag Freitag Freitag Freitag	3. 4. 1. 1. 2. 1. 4. 6. 6. 1. 6. 2. 3. 5.	HSZ/0002 HSZ/0003 APB/E007 APB/E008 APB/E008 APB/E008 APB/E006 APB/E009 SCH/A419 APB/E008 APB/E007 APB/E008 SE2/0211 APB/E009	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.

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