Course Catalog Sommersemester 2020 - Institute Künstliche Intelligenz

Version Date 06.02.2020

Computational Logic

back to top
Course Module hours per week Language Lecturer Institute
Project Group Computational Logic MCL-P 0/0/4 english Prof. Rudolph Künstliche Intelligenz
Deduction Systems INF-BAS2 , INF-VERT2 , MCL-ILS 1/1/0 english Prof. Rudolph Künstliche Intelligenz
Problem Solving and Search in AI INF-BAS2 , INF-VERT2 , MCL-AI , MCL-KR , MCL-PI 2/2/2 english Dr. Gaggl Künstliche Intelligenz
Forschungsprojekt Computational Logic INF-MA-PR , INF-PM-FPA , INF-PM-FPG 0/0/8 german Prof. Rudolph Künstliche Intelligenz
Komplexpraktikum Computational Logic INF-B-510 , INF-B-520 0/0/4 german Prof. Rudolph Künstliche Intelligenz
Logical Modeling INF-BAS2 , INF-VERT2 , MCL-PS 0/2/0 english Prof. Rudolph Künstliche Intelligenz

Maschinelles Lernen für Computer Vision

back to top
Course Module hours per week Language Lecturer Institute
Machine Learning 2 CMS-CE-EL1 , CMS-CE-EL2 , 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 2/2/0 english Prof. Dr. Andres Künstliche Intelligenz

Wissenschaftliches Rechnen für Systembiologie

back to top
Course Module hours per week Language Lecturer Institute
Selected Topics in Scientific Computing for Systems Biology 0/2/0 english Prof. Sbalzarini Künstliche Intelligenz
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 Künstliche Intelligenz
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 Künstliche Intelligenz
Forschungsprojekt angewandte biomedizinische Bildverarbeitung INF-PM-FPA 8P/PB german Prof. Sbalzarini Künstliche Intelligenz
Forschungsprojekt Computersimulation biologischer Systeme INF-PM-FPG 8P/PB german Prof. Sbalzarini Künstliche Intelligenz
Seminar Computational Life Science CMS-SEM 0/2/0 english Prof. Sbalzarini Künstliche Intelligenz

Wissensverarbeitung

back to top
Course Module hours per week Language Lecturer Institute
Knowledge Representation and Reasoning INF-04-HS , INF-AQUA , INF-D-940 , MCL-PS 0/2/0 english Prof. Hölldobler Künstliche Intelligenz
Project Group Knowledge Representation and Reasoning MCL-P 0/0/4 english Prof. Hölldobler Künstliche Intelligenz

Notes

back to top

Day/Room

  • ZVZ ... Time is to be announced
  • AVO ... Room is to be announced

Weeks

  • wöch. ... weekly
  • 1. Wo ... odd calendar week
  • 2. Wo ... even calendar week

semester as defined in the exam regulation. The modules are shown with their starting semester, thus modules taking more than one semester to complete may be shown with a lower semester number than the students actually have..

master level This course is intended for students in the master and diploma programs. This course is optional and only recommended for students with advanced knowledge.

module In addition to the modules of the Bachelor/Master/Diplom Informatik, Medieninformatik and Informationssystemtechnik programs the following modules for other study programs have been defined:

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

and the following pseudo modules for older non-modularized study programs

  • INF-04* ... Diplom Informatik, exam and/or study regulation as of 2004
  • MINF-04* ... Diplom Medieninformatik, exam and/or study regulation as of 2004
  • IST-05* ... Diplom Informationssystemtechnik, exam and/or study regulations as of 2005-2010
  • INF-LE* ... Courses offered to students of other departments
  • FAK-INF-FF ... Fakultative Lehrveranstaltungen für alle Studierende an der Fakultät Informatik

Exams The type and duration of exams are defined in the module handbook. Exceptions thereof are modules INF-AQUA, INF-B-510/20/30/40, INF-B-610 and INF-D-940 - the offered courses explicitly state the exam type and duration. Possible exam types are as follows::

  • Presentation and seminar paper
  • P(m) ... oral Exam (with stated duration)
  • P(s) ... written exam (with stated duration)
  • P(PP) ... Practical course protocol / Lab protocol
  • P(sA) ... written excerpt
  • P(PA) ... project paper
  • P(PE) ... gradeable outcome of a internship or project

Course Catalog Sommersemester 2020 - Institute Künstliche Intelligenz