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

Version vom 16.10.2017



Bildverarbeitung

nach oben


Lehrveranstaltung
Module
SWS
Sprache
Dozent
Art
Tag
DS
Raum
Woche
Anwendungs-, Forschungsprojekt Computer Vision
INF-PM-FPA, INF-PM-FPG
8P/PB
deutsch
Dr. rer. nat Guthier
P
ZVZ

AVO

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


Dr. rer. nat Guthier


V
U
U
Dienstag
Dienstag
Dienstag
1.
2.
4.
APB/E023
APB/E046
APB/E046
wöch.
wöch.
wöch.
Intelligente Systeme





INF-B-3B0, INF-D-340





2/2/0





deutsch





Prof. Schroeder, Dr. Schlesinger, Dr. rer. nat Guthier





V
U
U
U
U
U
Mittwoch
Montag
Dienstag
Mittwoch
Donnerstag
Freitag
2.
6.
5.
6.
4.
5.
APB/E023
APB/E009
PAU/0212
APB/E001
BAR/0106
APB/E001
wöch.
wöch.
wöch.
wöch.
wöch.
wöch.

Computational Logic

nach oben


Lehrveranstaltung
Module
SWS
Sprache
Dozent
Art
Tag
DS
Raum
Woche
Forschungsprojekt Computational Logic
INF-MA-PR, INF-PM-FPA, INF-PM-FPG
0/0/8
deutsch
Prof. Rudolph
P
ZVZ

AVO

Foundations of Constraint Programming

INF-BAS2, INF-VERT2, MCL-LCP

1/1/0

english

Prof. Rudolph

V
U
Montag
Montag
6.
6.
APB/E005
APB/E005
1. Wo.
2. Wo.
Foundations of Logic Programming

INF-BAS2, INF-VERT2, MCL-LCP

2/1/0

english

Prof. Rudolph

V
U
Montag
Freitag
5.
5.
APB/E005
APB/E005
wöch.
1. Wo.
Introduction to Formal Concept Analysis

INF-BAS2, INF-E-3, MCL-KR, MCL-PI

2/2/0

english

Prof. Rudolph

V
U
Montag
Montag
3.
2.
APB/E005
APB/E005
wöch.
wöch.
Project Group Computational Logic
MCL-P
0/0/4
english
Prof. Rudolph
P
ZVZ

AVO

Seminar Practical Planning for Angry Birds
MCL-KR, MCL-PCS, MCL-PI
0/2/0
english
Prof. Rudolph
U
Freitag
5.
AVO
wöch.

Wissenschaftliches Rechnen für Systembiologie

nach oben


Lehrveranstaltung
Module
SWS
Sprache
Dozent
Art
Tag
DS
Raum
Woche
Forschungsprojekt angewandte biomedizinische Bildverarbeitung
INF-PM-FPA
8P/PB
deutsch
Prof. Sbalzarini
P
ZVZ

AVO

Forschungsprojekt Computersimulation biologischer Systeme
INF-PM-FPG
8P/PB
deutsch
Prof. Sbalzarini
P
ZVZ

AVO

Lab rotation Computational Biology
INF-B-510
0/0/2
english
Prof. Sbalzarini
P
ZVZ

AVO

Particle Methods
DSE-14-E13, DSE-14-E14, INF-BAS7, INF-VERT7
2/2/0
english
Prof. Sbalzarini
V
Mittwoch
3.
APB/2026
wöch.

Wissensverarbeitung

nach oben


Lehrveranstaltung
Module
SWS
Sprache
Dozent
Art
Tag
DS
Raum
Woche
Foundations Repetition
MCL-F
0/2/0
english
Prof. Hölldobler
U
ZVZ

AVO

Human Reasoning and Computational Logic


INF-E-3, INF-PM-FOR, INF-VERT2, MCL-KR, MCL-PI


4/2/0


english


Prof. Hölldobler


V
V
U
Mittwoch
Donnerstag
Mittwoch
3.
5.
4.
APB/E005
APB/E005
APB/E005
wöch.
wöch.
wöch.
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
U
Montag
6.
AVO
wöch.
Logic



DSE-14-E12, MCL-F



2/2/0



english



Prof. Hölldobler



V
V
U
U
Montag
Donnerstag
Dienstag
Freitag
4.
4.
2.
6.
APB/E005
APB/E005
APB/E005
APB/E005
1. Wo.
1. Wo.
1. Wo.
1. Wo.
Project Group Knowledge Representation and Reasoning
INF-MA-PR, MCL-P
0/0/4
english
Prof. Hölldobler
P
ZVZ

AVO

Science of Computational Logic



DSE-14-E12, INF-BAS2, MCL-F



2/2/0



english



Prof. Hölldobler



V
V
U
U
Montag
Donnerstag
Dienstag
Freitag
4.
4.
2.
6.
APB/E005
APB/E005
APB/E005
APB/E005
2. Wo.
2. Wo.
2. Wo.
2. Wo.

Anmerkungen

nach oben

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:



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