Informationen zur Lehre

Sommersemester 2018

• Die Lehrveranstaltungen ab Sommersemester 2018 sind auf den neuen Webseiten des Lehrstuhls zu finden.

Wintersemester 2017/18

• Vorlesung Informatik für Biologen

  Bachelor Biologie, Bachelor Molekulare Biotechnologie (Modul Informatik, INF-LE-BIO)

  Homepage der Vorlesung

• Vorlesung Description Logic (in englischer Sprache)

  Master Informatik, Diplom Informatik (INF-BAS6, INF-VERT6),
  Bachelor Informatik (INF-B-510, INF-B-520),
  Master Computational Logic (MCL-TCSL, MCL-PI)

  Homepage der Vorlesung

• Vorlesung Introduction to Non-monotonic Reasoning (in englischer Sprache)

  Master Informatik, Diplom Informatik (INF-BAS6, INF-VERT6, INF-PM-FOR),
  Bachelor Informatik (INF-B-510, INF-B-520),
  Master Computational Logic (MCL-TCSL, MCL-KR)

  Homepage der Vorlesung

• Master-Praktikum

  Master Informatik (INF-MA-PR)

  Homepage

• Profilprojekt Grundlagenforschung Theoretische Informatik

  Master Informatik, Diplom Informatik (INF-PM-FPG)

  Homepage

• Project Group Theoretical Computer Science (in englischer Sprache)

  Master Computational Logic (MCL-P)

  Homepage der Projektgruppe

• Seminar Further Topics in Description Logics (in englischer Sprache)

  Kann gerne parallel zur Vorlesung Description Logic belegt werden!

  Diplom Informatik (INF-D-940),
  Master Informatik (INF-AQUA),
  Master Computational Logic (MCL-PCS, MCL-PI, MCL-TCSL)

  Homepage des Seminars

• Proseminar Ausgewählte Themen der Theoretischen Informatik

  Diplom Informatik (INF-D-520)
  Bachelor Informatik (INF-B-510, INF-B-520, INF-B-610)

  Homepage des Seminars

Sommersemester 2017

	Lecture Fuzzy Description Logic (in English)
	Diplomstudiengang Informatik (Theorie der Programmierung, Intelligente Systeme, INF-BAS6, INF-VERT6, INF-PM-FOR), Bachelor Informatik (INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6, INF-PM-FOR), Master Computational Logic (MCL-TCSL, MCL-KR)
	Homepage of the Lecture
	Lecture Einführung in die Informatik (in German)
	Diplomstudiengang Wirtschaftsinformatik (D-WW-EINF) Bachelor Wirtschaftspädagogik (INF-BAWP-INF-04) Höheres Lehramt an berufsbildenden Schulen (INF-SEBS-INF-04) Höheres Lehramt an Gymnasien (INF-SEGY-INF-04) Lehramt an Mittelschulen (INF-SEMS-INF-04)
	Homepage of the Lecture
	Master-Praktikum (and Komplexpraktikum Theoretische Informatik)
	Master Informatik (INF-MA-PR)
	Homepage of the Praktikum
	Project Group Theoretical Computer Science (in English)
	Master Computational Logic (MCL-P)
	Homepage of the Project Group
	Forschungsprojekt Theoretical Computer Science
	Master Informatik (INF-PM-FPG) Diplom Informatik (INF-PM-FPG)
	Homepage Modul FPG
	Seminar Theoretical Computer Science
	Diplomstudiengang Informatik (Hauptseminar), Master Informatik (INF-AQUA) Master Computational Logic (MCL-PCS, MCL-PI, MCL-TCSL)
	Homepage of the Seminar
	Proseminar Theoretische Informatik
	Diplomstudiengang Informatik, Bachelor Informatik (INF-D-520, INF-B-510, INF-B-520, INF-B-610)
	Homepage Proseminar

Wintersemester 2016/17

	Vorlesung Formale Systeme
	Diplomstudiengang Informatik (INF-B-270) Bachelor Informatik (INF-B-270) Bachelor Medieninformatik (INF-B-270) Diplomstudiengang Informationssystemtechnik (INF-B-275, IST-05-PF-HS)
	Homepage der Vorlesung
	Vorlesung Informatik für Biologen
	Bachelor Biologie und Bachelor Molekulare Biotechnologie (Modul Informatik, INF-LE-BIO)
	Homepage der Vorlesung
	Vorlesung Description Logic (in englischer Sprache)
	Diplomstudiengang Informatik (INF-04-FG-TP, INF-BAS6, INF-VERT6), Bachelor Informatik (INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6), Master Computational Logic (MCL-TCSL, MCL-PI)
	Homepage der Vorlesung
	Master-Praktikum (und Komplexpraktikum Theoretische Informatik)
	Master Informatik, Diplom Informatik (INF-MA-PR, INF-04-KP, MINF-04-KP-FG2, IST-05-KP)
	Homepage des Praktikums
	Forschungsprojekt Theoretical Computer Science
	Master Informatik (INF-PM-FPG) Diplom Informatik (INF-PM-FPG)
	Homepage zur Lehrveranstaltung
	Project Group Theoretical Computer Science
	Master Computational Logic (MCL-P)
	Homepage der Projektgruppe
	Seminar Theoretical Computer Science
	Diplom Informatik (INF-D-940), Master Informatik (INF-AQUA) Master Computational Logic (MCL-PCS, MCL-PI, MCL-TCSL)
	Homepage des Seminars
	Proseminar Theoretische Informatik: "Ausgewählte Themen der Theoretischen Informatik"
	Diplomstudiengang Informatik, Bachelor Informatik (INF-D-520, INF-B-510, INF-B-520, INF-B-610)
	Homepage des Seminars

Sommersemester 2016

	Vorlesung Term Rewriting Systems (in englischer Sprache)
	Diplomstudiengang Informatik (Theorie der Programmierung, Intelligente Systeme, INF-BAS6, INF-VERT6), Bachelor Informatik (INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6), Master Computational Logic (MCL-TCSL, MCL-PI)
	Homepage der Vorlesung
	Vorlesung Database Theory
	Diplomstudiengang Informatik (Theorie der Programmierung, INF-BAS6, INF-VERT6), Bachelor Informatik (INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6), Master Computational Logic (MCL-KR, MCL-TCSL, MCL-PI) European Master Computational Logic (EMCL-A-KR, EMCL-A-TCSL, EMCL-A-PI)
	Homepage der Vorlesung
	Vorlesung Advanced Topics in Complexity Theory
	Diplomstudiengang Informatik (Theorie der Programmierung, INF-BAS6, INF-VERT6), Master Informatik (INF-BAS6, INF-VERT6), Master Computational Logic (MCL-TCSL, MCL-PI)
	Homepage der Vorlesung
	Vorlesung Introduction to Automatic Structures
	Diplomstudiengang Informatik (Theorie der Programmierung, INF-BAS6, INF-VERT6), Bachelor Informatik (INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6), Master Computational Logic (MCL-TCSL, MCL-PI) European Master Computational Logic (EMCL-A-TCSL, EMCL-A-PI)
	Homepage der Vorlesung
	Vorlesung Einführung in die Informatik
	Diplomstudiengang Wirtschaftsinformatik (D-WW-EINF) Bachelor Wirtschaftspädagogik (INF-BAWP-INF-04) Höheres Lehramt an berufsbildenden Schulen (INF-SEBS-INF-04) Höheres Lehramt an Gymnasien (INF-SEGY-INF-04) Lehramt an Mittelschulen (INF-SEMS-INF-04)
	Homepage der Vorlesung
	Master-Praktikum (und Komplexpraktikum Theoretische Informatik)
	Master Informatik (INF-MA-PR)
	Homepage des Praktikums
	Project Group Theoretical Computer Science
	Master Computational Logic (MCL-P, EMCL-B-P)
	Homepage der Projektgruppe
	Forschungsprojekt Theoretical Computer Science
	Master Informatik (INF-PM-FPG) Diplom Informatik (INF-PM-FPG)
	Homepage zur Lehrveranstaltung
	Seminar Seminar Theoretical Computer Science
	Diplomstudiengang Informatik (Hauptseminar), Master Informatik (INF-AQUA) Master Computational Logic (MCL-PCS, MCL-PI, MCL-TCSL)
	Homepage des Seminars
	Proseminar Theoretische Informatik
	Diplomstudiengang Informatik, Bachelor Informatik (INF-D-520, INF-B-510, INF-B-520, INF-B-610)
	Homepage des Seminars

Wintersemester 2015/16

	Vorlesung Description Logic (in englischer Sprache)
	Diplomstudiengang Informatik (INF-04-FG-TP, INF-BAS6, INF-VERT6), Bachelor Informatik (INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6), Master Computational Logic (MCL-TCSL, MCL-PI)
	Homepage der Vorlesung
	Vorlesung Complexity Theory (in englischer Sprache)
	Diplomstudiengang Informatik (INF-BAS6, INF-VERT6), Master Informatik (INF-BAS6, INF-VERT6), Master Computational Logic (MCL-TCSL, MCL-PI, MCL-KR)
	Homepage der Vorlesung
	Vorlesung Informatik für Biologen
	Bachelor Biologie und Bachelor Molekulare Biotechnologie (Modul Informatik, INF-LE-BIO)
	Homepage der Vorlesung
	Master-Praktikum / Komplexpraktikum Theoretische Informatik
	Masterstudiengang Informatik (MCL-P), Diplomstudiengang Informatik (INF-04-KP)
	Homepage des Praktikums
	Project Group Theoretical Computer Science (in englischer Sprache)
	Master Computational Logic (MCL-P)
	Homepage der Projektgruppe
	Seminar Theoretical Computer Science (in englischer Sprache)
	Diplom Informatik (INF-D-940, INF-04-HS), Master Informatik (INF-AQUA) Master Computational Logic (MCL-PCS, MCL-PI, MCL-TCSL)
	Homepage des Seminars
	Proseminar Ausgewählte Themen der Theoretischen Informatik
	Diplom Informatik, Bachelor Informatik (INF-D-520, INF-B-510, INF-B-520, INF-B-610)
	Homepage des Proseminars
	Forschungsprojekt Theoretical Computer Science
	Master Informatik (INF-PM-FPG) Diplom Informatik (INF-PM-FPG)
	Homepage zum Modul

Sommersemester 2015

	Vorlesung Einführung in die Informatik
	Diplomstudiengang Wirtschaftsinformatik (D-WW-EINF) Bachelor Wirtschaftspädagogik (INF-BAWP-INF-04) Höheres Lehramt an berufsbildenden Schulen (INF-SEBS-INF-04) Höheres Lehramt an Gymnasien (INF-SEGY-INF-04) Lehramt an Mittelschulen (INF-SEMS-INF-04)
	Homepage der Vorlesung
	Vorlesung Automata and Logic (in englischer Sprache)
	Diplomstudiengang Informatik (Theorie der Programmierung, Intelligente Systeme, INF-BAS6, INF-VERT6), Bachelor Informatik (INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6), Master Computational Logic (MCL-AL, MCL-KR, MCL-TCSL, MCL-PI)
	Homepage der Vorlesung
	Vorlesung Foundations of Databases and Query Languages
	Diplomstudiengang Informatik (Theorie der Programmierung, INF-BAS6, INF-VERT6), Bachelor Informatik (INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6), Master Computational Logic (MCL-KR, MCL-TCSL, MCL-PI)
	Homepage der Vorlesung
	Vorlesung Molekulares Rechnen (in vitro und in vivo)
	Diplomstudiengang Informatik (Theorie der Programmierung, INF-BAS6, INF-VERT6), Bachelor Informatik (INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6)
	Homepage der Vorlesung
	Vorlesung Funktionale Programmierung und Typtheorie
	Diplomstudiengang Informatik (Theorie der Programmierung, INF-BAS6, INF-VERT6), Bachelor Informatik (INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6)
	Homepage der Vorlesung
	Komplexpraktikum Theoretische Informatik
	Diplomstudiengang Informatik
	Homepage des Praktikums
	Master-Praktikum
	Master Informatik (INF-MA-PR)
	Homepage des Praktikums
	Project Group Theoretical Computer Science
	Master Computational Logic (MCL-P)
	Homepage der Projektgruppe
	Forschungsprojekt Theoretical Computer Science
	Master Informatik (INF-PM-FPG) Diplom Informatik (INF-PM-FPG)
	Homepage zur Lehrveranstaltung
	Seminar Extensions of Description Logics
	Diplomstudiengang Informatik (Hauptseminar), Master Informatik (INF-AQUA) Master Computational Logic (MCL-PCS, MCL-PI, MCL-TCSL)
	Homepage des Seminars
	Proseminar Theoretische Informatik
	Diplomstudiengang Informatik, Bachelor Informatik (INF-D-520, INF-B-510, INF-B-520, INF-B-610)
	Homepage des Seminars

Wintersemester 2014/15

	Vorlesung Description Logic (in englischer Sprache)
	Diplomstudiengang Informatik (Theorie der Programmierung, Intelligente Systeme, INF-BAS6, INF-VERT6), Bachelor Informatik (INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6), Master Computational Logic (MCL-TCSL, MCL-PI)
	Homepage der Vorlesung
	Vorlesung Introduction to Complexity Theory (in englischer Sprache)
	Diplomstudiengang Informatik (Theorie der Programmierung, Intelligente Systeme, INF-BAS6, INF-VERT6), Bachelor Informatik (INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6), Master Computational Logic (MCL-TCSL, MCL-PI)
	Homepage der Vorlesung
	Vorlesung Informatik für Biologen
	Bachelor Biologie und Bachelor Molekulare Biotechnologie (Modul Informatik, INF-LE-BIO)
	Homepage der Vorlesung
	Komplexpraktikum Theoretische Informatik
	Diplomstudiengang Informatik (PO 2004)
	Homepage des Praktikums
	Master-Praktikum
	Master Informatik, Diplom Informatik (INF-MA-PR, INF-PM-FPG),
	Homepage des Praktikums
	Project Group Theoretical Computer Science
	Master Computational Logic (MCL-P)
	Homepage der Projektgruppe
	Seminar Theoretical Computer Science: "Advanced Topics in Term Rewriting"
	Diplom Informatik (INF-D-940), Master Informatik (INF-AQUA) Master Computational Logic (MCL-PCS, MCL-PI, MCL-TCSL)
	Homepage des Seminars
	Proseminar Theoretische Informatik: "Ausgewählte Themen der Theoretischen Informatik"
	Diplom Informatik, Bachelor Informatik (INF-D-520, INF-B-510, INF-B-520, INF-B-610)
	Homepage des Proseminars
	Forschungsprojekt Theoretical Computer Science
	Master Informatik (INF-PM-FPG) Diplom Informatik (INF-PM-FPG)
	Homepage zur Lehrveranstaltung

Sommersemester 2014

	Vorlesung Theoretische Informatik und Logik
	Diplomstudiengang Informatik (INF-D-330) Bachelor Informatik (INF-B-290)
	Homepage der Vorlesung
	Vorlesung Term Rewriting Systems (in englischer Sprache)
	Diplomstudiengang Informatik (Theorie der Programmierung, Intelligente Systeme, INF-BAS6, INF-VERT6), Bachelor Informatik (INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6), Master Computational Logic (MCL-TCSL, MCL-PI)
	Homepage der Vorlesung
	Vorlesung Molekulares Rechnen (in vitro und in vivo)
	Diplomstudiengang Informatik (Theorie der Programmierung, INF-BAS6, INF-VERT6), Bachelor Informatik (INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6)
	Homepage der Vorlesung
	Vorlesung Einführung in die Informatik
	Bachelor Wirtschaftsinformatik (WI-BA-01) Staatsexamen Lehramt an berufsbildenden Schulen (INF-SEBS-INF-04) Staatsexamen Lehramt an Gymnasien (INF-SEGY-INF-04) Staatsexamen Lehramt an Mittelschulen (INF-SEMS-INF-04)
	Homepage der Vorlesung
	Vorlesung Logical Approach to Physical Data Independence and Query Compilation (in englischer Sprache)
	Master in Computational Logic
	Homepage der Vorlesung
	Komplexpraktikum Theoretische Informatik
	Diplomstudiengang Informatik
	Homepage des Praktikums
	Master-Praktikum
	Master Informatik (INF-MA-PR)
	Homepage des Praktikums
	Project Group Theoretical Computer Science
	Master Computational Logic (MCL-P)
	Homepage der Projektgruppe
	Forschungsprojekt Theoretical Computer Science
	Master Informatik (INF-PM-FPG) Diplom Informatik (INF-PM-FPG)
	Homepage zur Lehrveranstaltung
	Seminar Seminar Theoretical Computer Science
	Diplomstudiengang Informatik (Hauptseminar), Master Informatik (INF-AQUA) Master Computational Logic (MCL-PCS, MCL-PI, MCL-TCSL)
	Homepage des Seminars
	Proseminar Theoretische Informatik
	Diplomstudiengang Informatik, Bachelor Informatik (INF-D-520, INF-B-510, INF-B-520, INF-B-610)
	Homepage des Seminars

