Algebraische und logische Grundlagen der Informatik

nach oben

Lehrveranstaltung	Module	SWS	Sprache	Dozent	Art	Tag	DS	Raum	Woche
Advanced Logics	INF-04-FG-IS, INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-AL	4/2/0	english	Prof. Baier	V V U	Donnerstag Donnerstag Freitag	2. 3. 2.	APB/E005 APB/E005 APB/E005	wöch. wöch. wöch.
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-PS	0/2/0	english	Prof. Baier	P	Freitag	5.	AVO	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	Freitag	4.	APB/E010	wöch.
Seminar Selected Topics in Logic and Verification	INF-04-HS, INF-AQUA, INF-D-940, MCL-PS	0/2/0	english	Prof. Baier	U	Freitag	3.	APB/E005	wöch.

Automatentheorie

nach oben

Lehrveranstaltung	Module	SWS	Sprache	Dozent	Art	Tag	DS	Raum	Woche
Einführung in die Informatik	D-WW-EINF, INF-BAWP-INF-04, INF-LE-WW, INF-SEBS-INF-04, INF-SEGY-INF-04, INF-SEMS-INF-04	2/2/0	deutsch	Dr. Turhan	V U	Donnerstag Montag	3. 2.	APB/E023 APB/E023	wöch. wöch.
Forschungsprojekt Theoretical Computer Science	INF-PM-FPG	8P/PB	deutsch	Prof. Baader	P	ZVZ		AVO
Komplexpraktikum Theoretische Informatik	INF-04-KP, INF-MA-PR, IST-05-KP, MINF-04-KP-FG2	0/0/4, 0/0/8	deutsch	Dr.-Ing. Borgwardt	P	ZVZ		AVO
Logic-based Ontology Engineering	INF-B-510, INF-B-520, INF-BAS6, INF-PM-FOR, INF-VERT6, MCL-ILS	2/2/0	english	Dr.-Ing. Borgwardt	V V	Mittwoch Mittwoch	2. 4.	APB/E005 APB/E005	wöch. wöch.
Project Group Theoretical Computer Science	MCL-P	0/0/4	english	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	Mittwoch	6.	APB/E008	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	Freitag	4.	APB/E005	wöch.
Term Rewriting Systems	INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-AI, 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.

Grundlagen der Programmierung

nach oben

Lehrveranstaltung	Module	SWS	Sprache	Dozent	Art	Tag	DS	Raum	Woche
Formale Baumsprachen	INF-04-FG-IS, 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	Donnerstag Mittwoch	4. 2.	APB/E010 APB/E010	wöch. wöch.
Forschungsprojekt Verarbeitung natürlicher Sprachen	INF-PM-FPG	8P/PB	deutsch	Prof. Vogler	P	ZVZ		AVO
Freitagsseminar	FAK-INF-FF	0/2/0	deutsch	Prof. Vogler	U	ZVZ		AVO
Master-Praktikum Verarbeitung natürlicher Sprachen	INF-MA-PR	0/0/8	deutsch	Prof. Vogler	P	ZVZ		AVO
Parsing von natürlichen Sprachen	INF-04-FG-IS, 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 Mittwoch	2. 2. 4.	APB/E006 APB/E007 APB/E006	wöch. wöch. wöch.
Praktikum Fortgeschrittene Themen in der Verarbeitung natürlicher Sprachen	INF-B-510, INF-B-520	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
Programmierung	INF-B-240, INF-D-230, INF-LE-EUI, INF-LE-MA, INF-LE-PHY, INF-SEGY-INF-05, INF-SEMS-INF-05, IST-05-PF-GS, MATH-BA-INFB, MATH-MA-INFPRG	2/2/0	deutsch	Prof. Vogler	V U U U U U U U U U U U U U	Freitag Montag Montag Dienstag Dienstag Dienstag Dienstag Mittwoch Mittwoch Mittwoch Donnerstag Donnerstag Freitag Freitag	2. 2. 4. 1. 2. 6. 6. 1. 1. 6. 1. 1. 1. 4.	HSZ/0003 APB/E008 APB/E006 BAR/0218 REC/D016 APB/E009 CHE/0184 REC/C118 WIL/A221 APB/E023 CHE/0183 HSZ/0E05 APB/E006 APB/E006	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.
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
Database Theory	INF-B-510, INF-B-520, INF-BAS6, INF-PM-FOR, INF-VERT6, MCL-KR, MCL-PI, MCL-TCSL	4/2/0	english	Prof. Krötzsch	V V U	Dienstag Dienstag Dienstag	2. 3. 5.	APB/E005 APB/E005 APB/E005	wöch. wöch. wöch.
Deduction Systems	INF-BAS2, INF-VERT2, MCL-ILS	1/1/0	english	Prof. Krötzsch	V U	Montag Montag	3. 3.	APB/E005 APB/E005	1. Wo. 2. Wo.
Forschungsprojekt Wissensbasierte Systeme	INF-PM-FPA, INF-PM-FPG	0/0/8	deutsch	Prof. Krötzsch	P	ZVZ		AVO
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 Existential Rules	INF-AQUA, INF-D-940, INF-PM-FOR, MCL-PS, MCL-TCSL	0/2/0	english	Prof. Krötzsch	U	Mittwoch	3.	APB/E005	wöch.
Theoretische Informatik und Logik	INF-B-290, INF-D-330	4/2/0	deutsch	Prof. Krötzsch	V V U U U U U U U	Montag Freitag Dienstag Dienstag Mittwoch Mittwoch Donnerstag Donnerstag Freitag	2. 3. 2. 5. 4. 5. 1. 6. 2.	HSZ/0004 HSZ/0004 APB/E008 APB/E010 APB/E001 APB/E001 APB/E008 APB/E010 APB/E009	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
• 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