Modulverantwortlicher: Prof.Wollschlaeger, AI
Modulbeschreibung: INF-BAS1.pdf
Dieses Modul ist Bestandteil der Studiengänge:
In diesem Modul können entsprechend der Vorgaben der Modulbeschreibung zusätzlich alle im Modul INF-VERT1 angebotenen Lehrveranstaltungen besucht werden (bis max. 4 SWS). Diese setzen jedoch zum Teil Vorwissen und spezielle Fachkenntnisse voraus.
Im Sommersemester 2020 werden in diesem Modul keine Lehrveranstaltungen angeboten.
Modulverantwortlicher: Prof.Rother, KI
Modulbeschreibung: INF-BAS2.pdf
Dieses Modul ist Bestandteil der Studiengänge:
In diesem Modul können entsprechend der Vorgaben der Modulbeschreibung zusätzlich alle im Modul INF-VERT2 angebotenen Lehrveranstaltungen besucht werden (bis max. 4 SWS). Diese setzen jedoch zum Teil Vorwissen und spezielle Fachkenntnisse voraus.
| 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 |
| 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-BAS3.pdf
Dieses Modul ist Bestandteil der Studiengänge:
In diesem Modul können entsprechend der Vorgaben der Modulbeschreibung zusätzlich alle im Modul INF-VERT3 angebotenen Lehrveranstaltungen besucht werden (bis max. 4 SWS). Diese setzen jedoch zum Teil Vorwissen und spezielle Fachkenntnisse voraus.
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Academic Skills in Computer Science |
2/2/0 |
english |
Prof. Rudolph |
KI |
| Academic Skills in Software Engineering |
3/1/0 |
english |
Dr. Götz |
SMT |
| Automotive Software Engineering |
2/0/0 |
deutsch |
Dr.-Ing. Conrad |
SMT |
| Compilerbau |
2/0/0 |
deutsch |
Prof. Castrillon-Mazo |
TEI |
| Compilerbau - Übung zur Vorlesung |
0/2/0 |
deutsch |
Prof. Castrillon-Mazo |
TEI |
| Component Based Software Engineering |
2/2/0 |
english |
Dr. Götz |
SMT |
| Foundations of Concurrent and Distributed Systems |
4/0/0 |
english |
Prof. Fetzer |
SYA |
| Hauptseminar Engineering trustworthy Cyber-Physical Systems |
0/2/0 |
english |
Prof. Furrer |
SMT |
| Hauptseminar Softwaretechnologie |
0/2/0 |
deutsch |
Dr. Wendt |
SMT |
| Hauptseminar Usability von Informationssystemen |
0/2/0 |
deutsch |
Dr.-Ing. Loitsch |
AI |
| Internet and Web Applications |
2/2/0 |
english |
Prof. Schill, Dr. Feldmann |
SYA |
| Parameterized Algorithms and Implementations for SAT and Generalizations |
2/1/1 |
english |
Dr. Fichte |
KI |
| Software Fault Tolerance |
2/2/0 |
english |
Prof. Fetzer, Dr. Martin |
SYA |
| Software-Reengineering |
2/2/0 |
english |
Prof. Aßmann, Hr. Sneed |
SMT |
| Softwaremanagement |
2/2/0 |
deutsch |
Dr. Demuth |
SMT |
| Spatiotemporal Modeling and Simulation of Biological Systems |
2/2/0 |
english |
Prof. Sbalzarini |
KI |
Modulverantwortlicher: Prof.Lehner, SYA
Modulbeschreibung: INF-BAS4.pdf
Dieses Modul ist Bestandteil der Studiengänge:
In diesem Modul können entsprechend der Vorgaben der Modulbeschreibung zusätzlich alle im Modul INF-VERT4 angebotenen Lehrveranstaltungen besucht werden (bis max. 4 SWS). Diese setzen jedoch zum Teil Vorwissen und spezielle Fachkenntnisse voraus.
| 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 |
| 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 |
| 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-BAS5.pdf
Dieses Modul ist Bestandteil der Studiengänge:
In diesem Modul können entsprechend der Vorgaben der Modulbeschreibung zusätzlich alle im Modul INF-VERT5 angebotenen Lehrveranstaltungen besucht werden (bis max. 4 SWS). Diese setzen jedoch zum Teil Vorwissen und spezielle Fachkenntnisse voraus.
Im Sommersemester 2020 werden in diesem Modul keine Lehrveranstaltungen angeboten.
Modulverantwortlicher: Prof.Baader, THI
Modulbeschreibung: INF-BAS6.pdf
Dieses Modul ist Bestandteil der Studiengänge:
In diesem Modul können entsprechend der Vorgaben der Modulbeschreibung zusätzlich alle im Modul INF-VERT6 angebotenen Lehrveranstaltungen besucht werden (bis max. 4 SWS). Diese setzen jedoch zum Teil Vorwissen und spezielle Fachkenntnisse voraus.
| 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-BAS7.pdf
Dieses Modul ist Bestandteil der Studiengänge:
In diesem Modul können entsprechend der Vorgaben der Modulbeschreibung zusätzlich alle im Modul INF-VERT7 angebotenen Lehrveranstaltungen besucht werden (bis max. 4 SWS). Diese setzen jedoch zum Teil Vorwissen und spezielle Fachkenntnisse voraus.
| Lehrveranstaltung |
SWS |
Sprache |
Dozent |
Institut |
|---|---|---|---|---|
| Computergraphik II |
2/2/0 |
english |
Prof. Gumhold |
SMT |
| Hauptseminar Computergraphik und Visualisierung |
0/2/0 |
deutsch, english |
Prof. Gumhold |
SMT |
| Spatiotemporal Modeling and Simulation of Biological Systems |
2/2/0 |
english |
Prof. Sbalzarini |
KI |
| Wissenschaftliche Visualisierung |
2/2/0 |
deutsch |
Prof. Gumhold |
SMT |
Informationen: Nebenfach-Seiten der Fakultät Informatik
Modulverantwortlicher: Studiendekan, INF
Modulbeschreibung: INF-BAS8.pdf
Dieses Modul ist Bestandteil der Studiengänge:
In diesem Modul können entsprechend der Vorgaben der Modulbeschreibung zusätzlich alle im Modul INF-VERT8 angebotenen Lehrveranstaltungen besucht werden (bis max. 4 SWS). Diese setzen jedoch zum Teil Vorwissen und spezielle Fachkenntnisse voraus.
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: