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, INF-PM-FPG, IST-05-KP	0/0/4	deutsch	Prof. Baier	P	ZVZ		AVO
Komplexpraktikum Modellierung und quantitative Systemanalyse II	INF-MA-PR, INF-PM-FPG	0/0/8	deutsch	Prof. Baier	P	ZVZ		AVO
Lab Course Modeling and Automated Verification	MCL-PS	0/2/0	english	Prof. Baier	P	Freitag	1.	APB/E005	wöch.
Model Checking	INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL	4/4/0	english	Prof. Baier, Dr. Klüppelholz	V V U U	Donnerstag Freitag Donnerstag Freitag	2. 2. 3. 3.	APB/E005 APB/E005 APB/E005 APB/E005	wöch. wöch. wöch. wöch.
Project Group Model Checking	INF-PM-FPG, 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-PS	0/2/0	english	Prof. Baier	U	Donnerstag	1.	AVO	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
Formale Systeme	INF-B-270, INF-B-275, INF-LE-EUI, IST-05-PF-HS	4/2/0	deutsch	Prof. Baader	V V U U U U U U U U U U U U U U U	Montag Donnerstag Montag Montag Montag Dienstag Dienstag Mittwoch Mittwoch Mittwoch Donnerstag Donnerstag Freitag Freitag Freitag Freitag Freitag	3. 4. 1. 2. 2. 1. 1. 1. 1. 2. 1. 5. 1. 2. 3. 3. 4.	BAR/SCHÖ HSZ/0003 APB/E010 GER/0009 VMB/0E02 APB/E009 WIL/C104 HSZ/0204 SCH/A419 APB/E007 SCH/A419 SCH/A419 BAR/0E85 APB/E006 SCH/A184 SCH/A252 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.
Forschungsprojekt Theoretical Computer Science	INF-PM-FPG	8P/PB	deutsch	Prof. Baader	P	ZVZ		AVO
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 U	Dienstag Donnerstag	6. 6.	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.-Ing. Borgwardt	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
Ringvorlesung RoSI	INF-BAS3, INF-BAS4, INF-BI-2, INF-BI-4, INF-VERT3, INF-VERT4	2/0/0	deutsch	Prof. Lehner, Dr. Turhan	V	Montag	5.	APB/3105	wöch.
Seminar Theoretical Computer Science	INF-04-HS, INF-AQUA, INF-D-940, MCL-PS	0/2/0	english	Prof. Baader, Dr. Turhan	U	Montag	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, PHY-BA-NPW-INF	2/2/0	deutsch	Prof. Vogler	V U U U U U U U U U U U U U U U	Freitag Montag Montag Montag Dienstag Dienstag Dienstag Mittwoch Mittwoch Donnerstag Donnerstag Donnerstag Donnerstag Freitag Freitag Freitag	2. 1. 4. 6. 1. 2. 6. 1. 5. 1. 1. 3. 6. 1. 4. 5.	HSZ/AUDI APB/E023 APB/E009 APB/E008 APB/E023 APB/E009 WIL/C205 APB/E023 APB/E010 SCH/A185 WIL/A221 HSZ/0204 APB/E006 APB/E023 VMB/0302 GÖR/0127	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	S	Freitag	4.	APB/3027	wöch.
Forschungsprojekt Verarbeitung natürlicher Sprachen	INF-PM-FPG	8P/PB	deutsch	Prof. Vogler	P	ZVZ		AVO
Gewichtete Baumautomaten	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 Dienstag	3. 4.	APB/E010 APB/E009	wöch. wöch.
Maschinelles Übersetzen natürlicher Sprachen	INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS2, INF-BAS6, INF-VERT2, INF-VERT6	4/1/0	deutsch	Prof. Vogler	V V U	Montag Donnerstag Mittwoch	2. 2. 3.	APB/E007 APB/E007 APB/E006	wöch. wöch. 1. Wo.
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	Montag Dienstag Mittwoch	2. 2. 3.	APB/E008 APB/E005 APB/E005	wöch. wöch. wöch.
Forschungsprojekt Wissensbasierte Systeme	INF-PM-FPA, INF-PM-FPG	0/0/8	deutsch	Prof. Krötzsch	P	ZVZ		AVO
Forschungsseminar Wissensbasierte Systeme	INF-AQUA, INF-PM-FOR	0/2/0	english	Prof. Krötzsch	U	ZVZ		AVO
Knowledge Graphs	INF-B-510, INF-B-520, INF-BAS2, INF-BAS6, INF-E-3, INF-PM-FOR, INF-VERT2, INF-VERT6, MCL-KR, MCL-TCSL	2/2/0	english	Prof. Krötzsch	V U	Dienstag Dienstag	3. 5.	APB/E005 APB/E005	wöch. wöch.
Komplexpraktikum Wissensbasierte Systeme	INF-B-510, INF-B-520, INF-MA-PR	0/0/4, 0/0/8	deutsch	Prof. Krötzsch	P	ZVZ		AVO
Project Group Knowledge-Based Systems	MCL-P	0/0/4	english	Prof. Krötzsch	P	ZVZ		AVO
Seminar Selected Topics in Database Theory	INF-04-HS, INF-AQUA, INF-D-940, INF-PM-FOR, MCL-PS	0/2/0	english	Prof. Krötzsch, Dr. Carral	U	Mittwoch	6.	APB/E005	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
• CMS-* .... Master Computational Modeling and Simulation
• 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