Course Catalog Sommersemester 2020 - Institute Theoretische Informatik

Version Date 06.02.2020

Algebraische und logische Grundlagen der Informatik

back to top
Course Module hours per week Language Lecturer Institute
Komplexpraktikum Modellierung und quantitative Systemanalyse I INF-04-KP , INF-04-P , INF-MA-PR , INF-PM-FPG , IST-05-KP 0/0/4 german Prof. Baier Theoretische Informatik
Project Group Model Checking INF-PM-FPG , MCL-P 0/0/4 english Prof. Baier Theoretische Informatik
Proseminar Theoretische Informatik INF-B-510 , INF-B-520 , INF-B-610 , INF-D-520 0/2/0 german Prof. Baier Theoretische Informatik
Advanced Logics INF-04-FG-IS , INF-04-FG-TP , INF-B-510 , INF-B-520 , INF-BAS6 , INF-VERT6 , MCL-AL 4/2/0 english Prof. Baier Theoretische Informatik
Lab Course Modeling and Automated Verification MCL-PCS , MCL-PS 0/2/0 english Prof. Baier Theoretische Informatik
Seminar Selected Topics in Logic and Verification INF-04-HS , INF-AQUA , INF-D-940 , MCL-PCS , MCL-PS 0/2/0 english Prof. Baier Theoretische Informatik
Komplexpraktikum Modellierung und quantitative Systemanalyse II INF-MA-PR , INF-PM-FPG 0/0/8 german Prof. Baier Theoretische Informatik
Doktorandenseminar Advances in Probabilistic Model Checking FAK-INF-FF 0/2/0 english Prof. Baier Theoretische Informatik
Forschungsprojekt Formale Methoden INF-PM-FPG 8P/PB german/english Prof. Baier Theoretische Informatik

Automatentheorie

back to top
Course Module hours per week Language Lecturer Institute
Description Logic INF-04-FG-TP , INF-B-510 , INF-B-520 , INF-BAS6 , INF-VERT6 , MCL-AI , MCL-PI , MCL-TCSL 4/2/0 english Dr. Turhan Theoretische Informatik
Theoretical Computer Science INF-04-KP , INF-MA-PR , IST-05-KP , MINF-04-KP-FG2 0/0/4, 0/0/8 german Prof. Baader, Dr.-Ing. Borgwardt Theoretische Informatik
Project Group Theoretical Computer Science MCL-P 0/0/4 english Prof. Baader, Dr.-Ing. Borgwardt Theoretische Informatik
Seminar Theoretical Computer Science INF-04-HS , INF-AQUA , INF-D-940 , MCL-PS 0/2/0 english Prof. Baader, Dr. Turhan Theoretische Informatik
Einführung in die Informatik D-WW-EINF , INF-BAWP-INF-04 , INF-BBQ-MS-INF-04 , INF-LE-WW , INF-SEBS-INF-04 , INF-SEGY-INF-04 , INF-SEMS-INF-04 2/2/0 german Dr. Turhan Theoretische Informatik
Theoretical Computer Science and Logic INF-B-290 , INF-D-330 4/2/0 german Prof. Baader Theoretische Informatik
Proseminar Ausgewählte Themen der Theoretischen Informatik INF-B-510 , INF-B-520 , INF-B-610 , INF-D-520 0/2/0 german Prof. Baader Theoretische Informatik
Forschungsprojekt Theoretical Computer Science INF-PM-FPG 8P/PB german Prof. Baader Theoretische Informatik
Logic-based Ontology Engineering INF-B-510 , INF-B-520 , INF-BAS6 , INF-PM-FOR , INF-VERT6 , MCL-ILS 2/2/0 english Dr.-Ing. Borgwardt Theoretische Informatik

Grundlagen der Programmierung

back to top
Course Module hours per week Language Lecturer Institute
Programming INF-B-240 , INF-D-230 , INF-LE-EUI , INF-LE-MA , INF-LE-PHY , INF-SEGY-INF-05 , INF-SEMS-INF-05 , IST-05-PF-GS , MATH-BA-INFB , MATH-MA-INFPRG 2/2/0 german Prof. Vogler Theoretische Informatik
Praktikum Verarbeitung natürlicher Sprachen INF-04-KP , INF-B-510 , INF-B-520 , INF-D-940 , INF-MA-PR 0/0/4 german Prof. Vogler Theoretische Informatik
Seminar Natural Language Processing I INF-04-PS , INF-B-510 , INF-B-520 , INF-B-610 , INF-D-520 0/2/0 german Prof. Vogler Theoretische Informatik
Seminar Natural Language Processing II INF-04-FG-TP , INF-04-HS , INF-AQUA , INF-D-940 0/2/0 german Prof. Vogler Theoretische Informatik
Forschungsprojekt Verarbeitung natürlicher Sprachen INF-PM-FPG 8P/PB german Prof. Vogler Theoretische Informatik
Master-Praktikum Verarbeitung natürlicher Sprachen INF-MA-PR 0/0/8 german Prof. Vogler Theoretische Informatik
Parsing von natürlichen Sprachen INF-04-FG-IS , INF-04-FG-TP , INF-B-510 , INF-B-520 , INF-BAS2 , INF-BAS6 , INF-PM-FOR , INF-VERT2 , INF-VERT6 4/2/0 german Prof. Vogler Theoretische Informatik
Formale Baumsprachen INF-04-FG-IS , INF-04-FG-TP , INF-B-510 , INF-B-520 , INF-BAS2 , INF-BAS6 , INF-PM-FOR , INF-VERT2 , INF-VERT6 4/2/0 german Prof. Vogler Theoretische Informatik
Freitagsseminar FAK-INF-FF 0/2/0 german Prof. Vogler Theoretische Informatik

Wissensbasierte Systeme

back to top
Course Module hours per week Language Lecturer Institute
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 Künstliche Intelligenz
Database Theory INF-B-510 , INF-B-520 , INF-BAS6 , INF-PM-FOR , INF-VERT6 , MCL-KR , MCL-PI , MCL-TCSL 4/2/0 english Dr. Carral Theoretische Informatik

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 Theoretische Informatik