Wintersemester 2013/14 Vorlesung Formale Systeme Diplomstudiengang Informatik (INF-B-270) Bachelor Informatik (INF-B-270) Bachelor Medieninformatik (INF-B-270) Diplomstudiengang Informationssystemtechnik (INF-B-275, IST-05-PF-HS) Homepage der Vorlesung   Vorlesung Description Logic (in englischer Sprache) Diplomstudiengang Informatik (Theorie der Programmierung, Intelligente Systeme, INF-BAS6, INF-VERT6), Bachelor Informatik (INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6), Master Computational Logic (MCL-TCSL, MCL-PI, MCL-KR) Homepage der Vorlesung   Vorlesung Informatik für Biologen Bachelor Biologie und Bachelor Molekulare Biotechnologie (Modul Informatik) Homepage der Vorlesung   Komplexpraktikum Theoretische Informatik Diplomstudiengang Informatik Homepage des Praktikums   Master-Praktikum Master Informatik (INF-MA-PR) Homepage des Praktikums   Project Group Theoretical Computer Science Master Computational Logic (MCL-P) Homepage der Projektgruppe   Seminar Theoretical Computer Science: "Probability in Logic" Diplomstudiengang Informatik (Hauptseminar), Master Informatik (INF-AQUA) Master Computational Logic (MCL-PCS, MCL-PI, MCL-TCSL) Homepage des Seminars   Proseminar Theoretische Informatik Diplomstudiengang Informatik, Bachelor Informatik (INF-D-520, INF-B-510, INF-B-520, INF-B-610) Homepage des Seminars   Sommersemester 2013 Vorlesung Automata and Logic (in englischer Sprache) Diplomstudiengang Informatik (Theorie der Programmierung, Intelligente Systeme, INF-BAS6, INF-VERT6), Bachelor Informatik (INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6), Master Computational Logic (MCL-TCSL, MCL-PI, MCL-KR) Homepage der Vorlesung   Vorlesung Funktionale Programmierung und Typtheorie Diplomstudiengang Informatik (Theorie der Programmierung, INF-BAS6, INF-VERT6), Bachelor Informatik (INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6) Homepage der Vorlesung   Vorlesung Einführung in die Informatik Bachelor Wirtschaftsinformatik, Lehramtsbezogener Bachelor "Allgemeinbildende Schulen", Lehramtsbezogener Bachelor "Berufliche Bildung" - Direktstudium Homepage der Vorlesung   Lecture Fuzzy Description Logic (in English) Diplomstudiengang Informatik (Theorie der Programmierung, Intelligente Systeme, INF-BAS6, INF-VERT6, INF-PM-FOR), Bachelor Informatik (INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6, INF-PM-FOR), Master Computational Logic (MCL-TCSL, MCL-KR) Homepage of the Lecture   Seminar Theoretical Computer Science Diplomstudiengang Informatik (Hauptseminar), Master Informatik (INF-AQUA) Master Computational Logic (PCS, (TCSL, PI)) Homepage des Seminars   Proseminar Theoretische Informatik Diplomstudiengang Informatik, Bachelor Informatik (INF-D-520, INF-B-610) Homepage des Proseminars   Komplexpraktikum Theoretische Informatik Diplomstudiengang Informatik Homepage des Praktikums   Master-Praktikum Master Informatik (INF-MA-PR, INF-PM-FPG) Homepage des Praktikums   Project Group Theoretical Computer Science Master Computational Logic (MCL-P) Homepage der Projektgruppe   Wintersemester 2012/13 Vorlesung Description Logic (in englischer Sprache) Diplomstudiengang Informatik (Theorie der Programmierung, Intelligente Systeme, INF-BAS6, INF-VERT6), Bachelor Informatik (INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6), Master Computational Logic (MCL-TCSL, MCL-PI, MCL-KR) Homepage der Vorlesung   Vorlesung Fuzzy Logic (in englischer Sprache) Diplomstudiengang Informatik (Theorie der Programmierung, Intelligente Systeme, INF-BAS6, INF-VERT6), Bachelor Informatik (INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6), Master Computational Logic (MCL-TCSL, MCL-PI, MCL-MV) Homepage der Vorlesung   Vorlesung Theorem Proving with Equality (in englischer Sprache) Diplomstudiengang Informatik (Theorie der Programmierung, Intelligente Systeme, INF-BAS6, INF-VERT6), Bachelor Informatik (INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6), Master Computational Logic (MCL-TCSL, MCL-PI, MCL-MV) Homepage der Vorlesung   Vorlesung Informatik für Biologen Bachelor Biologie und Bachelor Molekulare Biotechnologie (Modul Informatik) Homepage der Vorlesung   Komplexpraktikum Theoretische Informatik Diplomstudiengang Informatik Homepage des Praktikums   Master-Praktikum Master Informatik (INF-MA-PR) Homepage des Praktikums   Project Group Theoretical Computer Science Master Computational Logic (MCL-P) Homepage der Projektgruppe   Seminar Theoretical Computer Science Diplomstudiengang Informatik (Hauptseminar), Master Informatik (INF-AQUA) Master Computational Logic (MCL-PCS, MCL-PI, MCL-TCSL) Homepage des Seminars   Proseminar Theoretische Informatik Diplomstudiengang Informatik, Bachelor Informatik (INF-D-520, INF-B-610) Homepage des Seminars   Sommersemester 2012 Vorlesung Automata and Logic (in englischer Sprache) Diplomstudiengang Informatik (Theorie der Programmierung, Intelligente Systeme, INF-BAS6, INF-VERT6), Bachelor Informatik (INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6), Master Computational Logic (MCL-TCSL, MCL-PI, MCL-KR) Homepage der Vorlesung   Vorlesung Introduction to Complexity Theory (in englischer Sprache) Diplomstudiengang Informatik (Theorie der Programmierung, Intelligente Systeme, INF-BAS6, INF-VERT6), Bachelor Informatik (INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6), Master Computational Logic (MCL-TCSL, MCL-KR, MCL-PI, MCL-MV) Homepage der Vorlesung   Vorlesung Formal Concept Analysis and Logic (in englischer Sprache) Diplomstudiengang Informatik (Theorie der Programmierung, Intelligente Systeme, INF-BAS6, INF-VERT6), Bachelor Informatik (INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6), Master Computational Logic (MCL-TCSL, MCL-KR) Homepage der Vorlesung   Vorlesung Funktionale Programmierung und Typtheorie Diplomstudiengang Informatik (Theorie der Programmierung, INF-BAS6, INF-VERT6), Bachelor Informatik (INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6) Homepage der Vorlesung   Vorlesung Molekulares Rechnen (in vitro und in vivo) Diplomstudiengang Informatik (Theorie der Programmierung, INF-BAS6, INF-VERT6), Bachelor Informatik(INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6) Homepage der Vorlesung   Vorlesung Einführung in die Informatik Bachelor Wirtschaftsinformatik, Lehramtsbezogener Bachelor "Allgemeinbildende Schulen", Lehramtsbezogener Bachelor "Berufliche Bildung" - Direktstudium Homepage der Vorlesung   Komplexpraktikum Theoretische Informatik Diplomstudiengang Informatik Homepage des Praktikums   Master-Praktikum Master Informatik (INF-MA-PR) Homepage des Praktikums   Project Group Theoretical Computer Science Master Computational Logic (MCL-P) Homepage der Projektgruppe   Seminar Advanced topics in automatic structures Diplomstudiengang Informatik (Hauptseminar), Master Informatik (INF-AQUA) Master Computational Logic (MCL-PCS, MCL-PI, MCL-TCSL, MCL-AL) Homepage des Seminars   Proseminar Unkonventionelle Berechnungsmodelle Diplomstudiengang Informatik, Bachelor Informatik (INF-D-520, INF-B-610) Homepage des Seminars   Wintersemester 2011/12 Vorlesung Term Rewriting Systems (in englischer Sprache) Diplomstudiengang Informatik (Theorie der Programmierung, Intelligente Systeme, INF-BAS6, INF-VERT6), Bachelor Informatik (INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6), Master Computational Logic (MCL-TCSL, MCL-PI) Homepage der Vorlesung   Vorlesung Fuzzy Description Logic (in englischer Sprache) Diplomstudiengang Informatik (Theorie der Programmierung, Intelligente Systeme, INF-BAS6, INF-VERT6), Bachelor Informatik (INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6), Master Computational Logic (MCL-TCSL, MCL-KR) Homepage der Vorlesung   Vorlesung Introduction to Automatic Structures (in englischer Sprache) Diplomstudiengang Informatik (Theorie der Programmierung, Intelligente Systeme, INF-BAS6, INF-VERT6), Bachelor Informatik (INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6), Master Computational Logic (MCL-TCSL, MCL-KR) Homepage der Vorlesung   Vorlesung Informatik für Biologen Bachelor Biologie und Bachelor Molekulare Biotechnologie (Modul Informatik) Homepage der Vorlesung   Komplexpraktikum Theoretische Informatik Diplomstudiengang Informatik Homepage des Praktikums   Master-Praktikum Master Informatik (INF-MA-PR) Homepage des Praktikums   Project Group Theoretical Computer Science Master Computational Logic (MCL-P) Homepage der Projektgruppe   Seminar Theoretical Computer Science Diplomstudiengang Informatik (Hauptseminar), Master Informatik (INF-AQUA) Master Computational Logic (MCL-PCS, MCL-PI, MCL-TCSL) Homepage des Seminars   Proseminar Perlen der Theoretischen Informatik Diplomstudiengang Informatik, Bachelor Informatik (INF-B-610) Homepage des Seminars   Sommersemester 2011 Vorlesung Description Logic (in englischer Sprache) Diplomstudiengang Informatik, Bachelor Informatik, Master Informatik, Master Computational Logic Homepage der Vorlesung   Vorlesung Funktionale Programmierung und Typtheorie Diplomstudiengang Informatik, Bachelor Informatik, Master Informatik Homepage der Vorlesung   Vorlesung Molekulares Rechnen (in vitro und in vivo) Diplomstudiengang Informatik, Fachgebiet Theorie der Programmierung Homepage der Vorlesung   Vorlesung Fuzzy Logic (in englischer Sprache) Diplomstudiengang Informatik, Bachelor Informatik, Master Informatik, Master Computational Logic Homepage der Vorlesung   KomplexpraktikumTheoretische Informatik Diplomstudiengang Informatik Homepage des Praktikums   Master-Praktikum Master Informatik Homepage des Praktikums   Project Group Theoretical Computer Science Master Computational Logic Homepage der Projektgruppe   Hauptseminar Theoretical Computer Science Diplomstudiengang Informatik, Master Computational Logic Homepage des Seminars   Proseminar Perlen der Theoretischen Informatik Diplomstudiengang Informatik Homepage des Seminars   Wintersemester 2010/11 Vorlesung Formale Systeme Stellung im Studienplan ( 4 / 2 / - ) Bachelor-Studiengang Informatik und Bachelor-Studiengang Medieninformatik Homepage der Vorlesung   Vorlesung Informatik für Biologen Stellung im Studienplan ( 2 / 1 / - ) Bachelor-Studiengang Biologie und Bachelor-Studiengang Molekulare Biotechnologie Homepage der Vorlesung   Hauptseminar Theoretical Computer Science Stellung im Studienplan: Hauptstudium Informatik Studiengang Computational Logic: 3 Credit Points; Modul IT, TCSL. Homepage des Seminars   KomplexpraktikumTheoretische Informatik Studiengang Informatik Homepage des Praktikums   Project Group Theoretical Computer Science Studiengang Computational Logic: Projekt (12 Credit Points) Homepage der Projektgruppe   Master-Praktikum Stellung im Studienplan: Master-Studiengang Informatik Homepage des Praktikums   Sommersemester 2010 Vorlesung Description Logic (in englischer Sprache) Studiengang Informatik, Fachgebiete Intelligente Systeme und Theorie der Programmierung; Studiengang Computational Logic: 9 Credit Points; Module KRAI, SDS und TCSL Studiengang Software Engineering Homepage der Vorlesung   Vorlesung Molekulares Rechnen (in vitro und in vivo) Studiengang Informatik, Fachgebiet Theorie der Programmierung Homepage der Vorlesung   Vorlesung Selected Topics in Automata and Logic (in englischer Sprache) Studiengang Informatik, Fachgebiete Intelligente Systeme und Theorie der Programmierung; Studiengang Computational Logic: 3 Credit Points; Module TCSL und SV Homepage der Vorlesung   KomplexpraktikumTheoretische Informatik Studiengang Informatik Homepage des Praktikums   Project Group Theoretical Computer Science Studiengang Computational Logic: Projekt (12 Credit Points) Homepage der Projektgruppe   Hauptseminar Theoretical Computer Science Studiengang Informatik Studiengang Computational Logic: 3 Credit Points; Module IT und TCSL. Homepage des Seminars   Proseminar Perlen der Theoretischen Informatik Studiengang Informatik Homepage des Seminars   Wintersemester 2009/10 Vorlesung Automata and Logic Stellung im Studienplan: Hauptstudium Informatik, Fachgebiete Intelligente Systeme und Theorie der Programmierung; Studiengang Computational Logic: 9 Credit Points ; Module TCSL und IT Homepage der Vorlesung   Vorlesung Advanced topics in Description Logics Stellung im Studienplan: Hauptstudium Informatik, Fachgebiete Intelligente Systeme und Theorie der Programmierung; Studiengang Computational Logic: 3 Credit Points; Module IT, KRAI und TCSL Homepage der Vorlesung   Vorlesung Informatik für Biologen Stellung im Studienplan ( 2 / 1 / - ) Bachelor-Studiengang Biologie und Bachelor-Studiengang Molekulare Biotechnologie Homepage der Vorlesung   Vorlesung Funktionale Programmierung und Typtheorie Stellung im Studienplan ( 2 / 2 / - ) Hauptstudium Studiengang Informatik, Fachgebiet Theorie der Programmierung. Homepage der Vorlesung   Hauptseminar Theoretical Computer Science:" Probability in Logics" Stellung im Studienplan: Hauptstudium Informatik Studiengang Computational Logic: 3 Credit Points; Modul IT, TCSL. Homepage des Seminars   Komplexpraktikum / CL Projekt Stellung im Studienplan: Studiengang Informatik, Fachgebiet Theorie der Programmierung Studiengang Computational Logic: Projekt (12 Credit Points) Homepage des Praktikums   Sommersemester 2009 Vorlesung Molekulares Rechnen (in vitro und in vivo) Stellung im Studienplan: Studiengang Informatik - Fachgebiet Theorie der Programmierung Homepage der Vorlesung   Vorlesung Description Logic (in englischer Sprache) Stellung im Studienplan: Hauptstudium Informatik, Fachgebiete Intelligente Systeme und Theorie der Programmierung; Studiengang Computational Logic: 9 Credit Points; Module KRAI und TCSL Homepage der Vorlesung   Vorlesung Theorem Proving and Equality (in englischer Sprache) Stellung im Studienplan: Hauptstudium Informatik, Fachgebiete Intelligente Systeme und Theorie der Programmierung; Studiengang Computational Logic: 4 Credit Points; Module IT und TCSL Homepage der Vorlesung   Komplexpraktikum / CL Projekt Stellung im Studienplan: Studiengang Informatik, Fachgebiet Theorie der Programmierung Studiengang Computational Logic: Projekt (12 Credit Points) Homepage des Praktikums   Hauptseminar Automata, Logics and Infinite games Stellung im Studienplan: Hauptstudium Informatik Studiengang Computational Logic: 3 Credit Points; Modul IT, TCSL. Homepage des Seminars Wintersemester 2008/2009 Vorlesung Grundlagen der Theoretischen Informatik II Stellung im Studienplan ( 2 / 2 / - ) Grundstudium Studiengang Informatik, Medieninformatik und Ergänzungsstudiengang Softwaretechnik. Homepage der Vorlesung   Vorlesung Term Rewriting Systems (in englischer Sprache) Stellung im Studienplan ( 4 / 2 / - ) Hauptstudium Studiengang Informatik, Fachgebiete Intelligente Systeme und Theorie der Programmierung; Studiengang Computational Logic, 10 Credit Points, Modul TCSL. Homepage der Vorlesung   Vorlesung Funktionale Programmierung und Typtheorie Stellung im Studienplan ( 2 / 2 / - ) Hauptstudium Studiengang Informatik, Fachgebiet Theorie der Programmierung. Homepage der Vorlesung   Hauptseminar Theoretical Computer Science Stellung im Studienplan ( - / - / 2 ) Hauptstudium Studiengang Informatik, Hauptseminar; Studiengang Computational Logic, 3 Credit Points, Module IT und TCSL. Homepage des Seminars   Sommersemester 2008 Vorlesung Molekulares Rechnen (in vitro und in vivo) Stellung im Studienplan: Studiengang Informatik - Fachgebiet Theorie der Programmierung Homepage der Vorlesung   Vorlesung Grundlagen der Theoretischen Informatik I Stellung im Studienplan: Grundstudium Informatik; Studiengang Medieninformatik; Ergänzungsstudiengang Softwaretechnik Homepage der Vorlesung   Vorlesung Complexity and Logic (in englischer Sprache) Stellung im Studienplan: Hauptstudium Informatik, Fachgebiete Intelligente Systeme und Theorie der Programmierung; Studiengang Computational Logic: 9 Credit Points; Modules IT, KRAI, TCSL Homepage der Vorlesung   Vorlesung Verification Techniques (in englischer Sprache) Studiengang Computational Logic: 6 Credit Points; Modules IT, SV, TCSL THIS LECTURE HAS BEEN CANCELLED!   Vorlesung Theorem Proving and Equality (in englischer Sprache) Stellung im Studienplan: Hauptstudium Informatik, Fachgebiete Intelligente Systeme und Theorie der Programmierung; Studiengang Computational Logic: 4 Credit Points; Module IT und TCSL Homepage der Vorlesung   Komplexpraktikum / CL Projekt Stellung im Studienplan: Studiengang Informatik, Fachgebiet Theorie der Programmierung Studiengang Computational Logic: Projekt (12 Credit Points) Homepage des Praktikums   Wintersemester 2007/2008 Vorlesung Decision Procedures (in englischer Sprache) Stellung im Studienplan: Studiengang Computational Logic: 2 Credit Points ; Module TCSL und IT THIS LECTURE HAS BEEN CANCELLED!   Vorlesung Funktionale Programmierung und Typtheorie Stellung im Studienplan: Hauptstudium Informatik, Fachgebiet Theorie der Programmierung Homepage der Vorlesung   Vorlesung Automata and Logic (in englischer Sprache) Stellung im Studienplan: Hauptstudium Informatik, Fachgebiete Intelligente Systeme und Theorie der Programmierung; Studiengang Computational Logic: 10 Credit Points ; Module TCSL und IT Homepage der Vorlesung   Hauptseminar Automata, Logics, and Infinite Games Stellung im Studienplan: Hauptstudium Informatik Studiengang Computational Logic: 3 Credit Points; Modul IT, TCSL. Homepage des Seminars   Komplexpraktikum / CL Projekt Stellung im Studienplan: Studiengang Informatik, Fachgebiet Theorie der Programmierung Studiengang Computational Logic: Projekt (12 Credit Points) Homepage des Praktikums Sommersemester 2007 Vorlesung Molekulares Rechnen (in vitro und in vivo) Stellung im Studienplan: Studiengang Informatik - Fachgebiet Theorie der Programmierung Homepage der Vorlesung   Vorlesung Description Logic (in englischer Sprache) Stellung im Studienplan: Hauptstudium Informatik, Fachgebiete Intelligente Systeme und Theorie der Programmierung; Studiengang Computational Logic: 9 Credit Points; Module KRAI und TCSL Homepage der Vorlesung   Vorlesung Theorem Proving and Equality (in englischer Sprache) Stellung im Studienplan: Hauptstudium Informatik, Fachgebiete Intelligente Systeme und Theorie der Programmierung; Studiengang Computational Logic: 4 Credit Points; Module IT und TCSL Homepage der Vorlesung   Komplexpraktikum / CL Projekt Stellung im Studienplan: Studiengang Informatik, Fachgebiet Theorie der Programmierung Studiengang Computational Logic: Projekt (12 Credit Points) Homepage des Praktikums   Hauptseminar Complexity of enumeration problems Stellung im Studienplan: Hauptstudium Informatik Studiengang Computational Logic: 3 Credit Points; Modul IT, TCSL. Homepage des Seminars Wintersemester 2006/2007 Vorlesung Grundlagen der Theoretischen Informatik II Stellung im Studienplan: Grundstudium Informatik; Studiengang Medieninformatik; Ergänzungsstudiengang Softwaretechnik Homepage der Vorlesung   Vorlesung Funktionale Programmierung und Typtheorie Stellung im Studienplan: Hauptstudium Informatik, Fachgebiet Theorie der Programmierung Homepage der Vorlesung   Vorlesung Termersetzungssysteme (in englischer Sprache) Stellung im Studienplan: Hauptstudium Informatik, Fachgebiete Intelligente Systeme und Theorie der Programmierung; Studiengang Computational Logic: 9 Credit Points; Modul TCSL Homepage der Vorlesung   Vorlesung Complexity Theory (in englischer Sprache) Stellung im Studienplan: foundational course in Computational Logic; Studiengang Computational Logic: 3 Credit Points; Modul F, TCSL. Homepage der Vorlesung   Hauptseminar Wissensrepräsentation Stellung im Studienplan: Hauptstudium Informatik Studiengang Computational Logic: 3 Credit Points; Modul IT, TCSL. Homepage des Seminars Sommersemester 2006 Vorlesung Grundlagen der Theoretischen Informatik I Stellung im Studienplan: Grundstudium Informatik; Studiengang Medieninformatik; Ergänzungsstudiengang Softwaretechnik Homepage der Vorlesung   Vorlesung Logic-based Knowledge Representation (in englischer Sprache) Stellung im Studienplan: Hauptstudium Informatik, Fachgebiete Intelligente Systeme und Theorie der Programmierung; Studiengang Computational Logic: 9 Credit Points; Module KRAI und TCSL Homepage der Vorlesung   Vorlesung Temporallogik (in englischer Sprache) Stellung im Studienplan: Hauptstudium Informatik, Fachgebiete Intelligente Systeme und Theorie der Programmierung; Studiengang Computational Logic: 3 Credit Points; Module SV und TCSL Homepage der Vorlesung   Komplexpraktikum / CL Projekt Stellung im Studienplan: Studiengang Informatik, Fachgebiet Theorie der Programmierung Studiengang Computational Logic: Projekt (12 Credit Points) Homepage des Praktikums Wintersemester 2005/2006 Vorlesung Complexity and Logic (in englischer Sprache) Stellung im Studienplan: Hauptstudium Informatik, Fachgebiete Intelligente Systeme und Theorie der Programmierung; Studiengang Computational Logic: 9 Credit Points; Modul TCSL Homepage der Vorlesung   Vorlesung Theorem Proving and Equality (in englischer Sprache) Stellung im Studienplan: Hauptstudium Informatik, Fachgebiete Intelligente Systeme und Theorie der Programmierung; Studiengang Computational Logic: 3 Credit Points; Modul TCSL, IT. Homepage der Vorlesung   Vorlesung Funktionale Programmierung und Typtheorie Stellung im Studienplan: Hauptstudium Informatik, Fachgebiet Theorie der Programmierung Homepage der Vorlesung   Hauptseminar Wissensrepräsentation Stellung im Studienplan: Hauptstudium Informatik Studiengang Computational Logic: 3 Credit Points; Modul TCSL Homepage des Seminars   Komplexpraktikum / CL Projekt Stellung im Studienplan: Studiengang Informatik, Fachgebiet Theorie der Programmierung Studiengang Computational Logic: Projekt (12 Credit Points) Homepage des Praktikums Sommersemester 2005 Vorlesung Logic-based Knowledge Representation (in englischer Sprache) Stellung im Studienplan: Hauptstudium Informatik, Fachgebiete Intelligente Systeme und Theorie der Programmierung; Studiengang Computational Logic: 9 Credit Points; Module KRAI und TCSL Homepage der Vorlesung   Vorlesung Temporallogik (in englischer Sprache) Stellung im Studienplan: Hauptstudium Informatik, Fachgebiete Intelligente Systeme und Theorie der Programmierung; Studiengang Computational Logic: 3 Credit Points; Module SV und TCSL Homepage der Vorlesung   Hauptseminar Automaten und Logik Stellung im Studienplan: Hauptstudium Informatik Studiengang Computational Logic: 3 Credit Points; Modul TCSL Homepage des Seminars   Komplexpraktikum / CL Projekt Stellung im Studienplan: Studiengang Informatik, Fachgebiet Theorie der Programmierung Studiengang Computational Logic: Projekt (12 Credit Points) Homepage des Praktikums Wintersemester 2004/05 Vorlesung Grundlagen der Theoretischen Informatik II Stellung im Studienplan: Grundstudium Informatik; Studiengang Medieninformatik; Ergänzungsstudiengang Softwaretechnik Homepage der Vorlesung   Vorlesung Automata and Logic (in englischer Sprache) Stellung im Studienplan: Hauptstudium Informatik, Fachgebiete Intelligente Systeme und Theorie der Programmierung; Studiengang Computational Logic: 9 Credit Points ; Module TCSL und IT Homepage der Vorlesung   Vorlesung Funktionale Programmierung und Typtheorie Stellung im Studienplan: Hauptstudium Informatik, Fachgebiet Theorie der Programmierung Homepage der Vorlesung   Komplexpraktikum Automatisches Schließen mit logischen Formalismen (also suitable as a project for CL students) Stellung im Studienplan: Studiengang Informatik, Fachgebiet Theorie der Programmierung Studiengang Computational Logic: Projekt (12 Credit Points) Homepage des Praktikums Sommersemester 2004 Vorlesung Grundlagen der Theoretischen Informatik I Stellung im Studienplan: Grundstudium Informatik; Studiengang Medieninformatik; Ergänzungsstudiengang Softwaretechnik Homepage der Vorlesung   Vorlesung Termersetzungssysteme (in englischer Sprache) Stellung im Studienplan: Hauptstudium Informatik, Fachgebiete Intelligente Systeme und Theorie der Programmierung; Studiengang Computational Logic: 9 Credit Points; Modul TCSL Homepage der Vorlesung   Hauptseminar Wissensrepräsentation mit Beschreibungslogik Stellung im Studienplan: Hauptstudium Informatik Studiengang Computational Logic: 3 Credit Points; Modul TCSL Homepage des Seminars Wintersemester 2003/04 Vorlesung Logic-based Knowledge Representation (in englischer Sprache) Stellung im Studienplan: Hauptstudium Informatik, Fachgebiete Intelligente Systeme und Theorie der Programmierung; Studiengang Computational Logic: 9 Credit Points; Module KRAI und TCSL Homepage der Vorlesung   Vorlesung Funktionale Programmierung Stellung im Studienplan: Hauptstudium Informatik, Fachgebiet Theorie der Programmierung Homepage der Vorlesung   Hauptseminar Unentscheidbare Probleme aus der Praxis Stellung im Studienplan: Hauptstudium Informatik Studiengang Computational Logic: 3 Credit Points; Modul TCSL Homepage des Seminars   Komplexpraktikum Automatisches Schließen mit logischen Formalismen (also suitable as a project for CL students) Stellung im Studienplan: Studiengang Informatik, Fachgebiet Theorie der Programmierung Studiengang Computational Logic: Projekt (12 Credit Points) Homepage des Praktikums Sommersemester 2003 Vorlesung Termersetzungssysteme (in englischer Sprache) Stellung im Studienplan: Hauptstudium Informatik, Fachgebiete Intelligente Systeme und Theorie der Programmierung; Studiengang Computational Logic Homepage der Vorlesung   Vorlesung Modallogik (in englischer Sprache) Stellung im Studienplan: Hauptstudium Informatik, Fachgebiete Intelligente Systeme und Theorie der Programmierung; Studiengang Computational Logic Homepage der Vorlesung   Hauptseminar Unentscheidbare Probleme aus der Praxis Stellung im Studienplan: Hauptstudium Informatik Homepage des Seminars   Komplexpraktikum Schließen mit Beschreibungslogiken (also suitable as a project for CL students) Stellung im Studienplan: Studiengang Informatik, Fachgebiet Theorie der Programmierung; Projekt im Studiengang Computational Logic Homepage des Praktikums Wintersemester 2002/03 Vorlesung Grundlagen der Theoretischen Informatik II Stellung im Studienplan: Grundstudium Informatik; Studiengang Medieninformatik; Ergänzungsstudiengang Softwaretechnik Homepage der Vorlesung   Vorlesung Automata and Logic (in englischer Sprache) Stellung im Studienplan: Hauptstudium Informatik, Fachgebiete Intelligente Systeme und Theorie der Programmierung; Studiengang Computational Logic Homepage der Vorlesung   Vorlesung Funktionale Programmierung Stellung im Studienplan: Hauptstudium Informatik, Fachgebiet Theorie der Programmierung Homepage der Vorlesung   Vorlesung Logic-based Knowledge Representation II (in englischer Sprache, Donnerstags, 5. DS, Raum 250) Stellung im Studienplan: Studiengang Computational Logic CL-Information zur Vorlesung   Hauptseminar Unentscheidbare Probleme aus der Praxis Stellung im Studienplan: Hauptstudium Informatik Homepage des Seminars   Komplexpraktikum Formale Modelle in der Anwendung Stellung im Studienplan: Studiengang Informatik, Fachgebiet Theorie der Programmierung Homepage des Praktikums Sommersemester 2002 Vorlesung Grundlagen der Theoretischen Informatik I Stellung im Studienplan: Grundstudium Informatik; Studiengang Medieninformatik; Ergänzungsstudiengang Softwaretechnik Homepage siehe GThI II im WS 2002/03   Vorlesung Logic-based Knowledge Representation (in englischer Sprache) Stellung im Studienplan: Hauptstudium Informatik, Fachgebiete Intelligente Systeme und Theorie der Programmierung; Studiengang Computational Logic Homepage der Vorlesung