Lehrstuhl für Automatentheorie des Instituts für Theoretische Informatik der Fakultät Informatik an der TU Dresden

Informationen zur Lehre

english version

Sommersemester 2018


Wintersemester 2017/18


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 English
 
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 in English
 
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 English
 
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 in English
 
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 in English
 
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 English
 
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 English
 
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 English
 
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 in English
 
Proseminar Theoretische Informatik
Diplomstudiengang Informatik, Bachelor Informatik (INF-D-520, INF-B-510, INF-B-520, INF-B-610)
Homepage des Seminars in English
 

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 English
 
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 English
 
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 in English
 
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 English
 
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 English
 
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 in English
 
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 English
 

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 English
 
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 (in Deutsch)
 
Vorlesung Logical Approach to Physical Data Independence and Query Compilation (in englischer Sprache)
Master in Computational Logic
Homepage der Vorlesung (in Englisch)
 
Komplexpraktikum Theoretische Informatik
Diplomstudiengang Informatik
Homepage des Praktikums
 
Master-Praktikum
Master Informatik (INF-MA-PR)
Homepage des Praktikums English
 
Project Group Theoretical Computer Science
Master Computational Logic (MCL-P)
Homepage der Projektgruppe English
 
Forschungsprojekt Theoretical Computer Science
Master Informatik (INF-PM-FPG)
Diplom Informatik (INF-PM-FPG)
Homepage zur Lehrveranstaltung English
 
Seminar Seminar Theoretical Computer Science
Diplomstudiengang Informatik (Hauptseminar), Master Informatik (INF-AQUA)
Master Computational Logic (MCL-PCS, MCL-PI, MCL-TCSL)
Homepage des Seminars in English
 
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 English
 
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 English
 
Project Group Theoretical Computer Science
Master Computational Logic (MCL-P)
Homepage der Projektgruppe English
 
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 in English
 
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 English
 
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 (in Deutsch)
 
Vorlesung Einführung in die Informatik
Bachelor Wirtschaftsinformatik,
Lehramtsbezogener Bachelor "Allgemeinbildende Schulen",
Lehramtsbezogener Bachelor "Berufliche Bildung" - Direktstudium
Homepage der Vorlesung (in Deutsch)
 
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 English
 
Seminar Theoretical Computer Science
Diplomstudiengang Informatik (Hauptseminar), Master Informatik (INF-AQUA)
Master Computational Logic (PCS, (TCSL, PI))
Homepage des Seminars in English
 
Proseminar Theoretische Informatik
Diplomstudiengang Informatik, Bachelor Informatik (INF-D-520, INF-B-610)
Homepage des Proseminars (in Deutsch)
 
Komplexpraktikum Theoretische Informatik
Diplomstudiengang Informatik
Homepage des Praktikums
 
Master-Praktikum
Master Informatik (INF-MA-PR, INF-PM-FPG)
Homepage des Praktikums English
 
Project Group Theoretical Computer Science
Master Computational Logic (MCL-P)
Homepage der Projektgruppe English
 

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 English
 
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 English
 
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 English
 
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 English
 
Project Group Theoretical Computer Science
Master Computational Logic (MCL-P)
Homepage der Projektgruppe English
 
Seminar Theoretical Computer Science
Diplomstudiengang Informatik (Hauptseminar), Master Informatik (INF-AQUA)
Master Computational Logic (MCL-PCS, MCL-PI, MCL-TCSL)
Homepage des Seminars in English
 
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 English
 
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 English
 
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 English
 
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 (in Deutsch)
 
Komplexpraktikum Theoretische Informatik
Diplomstudiengang Informatik
Homepage des Praktikums
 
Master-Praktikum
Master Informatik (INF-MA-PR)
Homepage des Praktikums English
 
Project Group Theoretical Computer Science
Master Computational Logic (MCL-P)
Homepage der Projektgruppe English
 
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 in English
 
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 English
 
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 English
 
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 English
 
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 English
 
Project Group Theoretical Computer Science
Master Computational Logic (MCL-P)
Homepage der Projektgruppe English
 
Seminar Theoretical Computer Science
Diplomstudiengang Informatik (Hauptseminar), Master Informatik (INF-AQUA)
Master Computational Logic (MCL-PCS, MCL-PI, MCL-TCSL)
Homepage des Seminars in English
 
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 English
 
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 English
 
KomplexpraktikumTheoretische Informatik
Diplomstudiengang Informatik
Homepage des Praktikums
 
Master-Praktikum
Master Informatik
Homepage des Praktikums English
 
Project Group Theoretical Computer Science
Master Computational Logic
Homepage der Projektgruppe English
 
Hauptseminar Theoretical Computer Science
Diplomstudiengang Informatik,
Master Computational Logic
Homepage des Seminars in English
 
Proseminar Perlen der Theoretischen Informatik
Diplomstudiengang Informatik
Homepage des Seminars
 

Wintersemester 2010/11

Vorlesung Formale Systeme (in Deutsch)
Stellung im Studienplan ( 4 / 2 / - )
Bachelor-Studiengang Informatik und Bachelor-Studiengang Medieninformatik
Homepage der Vorlesung (in Deutsch)
 
Vorlesung Informatik für Biologen (in Deutsch)
Stellung im Studienplan ( 2 / 1 / - )
Bachelor-Studiengang Biologie und Bachelor-Studiengang Molekulare Biotechnologie
Homepage der Vorlesung (in Deutsch)
 
Hauptseminar Theoretical Computer Science
Stellung im Studienplan: Hauptstudium Informatik
Studiengang Computational Logic: 3 Credit Points; Modul IT, TCSL.
Homepage des Seminars in English
 
KomplexpraktikumTheoretische Informatik
Studiengang Informatik
Homepage des Praktikums English
 
