Modulverantwortlicher: Prof.Baier, THI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Automata and Logic |
4/2/0 |
english |
Prof. Baader, Dr. Borchmann |
THI |
V V U |
Dienstag Donnerstag Mittwoch |
6. 6. 5. |
APB/E005 APB/E005 APB/E005 |
wöch. wöch. wöch. |
Modulverantwortlicher: Fakultät Informatik, INF
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Component Based Software Engineering |
2/2/0 |
english |
Prof. Aßmann |
SMT |
V U |
Mittwoch Freitag |
2. 5. |
APB/E023 APB/E023 |
wöch. wöch. |
| Foundations of Concurrent and Distributed Systems |
4/0/0 |
english |
Prof. Fetzer |
SYA |
V V |
Dienstag Dienstag |
1. 2. |
APB/E008 APB/E008 |
wöch. wöch. |
| Internet and Web Applications |
2/2/0 |
english |
Prof. Schill |
SYA |
V |
Donnerstag |
5., 6. |
APB/E023 |
wöch. |
| Security and Cryptography II |
2/2/0 |
deutsch |
Prof. Strufe, Dr. Köpsell |
SYA |
V U |
Dienstag Donnerstag |
3. 5. |
APB/E008 APB/E001 |
wöch. wöch. |
| Wireless Sensor Networks |
2/2/0 |
english |
Prof. Schill, Dr. Dargie |
SYA |
V U |
Dienstag Donnerstag |
3. 2. |
APB/E006 APB/E007 |
wöch. wöch. |
Modulverantwortlicher: Prof.Hölldobler, KI
Dieses Modul ist Bestandteil der Studiengänge:
Im Sommersemester 2015 werden in diesem Modul keine Lehrveranstaltungen angeboten.
Modulverantwortlicher: Dr.Schröder, MATH
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Deduction Systems |
1/1/0 |
english |
Prof. Rudolph |
KI |
V U |
Donnerstag Donnerstag |
4. 4. |
APB/E005 APB/E005 |
1. Wo. 2. Wo. |
| Semantic Search: Algorithms and Applications |
2/2/0 |
english |
Prof. Schroeder |
BIOTEC |
V U |
Mittwoch Mittwoch |
2. 3. |
BIZ/2.512 BIZ/E030 |
wöch. wöch. |
Modulverantwortlicher: Prof.Rother, KI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Automata and Logic |
4/2/0 |
english |
Prof. Baader, Dr. Borchmann |
THI |
V V U |
Dienstag Donnerstag Mittwoch |
6. 6. 5. |
APB/E005 APB/E005 APB/E005 |
wöch. wöch. wöch. |
| Foundations of Databases and Query Languages |
2/2/0 |
english |
Dr. Krötzsch |
THI |
V U |
Montag Freitag |
3. 4. |
APB/E005 APB/E005 |
wöch. wöch. |
| Foundations of Semantic Web Technologies |
4/2/0 |
english |
Prof. Rudolph |
KI |
V V U |
Donnerstag Donnerstag Mittwoch |
2. 3. 4. |
APB/E005 APB/E005 APB/E005 |
wöch. wöch. wöch. |
| Knowledge Representation and Reasoning |
0/2/0 |
english |
Prof. Hölldobler |
KI |
U |
Montag |
2. |
APB/E005 |
wöch. |
| Problem Solving and Search in AI |
2/1/1 |
english |
Dr. Gaggl |
KI |
V V |
Dienstag Dienstag |
2. 3. |
APB/E005 APB/E005 |
wöch. 1. Wo. |
| SAT Solving |
2/2/0 |
english |
Prof. Hölldobler |
KI |
V U |
Montag Montag |
4. 5. |
APB/E005 APB/E005 |
wöch. wöch. |
Modulverantwortlicher: Prof.Rother, KI
Dieses Modul ist Bestandteil der Studiengänge:
Im Sommersemester 2015 werden in diesem Modul keine Lehrveranstaltungen angeboten.
Modulverantwortlicher: Fakultät Informatik, INF
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Project Group Computational Logic |
0/0/4 |
english |
Prof. Rudolph |
KI |
P |
ZVZ |
ZVZ |
APB/E005 |
wöch. |
| Project Group Knowledge Representation and Reasoning |
0/0/4 |
english |
Prof. Hölldobler |
KI |
P |
ZVZ |
ZVZ |
APB/E005 |
wöch. |
| Project Group Model Checking |
0/0/4 |
english |
Prof. Baier, Dr. Klüppelholz |
THI |
P |
ZVZ |
AVO |
||
| Project Group Semantic Search |
0/0/4 |
english |
Prof. Schroeder |
BIOTEC |
P |
ZVZ |
ZVZ |
APB/E005 |
wöch. |
| Project Group Theoretical Computer Science |
0/0/4 |
english |
Prof. Baader |
THI |
P |
ZVZ |
ZVZ |
APB/E005 |
wöch. |
Modulverantwortlicher: Fakultät Informatik, INF
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Knowledge Representation and Reasoning |
0/2/0 |
english |
Prof. Hölldobler |
KI |
U |
Montag |
2. |
APB/E005 |
wöch. |
| Lab Course Modeling and Automated Verification |
0/2/0 |
english |
Prof. Baier, Dr. Peters, Dr. Klüppelholz |
THI |
P |
Freitag |
5. |
APB/E005 |
wöch. |
| Seminar Selected Topics in Logic and Verification |
0/2/0 |
english |
Prof. Baier, Dr. Peters, Dr. Klüppelholz |
THI |
U |
Mittwoch |
6. |
APB/E005 |
wöch. |
| Seminar Theoretical Computer Science |
0/2/0 |
english |
Prof. Baader, Dr. Lippmann |
THI |
U |
Freitag |
3. |
APB/3027 |
wöch. |
Modulverantwortlicher: Prof.Hölldobler, KI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Automata and Logic |
4/2/0 |
english |
Prof. Baader, Dr. Borchmann |
THI |
V V U |
Dienstag Donnerstag Mittwoch |
6. 6. 5. |
APB/E005 APB/E005 APB/E005 |
wöch. wöch. wöch. |
| Foundations of Databases and Query Languages |
2/2/0 |
english |
Dr. Krötzsch |
THI |
V U |
Montag Freitag |
3. 4. |
APB/E005 APB/E005 |
wöch. wöch. |
| Foundations of Semantic Web Technologies |
4/2/0 |
english |
Prof. Rudolph |
KI |
V V U |
Donnerstag Donnerstag Mittwoch |
2. 3. 4. |
APB/E005 APB/E005 APB/E005 |
wöch. wöch. wöch. |
| Knowledge Representation and Reasoning |
0/2/0 |
english |
Prof. Hölldobler |
KI |
U |
Montag |
2. |
APB/E005 |
wöch. |
| Problem Solving and Search in AI |
2/1/1 |
english |
Dr. Gaggl |
KI |
V V |
Dienstag Dienstag |
2. 3. |
APB/E005 APB/E005 |
wöch. 1. Wo. |
| SAT Solving |
2/2/0 |
english |
Prof. Hölldobler |
KI |
V U |
Montag Montag |
4. 5. |
APB/E005 APB/E005 |
wöch. wöch. |
| Seminar Theoretical Computer Science |
0/2/0 |
english |
Prof. Baader, Dr. Lippmann |
THI |
U |
Freitag |
3. |
APB/3027 |
wöch. |
Modulverantwortlicher: Prof.Baader, THI
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
Art |
Tag |
DS |
Raum |
Woche |
|---|---|---|---|---|---|---|---|---|---|
| Automata and Logic |
4/2/0 |
english |
Prof. Baader, Dr. Borchmann |
THI |
V V U |
Dienstag Donnerstag Mittwoch |
6. 6. 5. |
APB/E005 APB/E005 APB/E005 |
wöch. wöch. wöch. |
| Foundations of Databases and Query Languages |
2/2/0 |
english |
Dr. Krötzsch |
THI |
V U |
Montag Freitag |
3. 4. |
APB/E005 APB/E005 |
wöch. wöch. |
| Introduction to theorem-proving with Isabelle/HOL |
2/0/0 |
english |
Dr. Peters |
THI |
V |
Montag |
6. |
APB/E005 |
wöch. |
| Seminar Theoretical Computer Science |
0/2/0 |
english |
Prof. Baader, Dr. Lippmann |
THI |
U |
Freitag |
3. |
APB/3027 |
wöch. |
Tag, Raum
Woche
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
und folgende "Module" für ältere Studiengänge und Sonstiges
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: