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.
Binäre Entscheidungsgraphen	INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6	2/0/0	deutsch	Prof. Baier, Dr. Klüppelholz	V	Mittwoch	2.	APB/E008	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-PCS	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-PCS	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
Fuzzy Description Logic	INF-04-FG-IS, INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-PM-FOR, INF-VERT6, MCL-KR, MCL-TCSL	2/1/0	english	Dr. Turhan	V U	Dienstag Mittwoch	6. 5.	APB/E005 APB/E005	wöch. 2. Wo.
Komplexpraktikum Theoretische Informatik	INF-04-KP, INF-MA-PR, IST-05-KP, MINF-04-KP-FG2	0/0/4, 0/0/8	deutsch	Dr. Borchmann	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	Dr. Sturm	U	ZVZ	ZVZ	APB/E009	wöch.
Seminar Theoretical Computer Science	INF-04-HS, INF-AQUA, INF-D-940, MCL-PCS, MCL-PI, MCL-TCSL	0/2/0	english	Dr. Turhan	U	Montag	3.	APB/E005	wöch.

Grundlagen der Programmierung

nach oben

Lehrveranstaltung	Module	SWS	Sprache	Dozent	Art	Tag	DS	Raum	Woche
Doktorandenseminar Grundlagen der Programmierung	FAK-INF-FF	0/2/0	deutsch	Prof. Vogler	U	ZVZ		AVO
Ergänzungen zum Maschinellen Übersetzen natürlicher 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. 5. 3.	APB/E006 APB/E006 APB/E008	wöch. wöch. wöch.
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
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
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 U U U	Freitag Montag Montag Dienstag Dienstag Dienstag Dienstag Dienstag Mittwoch Mittwoch Mittwoch Mittwoch Donnerstag Donnerstag Donnerstag Freitag Freitag	2. 2. 4. 1. 2. 4. 6. 6. 1. 1. 5. 6. 1. 1. 1. 1. 4.	HSZ/0003 APB/E008 APB/E006 WIL/A221 HSZ/0103 ZEU/0114 APB/E009 VMB/0302 APB/E001 WIL/A221 BAR/0106 APB/E009 BAR/0218 REC/C118 VMB/0302 WIL/A221 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. 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
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	Mittwoch Freitag Dienstag Dienstag Mittwoch Donnerstag Donnerstag Freitag	4. 3. 2. 5. 5. 1. 6. 2.	HSZ/0004 HSZ/0004 APB/E008 APB/E010 APB/E001 APB/E008 APB/E010 APB/E009	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