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

Informationen zur Lehre

english version

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