Project Group Theoretical Computer Science
Studiengang Computational Logic: Projekt (12 Credit Points)
Homepage der Projektgruppe English
 
Master-Praktikum
Stellung im Studienplan: Master-Studiengang Informatik
Homepage des Praktikums English
 

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 English
 
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 English
 
KomplexpraktikumTheoretische Informatik
Studiengang Informatik
Homepage des Praktikums
 
Project Group Theoretical Computer Science
Studiengang Computational Logic: Projekt (12 Credit Points)
Homepage der Projektgruppe English
 
Hauptseminar Theoretical Computer Science
Studiengang Informatik
Studiengang Computational Logic: 3 Credit Points; Module IT und TCSL.
Homepage des Seminars in English
 
Proseminar Perlen der Theoretischen Informatik
Studiengang Informatik
Homepage des Seminars
 

Wintersemester 2009/10

Vorlesung Automata and Logic in English
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 in English
 
Vorlesung Advanced topics in Description Logics in English
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 in English
 
Vorlesung Informatik für Biologen (in Deutsch)
Stellung im Studienplan ( 2 / 1 / - )
Bachelor-Studiengang Biologie und Bachelor-Studiengang Molekulare Biotechnologie
Homepage der Vorlesung (in Deutsch)
 
Vorlesung Funktionale Programmierung und Typtheorie (in Deutsch)
Stellung im Studienplan ( 2 / 2 / - )
Hauptstudium Studiengang Informatik, Fachgebiet Theorie der Programmierung.
Homepage der Vorlesung (in Deutsch)
 
Hauptseminar Theoretical Computer Science:" Probability in Logics"
Stellung im Studienplan: Hauptstudium Informatik
Studiengang Computational Logic: 3 Credit Points; Modul IT, TCSL.
Homepage des Seminars in English
 
Komplexpraktikum / CL Projekt
Stellung im Studienplan: Studiengang Informatik, Fachgebiet Theorie der Programmierung
Studiengang Computational Logic: Projekt (12 Credit Points)
Homepage des Praktikums English
 

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 English
 
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 English
 
Komplexpraktikum / CL Projekt
Stellung im Studienplan: Studiengang Informatik, Fachgebiet Theorie der Programmierung
Studiengang Computational Logic: Projekt (12 Credit Points)
Homepage des Praktikums English
 
Hauptseminar Automata, Logics and Infinite games
Stellung im Studienplan: Hauptstudium Informatik
Studiengang Computational Logic: 3 Credit Points; Modul IT, TCSL.
Homepage des Seminars English



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 English
 
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 English
 



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 English
 
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 English
 
Komplexpraktikum / CL Projekt
Stellung im Studienplan: Studiengang Informatik, Fachgebiet Theorie der Programmierung
Studiengang Computational Logic: Projekt (12 Credit Points)
Homepage des Praktikums English
 



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 English
 
Hauptseminar Automata, Logics, and Infinite Games
Stellung im Studienplan: Hauptstudium Informatik
Studiengang Computational Logic: 3 Credit Points; Modul IT, TCSL.
Homepage des Seminars English
 
Komplexpraktikum / CL Projekt
Stellung im Studienplan: Studiengang Informatik, Fachgebiet Theorie der Programmierung
Studiengang Computational Logic: Projekt (12 Credit Points)
Homepage des Praktikums English


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 English
 
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 English
 
Komplexpraktikum / CL Projekt
Stellung im Studienplan: Studiengang Informatik, Fachgebiet Theorie der Programmierung
Studiengang Computational Logic: Projekt (12 Credit Points)
Homepage des Praktikums English
 
Hauptseminar Complexity of enumeration problems
Stellung im Studienplan: Hauptstudium Informatik
Studiengang Computational Logic: 3 Credit Points; Modul IT, TCSL.
Homepage des Seminars English



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 English
 
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 English
 
Hauptseminar Wissensrepräsentation
Stellung im Studienplan: Hauptstudium Informatik
Studiengang Computational Logic: 3 Credit Points; Modul IT, TCSL.
Homepage des Seminars English


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 English
 
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 English
 
Komplexpraktikum / CL Projekt
Stellung im Studienplan: Studiengang Informatik, Fachgebiet Theorie der Programmierung
Studiengang Computational Logic: Projekt (12 Credit Points)
Homepage des Praktikums English


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 English
 
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 English
 
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 English
 
Komplexpraktikum / CL Projekt
Stellung im Studienplan: Studiengang Informatik, Fachgebiet Theorie der Programmierung
Studiengang Computational Logic: Projekt (12 Credit Points)
Homepage des Praktikums English


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 English
 
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 English
 
Hauptseminar Automaten und Logik
Stellung im Studienplan: Hauptstudium Informatik
Studiengang Computational Logic: 3 Credit Points; Modul TCSL
Homepage des Seminars English
 
Komplexpraktikum / CL Projekt
Stellung im Studienplan: Studiengang Informatik, Fachgebiet Theorie der Programmierung
Studiengang Computational Logic: Projekt (12 Credit Points)
Homepage des Praktikums English


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 English
 
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 English


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 English
 
Hauptseminar Wissensrepräsentation mit Beschreibungslogik
Stellung im Studienplan: Hauptstudium Informatik
Studiengang Computational Logic: 3 Credit Points; Modul TCSL
Homepage des Seminars English


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 English
 
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 English
 
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 English


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 English
 
Vorlesung Modallogik (in englischer Sprache)
Stellung im Studienplan: Hauptstudium Informatik, Fachgebiete Intelligente Systeme und Theorie der Programmierung; Studiengang Computational Logic
Homepage der Vorlesung English
 
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 English


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 English
 
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 English
 
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 English


home   English