Modulverantwortlicher: Prof.Wollschlaeger, AI
Modulbeschreibung: INF-VERT1.pdf
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Ethernet-basierte Systeme in der Industrie |
2/0/0 |
deutsch |
Prof. Wollschlaeger |
AI |
| Industrielle Kommunikationssysteme |
2/0/0 |
deutsch |
Prof. Wollschlaeger |
AI |
| Informationsmodelle in der Automation |
2/0/0 |
deutsch |
Dr.-Ing. Hilbert |
AI |
| Komplexpraktikum Mensch-Computer Interaktion |
0/0/4 |
deutsch |
Dr.-Ing. Loitsch |
AI |
| Komplexpraktikum Prozesskommunikation |
0/0/4 |
deutsch |
Prof. Wollschlaeger |
AI |
| Praktikum Embedded Hardware Systems Design |
0/0/2 |
english |
Prof. Dr. Kumar |
TEI |
| Praktikum Ethernet-basierte Systeme in der Industrie |
0/0/2 |
deutsch |
Prof. Wollschlaeger |
AI |
| Praktikum Industrielle Kommunikationssysteme |
0/0/2 |
deutsch |
Prof. Wollschlaeger |
AI |
| Produktionssteuerung - innovative Leittechnologie für die Industrie |
1/0/1 |
deutsch |
Prof. Wollschlaeger |
AI |
Modulverantwortlicher: Prof.Rother, KI
Modulbeschreibung: INF-VERT2.pdf
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Deduction Systems |
1/1/0 |
english |
Prof. Rudolph |
KI |
| Formale Baumsprachen |
4/2/0 |
deutsch |
Prof. Vogler |
THI |
| Komplexpraktikum Computergraphik und Visualisierung |
0/0/4 |
deutsch |
Prof. Gumhold |
SMT |
| KRR-Reading Class |
2/2/0 |
english |
Prof. Hölldobler |
KI |
| Logical Modeling |
0/2/0 |
english |
Prof. Rudolph |
KI |
| Parameterized Algorithms and Implementations for SAT and Generalizations |
2/1/1 |
english |
Dr. Fichte |
KI |
| Parsing von natürlichen Sprachen |
4/2/0 |
deutsch |
Prof. Vogler |
THI |
| Problem Solving and Search in AI |
2/2/2 |
english |
Dr. Gaggl |
KI |
| Spatiotemporal Modeling and Simulation of Biological Systems |
2/2/0 |
english |
Prof. Sbalzarini |
KI |
Modulverantwortlicher: Prof.Dachselt, SMT
Modulbeschreibung: INF-VERT3.pdf
Dieses Modul ist Bestandteil der Studiengänge:
Modulverantwortlicher: Prof.Lehner, SYA
Modulbeschreibung: INF-VERT4.pdf
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Compilerbau |
2/0/0 |
deutsch |
Prof. Castrillon-Mazo |
TEI |
| Compilerbau - Übung zur Vorlesung |
0/2/0 |
deutsch |
Prof. Castrillon-Mazo |
TEI |
| Datenintegration und -analyse |
2/2/0 |
deutsch |
Prof. Lehner, Dr. Thiele |
SYA |
| Distributed Operating Systems |
2/1/0 |
english |
Prof. Härtig |
SYA |
| Embedded Hardware Systems Design |
2/0/0 |
english |
Prof. Dr. Kumar |
TEI |
| Foundations of Concurrent and Distributed Systems |
4/0/0 |
english |
Prof. Fetzer |
SYA |
| Hauptseminar Datenbanken |
0/2/0 |
deutsch |
Prof. Lehner |
SYA |
| Internet and Web Applications |
2/2/0 |
english |
Prof. Schill, Dr. Feldmann |
SYA |
| Kryptographie und -analyse |
2/2/0 |
deutsch |
Dr. Franz |
SYA |
| Microkernel Construction |
2/0/0 |
english |
Prof. Härtig, Dr.-Ing. Weinhold |
SYA |
| Praktikum Embedded Hardware Systems Design |
0/0/2 |
english |
Prof. Dr. Kumar |
TEI |
| Resilient Networking |
2/2/0 |
english |
Prof. Strufe |
SYA |
| Scalable Data Processing Concepts |
2/2/0 |
deutsch |
Prof. Lehner |
SYA |
| Schedulingtheorie |
2/0/0 |
deutsch |
Prof. Härtig, Dr. Hamann |
SYA |
| Security and Cryptography II |
2/2/0 |
english |
Dr. Köpsell |
SYA |
| Seminar Embedded Hardware Systems Design |
0/2/0 |
english |
Prof. Dr. Kumar |
TEI |
| Software Fault Tolerance |
2/2/0 |
english |
Prof. Fetzer, Dr. Martin |
SYA |
| Systemsicherheits-Labor |
2/2/0 |
deutsch |
Dr. Köpsell |
SYA |
| Wireless Sensor Networks |
2/2/0 |
english |
Dr. Dargie |
SYA |
Modulverantwortlicher: Prof.Göhringer, TEI
Modulbeschreibung: INF-VERT5.pdf
Dieses Modul ist Bestandteil der Studiengänge:
Modulverantwortlicher: Prof.Baader, THI
Modulbeschreibung: INF-VERT6.pdf
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Advanced Logics |
4/2/0 |
english |
Prof. Baier |
THI |
| Database Theory |
4/2/0 |
english |
Dr. Carral |
THI |
| Description Logic |
4/2/0 |
english |
Dr. Turhan |
THI |
| Formale Baumsprachen |
4/2/0 |
deutsch |
Prof. Vogler |
THI |
| Logic-based Ontology Engineering |
2/2/0 |
english |
Dr.-Ing. Borgwardt |
THI |
| Parsing von natürlichen Sprachen |
4/2/0 |
deutsch |
Prof. Vogler |
THI |
| Probabilistic Model Checking |
1/1/0 |
english |
Dr. Klüppelholz |
THI |
Modulverantwortlicher: Prof.Gumhold, SMT
Modulbeschreibung: INF-VERT7.pdf
Dieses Modul ist Bestandteil der Studiengänge:
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Advanced User Interfaces |
2/2/0 |
deutsch, english |
Dr.-Ing. Lehmann |
SMT |
| Computergraphik II |
2/2/0 |
english |
Prof. Gumhold |
SMT |
| Hauptseminar Advanced User Interfaces |
0/2/0 |
deutsch |
Dr.-Ing. Lehmann |
SMT |
| Hauptseminar Computergraphik und Visualisierung |
0/2/0 |
deutsch, english |
Prof. Gumhold |
SMT |
| Komplexpraktikum Computergraphik und Visualisierung |
0/0/4 |
deutsch |
Prof. Gumhold |
SMT |
| Particle Methods |
2/2/0 |
english |
Prof. Sbalzarini |
KI |
| Spatiotemporal Modeling and Simulation of Biological Systems |
2/2/0 |
english |
Prof. Sbalzarini |
KI |
| Wissenschaftliche Visualisierung |
2/2/0 |
deutsch |
Prof. Gumhold |
SMT |
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: