Lehrangebot Sommersemester 2020 - Institut für Künstliche Intelligenz

Version vom 24.02.2020



Computational Logic

nach oben


Lehrveranstaltung
Module
SWS
Sprache
Dozent
Academic Skills in Computer Science
INF-04-FG-SWT, INF-AQUA, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-BAS3, INF-VERT3, MCL-CS
2/2/0
english
Prof. Rudolph
Deduction Systems
INF-BAS2, INF-VERT2, MCL-ILS
1/1/0
english
Prof. Rudolph
Forschungsprojekt Computational Logic
INF-MA-PR, INF-PM-FPA, INF-PM-FPG
0/0/8
deutsch
Prof. Rudolph
Komplexpraktikum Computational Logic
INF-B-510, INF-B-520
0/0/4
deutsch
Prof. Rudolph
Logical Modeling
INF-BAS2, INF-VERT2, MCL-PS
0/2/0
english
Prof. Rudolph
Problem Solving and Search in AI
INF-BAS2, INF-VERT2, MCL-AI, MCL-KR, MCL-PI
2/2/2
english
Dr. Gaggl
Project Group Computational Logic
MCL-P
0/0/4
english
Prof. Rudolph

Maschinelles Lernen für Computer Vision

nach oben


Lehrveranstaltung
Module
SWS
Sprache
Dozent
Computer Vision II
CMS-CLS-ELG, CMS-VC-ELV1, CMS-VC-ELV2, INF-04-FG-IS, INF-B-520, INF-B-540, INF-BAS2, INF-BAS7, INF-E-3, INF-LE-MA, INF-PM-ANW, INF-PM-FOR, INF-VERT2, INF-VERT7, INF-VMI-8, MATH-MA-INFGDV
2/2/0
english
Prof. Dr. Andres
Machine Learning 2
CMS-CLS-ELG, CMS-COR-MLD, CMS-VC-ELV1, CMS-VC-ELV2, INF-04-FG-IS, INF-B-520, INF-B-540, INF-BAS2, INF-BAS7, INF-E-3, INF-LE-MA, INF-PM-FOR, INF-VERT2, INF-VERT7, INF-VMI-8, MATH-MA-INFGDV, MCL-AI
2/2/0
english
Prof. Dr. Andres

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
Particle Methods
CMS-CLS-ELV, CMS-VC-ELV1, CMS-VC-ELV2, DSE-14-E13, DSE-14-E14, INF-VERT7
2/2/0
english
Prof. Sbalzarini
Seminar Computational Life Science
CMS-SEM
0/2/0
english
Prof. Sbalzarini
Spatiotemporal Modeling and Simulation of Biological Systems
CMS-CLS-MOS, DSE-14-E13, DSE-14-E14, INF-BAS2, INF-BAS3, INF-BAS7, INF-VERT2, INF-VERT3, INF-VERT7
2/2/0
english
Prof. Sbalzarini

Wissensverarbeitung

nach oben


Lehrveranstaltung
Module
SWS
Sprache
Dozent
Answer Set Programming
INF-B-510, INF-B-520, INF-D-520
2/2/0
deutsch, english
Prof. Hölldobler
Knowledge Representation and Reasoning
INF-04-HS, INF-AQUA, INF-D-940, MCL-PS
0/2/0
english
Prof. Hölldobler
KRR-Reading Class
INF-PM-FOR, INF-VERT2, MCL-KR, MCL-PI
2/2/0
english
Prof. Hölldobler
Parameterized Algorithms and Implementations for SAT and Generalizations
INF-BAS2, INF-BAS3, INF-E-3, INF-PM-FOR, INF-VERT2, MCL-KR, MCL-PI
2/1/1
english
Dr. Fichte
Project Group Knowledge Representation and Reasoning
MCL-P
0/0/4
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 Sommersemester 2020 - Institut für Künstliche Intelligenz