Lehrangebot Wintersemester 2020/2021 - Institut Künstliche Intelligenz

Version vom 31.05.2021

Computational Logic

nach oben
Lehrveranstaltung Modul SWS Sprache Dozent Institut Art Tag DS Raum Woche
Forschungsprojekt Computational Logic INF-MA-PR , INF-PM-FPA , INF-PM-FPG 0/0/8 deutsch Prof. Rudolph Künstliche Intelligenz ZVZ AVO
Forschungsseminar Logik und KI INF-AQUA , INF-PM-FOR 0/2/0 englisch Prof. Rudolph Künstliche Intelligenz ZVZ AVO
Foundations of Knowledge Representation CMS-LM-BAS , INF-BAS2 , INF-VERT2 2/2/0 englisch Prof. Rudolph Künstliche Intelligenz V
Ü
Montag
Donnerstag
5.
1.
APB/E005/U
APB/E005/U
wöchentlich
wöchentlich
Foundations of Logic Programming CMS-LM-BAS , INF-BAS2 , INF-VERT2 2/0/0 englisch Prof. Rudolph Künstliche Intelligenz V Montag 6. APB/E005/U wöchentlich
Introduction to Formal Concept Analysis CMS-LM-ADV , CMS-LM-AI , CMS-LM-MOC , INF-BAS2 , INF-E-3 , MCL-AI , MCL-KR , MCL-PI 2/2/0 englisch Prof. Rudolph Künstliche Intelligenz V
Ü
Montag
Montag
3.
2.
APB/E005/U
APB/E005/U
wöchentlich
wöchentlich
Problem Solving and Search in AI CMS-COR-FAI , INF-BAS2 , INF-VERT2 , MCL-AI , MCL-KR , MCL-PI 2/2/0 englisch Dr. Gómez Álvarez Künstliche Intelligenz V
Ü
Freitag
Freitag
2.
1.
APB/E005/U
APB/E005/U
wöchentlich
wöchentlich
Project Group Computational Logic MCL-P 0/0/4 englisch Prof. Rudolph Künstliche Intelligenz ZVZ AVO

Maschinelles Lernen für Computer Vision

Wissenschaftliches Rechnen für Systembiologie

nach oben
Lehrveranstaltung Modul SWS Sprache Dozent Institut Art Tag DS Raum Woche
Basic Numerical Methods CMS-CLS-ELG , CMS-COR-NUM 2/2/0 englisch Prof. Sbalzarini Künstliche Intelligenz V
Ü
Montag
ZVZ
5.
SCH/A316/H
HSZ/0003/H
wöchentlich
wöchentlich
Forschungsprojekt angewandte biomedizinische Bildverarbeitung INF-PM-FPA 8P/PB deutsch/englisch Prof. Sbalzarini Künstliche Intelligenz ZVZ AVO
Forschungsprojekt Computational Life Science CMS-PROJ 0/0/12 englisch Prof. Sbalzarini Künstliche Intelligenz ZVZ AVO
Forschungsprojekt Computersimulation biologischer Systeme INF-PM-FPG 8P/PB deutsch/englisch Prof. Sbalzarini Künstliche Intelligenz ZVZ AVO
Philosophy of Science and good Scientific Practice CMS-SKL 2/0/0 englisch Prof. Sbalzarini Künstliche Intelligenz V Donnerstag 4. SCH/A251/H wöchentlich
Stochastic Modeling and Simulation CMS-CLS-ELG , CMS-CLS-ELV , CMS-COR-SAP 2/2/0 englisch Prof. Sbalzarini Künstliche Intelligenz V
Ü
Montag
Donnerstag
4.
4.
HSZ/0401/H
SCH/0A01/H
wöchentlich
wöchentlich

Wissensverarbeitung

nach oben
Lehrveranstaltung Modul SWS Sprache Dozent Institut Art Tag DS Raum Woche
Denken als Berechnung INF-B-510 , INF-B-520 , INF-D-520 2/2/0 deutsch Prof. Hölldobler Künstliche Intelligenz ZVZ AVO
Human Reasoning and the Weak Completion Semantics CMS-LM-ADV , CMS-LM-AI , INF-E-3 , INF-PM-FOR , INF-VERT2 , MCL-AI , MCL-KR , MCL-PI 4/2/0 englisch Prof. Hölldobler Künstliche Intelligenz V
V
Ü
Donnerstag
Montag
Freitag
4.
4.
5.
APB/E005/U
APB/E005/U
APB/E005/U
wöchentlich
wöchentlich
wöchentlich
Introduction to Formal Argumentation CMS-LM-ADV , CMS-LM-AI , INF-AQUA , INF-BAS2 , INF-PM-FOR , MCL-KR , MCL-PI 2/2/0 englisch Dr. Cramer Künstliche Intelligenz V
V
Freitag
Mittwoch
6.
4.
APB/E005/U
APB/E005/U
wöchentlich
wöchentlich
Logic and Science of Computational Logic Repetition MCL-F 0/2/0 englisch Prof. Hölldobler Künstliche Intelligenz ZVZ AVO
Project Group Knowledge Representation and Reasoning MCL-P 0/0/4 englisch Prof. Hölldobler Künstliche Intelligenz ZVZ AVO
Seminar Knowledge Representation and Reasoning CMS-LM-ADV , CMS-LM-AI , CMS-SEM , INF-04-HS , INF-AQUA , INF-D-940 , MCL-PS 0/2/0 englisch Prof. Hölldobler Künstliche Intelligenz Ü Donnerstag 5. APB/E005/U wöchentlich

Anmerkungen

nach oben

Tag/Raum

  • ZVZ ... zur vereinbarten Zeit
  • AVO ... am vereinbarten Ort

Wochen

  • wöch. ... wöchentlich
  • 1. Wo ... ungerade Kalenderwoche
  • 2. Wo ... gerade Kalenderwoche

Semester im Sinne der Prüfungsordnung. Die Module werden mit dem jeweiligen Fachsemester ausgewiesen, in dem sie beginnen - Mehrsemestrige Module werden demzufolge mit einem ggf. niedrigeren Fachsemester ausgewiesen als die Studierenden tatsächlich sind..

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

  • MCL-* ... Master Computational Logic
  • DSE-10* ... Master Distributed Systems Engineering (PO 2010)
  • DSE-14* ... Master Distributed Systems Engineering (PO 2014)
  • INF-LA* ... Bachelor/Master Lehramt
  • INF-SE* ... Staatsexamen Lehramt (Gymnasium, Mittelschule, berufsbildende Schulen)

und folgende Pseudo-Module für ältere Studiengänge und Sonstiges

  • INF-04* ... Diplom Informatik, Prüfungs-/ Studienordnung 2004
  • MINF-04* ... Diplom Medieninformatik, Prüfungs-/ Studienordnung 2004
  • IST-05* ... Diplom Informationssystemtechnik, Prüfungs-/ Studienordnung 2005-2010
  • INF-LE* ... Lehrexport an andere Fakultäten/Fachbereiche
  • FAK-INF-FF ... Fakultative Lehrveranstaltungen für alle Studierende an der Fakultät Informatik

Prüfungen 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:

  • Seminararbeit und Präsentation
  • P(m) ... mündliche Prüfung im angegebenen Umfang
  • P(s) ... schriftliche Prüfung im angegebenen Umfang
  • P(PP) ... Praktikumsprotokoll
  • P(sA) ... schriftliche Ausarbeitung
  • P(PA) ... Projektarbeit
  • P(PE) ... bewertbares Ergebnis des Praktikums

Lehrangebot Wintersemester 2020/2021 - Institut Künstliche Intelligenz