| Lehrveranstaltung |
Module |
SWS |
Sprache |
Dozent |
|---|---|---|---|---|
| Anwendungs-, Forschungsprojekt Computer Vision |
INF-PM-FPA, INF-PM-FPG |
8P/PB |
deutsch |
Dr. rer. nat Guthier |
| Computer Vision 1 |
INF-B-510, INF-B-530, INF-BAS2, INF-BAS7, INF-E-3, INF-LE-MA, INF-PM-ANW, INF-VERT2, INF-VERT7, INF-VMI-8, MATH-MA-INFGDV, MCL-AI |
2/2/0 |
english |
Dr. rer. nat Guthier |
| Intelligente Systeme |
INF-B-3B0, INF-D-340 |
2/2/0 |
deutsch |
Prof. Schroeder, Dr. Schlesinger, Dr. rer. nat Guthier |
| Komplexpraktikum Computer Vision |
INF-04-KP, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-E-4, INF-MA-PR, INF-VERT2, IST-05-KP, MINF-04-KP-FG1 |
0/0/4, 0/0/8 |
deutsch |
Prof. Gumhold, Dr. rer. nat Guthier |
| Lehrveranstaltung |
Module |
SWS |
Sprache |
Dozent |
|---|---|---|---|---|
| Forschungsprojekt Computational Logic |
INF-MA-PR, INF-PM-FPA, INF-PM-FPG |
0/0/8 |
deutsch |
Prof. Rudolph |
| Foundations of Constraint Programming |
INF-BAS2, INF-VERT2, MCL-LCP |
1/1/0 |
english |
Prof. Rudolph |
| Foundations of Logic Programming |
INF-BAS2, INF-VERT2, MCL-LCP |
2/1/0 |
english |
Prof. Rudolph |
| Introduction to Formal Concept Analysis |
INF-BAS2, INF-E-3, MCL-AI, MCL-KR, MCL-PI |
2/2/0 |
english |
Prof. Rudolph |
| Project Group Computational Logic |
MCL-P |
0/0/4 |
english |
Prof. Rudolph |
| Semantic Computing |
INF-BAS2, INF-VERT2, MCL-AI, MCL-KR |
2/2/0 |
english |
Dr. phil. Gromann |
| Seminar Practical Planning for Angry Birds |
MCL-KR, MCL-PI, MCL-PS |
0/2/0 |
english |
Prof. Rudolph |
| Lehrveranstaltung |
Module |
SWS |
Sprache |
Dozent |
|---|---|---|---|---|
| Basic Numerical Methods |
CMS-COR-NUM |
2/2/0 |
english |
Prof. Sbalzarini |
| Forschungsprojekt angewandte biomedizinische Bildverarbeitung |
INF-PM-FPA |
8P/PB |
deutsch |
Prof. Sbalzarini |
| Forschungsprojekt Computersimulation biologischer Systeme |
INF-PM-FPG |
8P/PB |
deutsch |
Prof. Sbalzarini |
| Philosophy of Science and good Scientific Practice |
CMS-SKL |
2/0/0 |
english |
Prof. Sbalzarini |
| Stochastic Modeling and Simulation |
CMS-COR-SAP |
2/1/0 |
english |
Prof. Sbalzarini |
| Lehrveranstaltung |
Module |
SWS |
Sprache |
Dozent |
|---|---|---|---|---|
| Formale Systeme |
INF-B-270, INF-B-275, INF-LE-EUI, IST-05-PF-HS |
4/2/0 |
deutsch |
Prof. Hölldobler |
| Knowledge Representation and Reasoning |
INF-04-HS, INF-AQUA, MCL-PS |
0/2/0 |
english |
Prof. Hölldobler |
| Logic |
DSE-14-E12, MCL-F |
2/2/0 |
english |
Prof. Hölldobler |
| Project Group Knowledge Representation and Reasoning |
MCL-P |
0/0/4 |
english |
Prof. Hölldobler |
| Science of Computational Logic |
DSE-14-E12, INF-BAS2, MCL-F |
2/2/0 |
english |
Prof. Hölldobler |
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: