Lehrangebot Wintersemester 2017/18 - Institut für Künstliche Intelligenz

Version vom 22.06.2017



Bildverarbeitung

nach oben


Lehrveranstaltung
Module
SWS
Sprache
Dozent
Anwendungs-, Forschungsprojekt Computer Vision
INF-PM-FPA, INF-PM-FPG
8P/PB
deutsch
Prof. Rother
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
2/2/0
english
Prof. Rother
Hauptseminar Advanced Topics in Computer Vision
INF-VERT2
0/2/0
english
Prof. Rother
Hauptseminar Bildanalyse
INF-AQUA, INF-BAS2, INF-BAS7, INF-D-940, INF-VERT2, INF-VERT7, IST-05-HS, MINF-04-HS
0/2/0
english
Prof. Rother
Intelligente Systeme
INF-B-3B0, INF-D-340
2/2/0
deutsch
Prof. Schroeder, Prof. Rother, Dr. Schlesinger
Komplexpraktikum Computer Vision
INF-04-KP, INF-E-4, INF-MA-PR, INF-VERT2, IST-05-KP, MINF-04-KP-FG1
0/0/4, 0/0/8
deutsch
Prof. Rother
Machine Learning 1
INF-04-FG-IS, INF-BAS2, INF-BAS7, INF-E-3
2/2/0
english
Prof. Rother, Dr. Schlesinger
Praktikum Introduction to Computer Vision
INF-04-P, INF-B-510, INF-B-530, INF-BAS2, INF-LE-MA, MATH-MA-INFGDV, MINF-04-FG-MTGW
0/0/2
english
Prof. Rother

Computational Logic

nach oben


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-KR, MCL-PI
2/2/0
english
Prof. Rudolph
Project Group Computational Logic
MCL-P
0/0/4
english
Prof. Rudolph
Seminar Practical Planning for Angry Birds
MCL-KR, MCL-PCS, MCL-PI
0/2/0
english
Prof. Rudolph

Wissenschaftliches Rechnen für Systembiologie

nach oben


Lehrveranstaltung
Module
SWS
Sprache
Dozent
Forschungsprojekt angewandte biomedizinische Bildverarbeitung
INF-PM-FPA
8P/PB
deutsch
Prof. Sbalzarini
Forschungsprojekt Computersimulation biologischer Systeme
INF-PM-FPG
8P/PB
deutsch
Prof. Sbalzarini
Lab rotation Computational Biology
INF-B-510, INF-D-510-COMP-BIO
0/0/2
english
Prof. Sbalzarini
Particle Methods
DSE-14-E13, DSE-14-E14, INF-BAS7, INF-D-510-COMP-BIO, INF-VERT7
2/2/0
english
Prof. Sbalzarini
Reaction Network Simulation
INF-D-510-COMP-BIO
2/2/0
english
Prof. Sbalzarini
Selected Topics in Scientific Computing for Systems Biology
INF-D-510-COMP-BIO
0/2/0
english
Prof. Sbalzarini

Wissensverarbeitung

nach oben


Lehrveranstaltung
Module
SWS
Sprache
Dozent
Foundations Repetition
MCL-F
0/2/0
english
Prof. Hölldobler
Human Reasoning and Computational Logic
INF-E-3, INF-PM-FOR, INF-VERT2, MCL-KR, MCL-PI
4/2/0
english
Prof. Hölldobler
Knowledge Representation and Reasoning
INF-04-HS, INF-AQUA, INF-BAS2, INF-D-940, MCL-KR, MCL-PCS, MCL-PI
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
INF-MA-PR, 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

Anmerkungen

nach oben

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:



Lehrangebot Wintersemester 2017/18 - Institut für Künstliche Intelligenz