Chair for Automata Theory of the Institute for Theoretical Computer Science, Faculty of Computer Science at TU Dresden

Information for Students

Deutsche Version

Summer Term 2012 Lectures

Lecture Automata and Logic (in English)
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 of the Lecture English
 
Lecture Introduction to Complexity Theory (in English)
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-MV, MCL-PI)
Homepage of the Lecture English
 
Lecture Formal Concept Analysis and Logic (in English)
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 of the Lecture 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 of the Praktikum
 
Master-Praktikum
Master Informatik (INF-MA-PR)
Homepage of the Praktikum English
 
Project Group Theoretical Computer Science
Master Computational Logic (MCL-P)
Homepage of the Project Group 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 of the Seminar in English
 
Proseminar Unkonventionelle Berechnungsmodelle
Diplomstudiengang Informatik, Bachelor Informatik (INF-D-520, INF-B-610)
Homepage of the Seminar (in Deutsch)
 

Winter Term 2011/12 Lectures

Lecture Term Rewriting Systems (in English)
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 of the Lecture
 
Lecture Fuzzy Description Logic (in English)
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 of the Lecture English
 
Lecture Introduction to Automatic Structures (in English)
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 of the Lecture English
 
Lecture Informatik für Biologen
Bachelor Biologie, Bachelor Molekulare Biotechnologie (Modul Informatik)
Homepage of the Lecture
 
Komplexpraktikum Theoretische Informatik
Diplomstudiengang Informatik
Homepage of the Praktikum
 
Master-Praktikum
Master Informatik (INF-MA-PR)
Homepage of the Praktikum English
 
Project Group Theoretical Computer Science
Master Computational Logic (MCL-P)
Homepage of the Project Group English
 
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 Perlen der Theoretischen Informatik
Diplomstudiengang Informatik, Bachelor Informatik (INF-B-610)
Homepage of the Seminar (in Deutsch)
 

Summer Term 2011 Lectures

Lecture Description Logic (in English)
Diplomstudiengang Informatik, Bachelor Informatik, Master Informatik,
Master Computational Logic
Homepage of the Lecture
 
Lecture Funktionale Programmierung und Typtheorie
Diplomstudiengang Informatik, Bachelor Informatik, Master Informatik
Homepage of the Lecture (in Deutsch)
 
Lecture Molekulares Rechnen (in vitro und in vivo)
Diplomstudiengang Informatik
Homepage of the Lecture (in Deutsch)
 
Lecture Fuzzy Logic (in English)
Diplomstudiengang Informatik, Bachelor Informatik, Master Informatik,
Master Computational Logic
Homepage of the Lecture
 
KomplexpraktikumTheoretische Informatik
Diplomstudiengang Informatik
Homepage of the Praktikum (in Deutsch)
 
Master-Praktikum
Master Informatik
Homepage of the Praktikum
 
Project Group Theoretical Computer Science
Master Computational Logic
Homepage of the Project Group English
 
Hauptseminar Theoretical Computer Science
Diplomstudiengang Informatik, Bachelor Informatik, Master Informatik,
Master Computational Logic
Homepage of the Seminar in English
 
Proseminar Perlen der Theoretischen Informatik
Diplomstudiengang Informatik
Homepage of the Seminar (in Deutsch)
 

Winter Term 2010/11 Lectures

Lecture Formale Systeme (in German)
Position in curriculum ( 4 / 2 / - )
Bachelor-Studiengang Informatik and Bachelor-Studiengang Medieninformatik
Homepage of the Lecture (in German)
 
Lecture Informatik für Biologen (in German)
Position in curriculum ( 2 / 1 / - )
Bachelor-Studiengang Biologie and Bachelor-Studiengang Molekulare Biotechnologie
Homepage of the Lecture (in German)
 
Hauptseminar Theoretical Computer Science
Position in curriculum: main course in Computer Science
Computational Logic: 3 credit points; module IT and TCSL.
Homepage of the seminar English
 
KomplexpraktikumTheoretical Computer Science
Position in curriculum: main course in Computer Science, specialization Theory of Programming
Homepage of the Praktikum English
 
Project Group Theoretical Computer Science
Position in curriculum: Computational Logic, project (12 credit points)
Homepage of the Project English
 
Master-Praktikum
Position in curriculum: Master-Studiengang Computer Science
Homepage of the Praktikum English

Summer Term 2010 Lectures

Lecture Description Logic (in English)
Position in curriculum: main course in Computer Science, specialization Intelligent Systems and Theory of Programming;
Computational Logic: 9 credit points; modules KRAI, SDS and TCSL
Suitable for course of studies "Software Engineering"
Homepage of the lecture
 
Lecture Molekulares Rechnen (in vitro und in vivo) (in German)
Position in curriculum: Studiengang Informatik - Fachgebiet Theorie der Programmierung
Homepage of the lecture German
 
Lecture Selected Topics in Automata and Logic (in English)
Position in curriculum: main course in Computer Science, specialization Intelligent Systems and Theory of Programming;
Computational Logic: 3 credit points; module TCSL and SV
Homepage of the lecture
 
KomplexpraktikumTheoretical Computer Science
Position in curriculum: main course in Computer Science, specialization Theory of Programming
Homepage of the Praktikum
 
Project Group Theoretical Computer Science
Position in curriculum: Computational Logic, project (12 credit points)
Homepage of the Project
 
Hauptseminar Theoretical Computer Science
Position in curriculum: main course in Computer Science
Computational Logic: 3 credit points; module IT and TCSL
Homepage of the seminar
 
Proseminar Perlen der Theoretischen Informatik (in German)
Position in curriculum: main course in Computer Science
Homepage of the seminar
 

Winter Term 2009/10 Lectures

Lecture Automata and Logic English
Position in curriculum: main course in Computer Science, specialization Intelligent Systems and Theory of Programming; course of studies Computational Logic: 9 credit points; modules TCSL and IT
Homepage of the lecture English
 
Lecture Advanced topics in Description Logics English
Position in curriculum: main course in Computer Science, specialization Intelligent Systems and Theory of Programming;
Computational Logic: 3 credit points; modules IT, KRAI and TCSL
Homepage of the Lecture English
 
Lecture Informatik für Biologen (in German)
Position in curriculum ( 2 / 1 / - )
Bachelor-Studiengang Biologie and Bachelor-Studiengang Molekulare Biotechnologie
Homepage of the Lecture (in German)
 
Lecture Funktionale Programmierung und Typtheorie (in German)
Position in curriculum: main course in Computer Science, specialization Theory of Programming;
Homepage of the lecture (in German)
 
Hauptseminar Theoretical Computer Science: "Probability in Logics"
Position in curriculum: main course in Computer Science
Computational Logic: 3 credit points; module IT and TCSL.
Homepage of the seminar English
 
Komplexpraktikum/CL project
Position in curriculum: main course in Computer Science, specialization Theory of Programming;
Computational Logic: project (12 credit points)
Homepage of the Praktikum English

Summer Term 2009 Lectures

Lecture Molekulares Rechnen (in vitro und in vivo) (in German)
Position in curriculum: Studiengang Informatik - Fachgebiet Theorie der Programmierung
Homepage of the lecture German
 
Lecture Description Logic (in English)
Position in curriculum: main course in Computer Science, specialization Intelligent Systems and Theory of Programming;
Computational Logic: 9 credit points; modules KRAI and TCSL;
Suitable for course of studies ``Software Engineering''
Homepage of the lecture
 
Lecture Theorem Proving and Equality (in English)
Position in curriculum: main course in Computer Science, specialization Intelligent Systems and Theory of Programming;
Computational Logic: 4 credit points; module TCSL, IT.
Homepage the lecture
 
Komplexpraktikum/CL project
Position in curriculum: main course in Computer Science, specialization Theory of Programming;
Computational Logic: project (12 credit points)
Homepage of the Praktikum
 
Hauptseminar Automata, Logics and Infinite Games
Position in curriculum: main course in Computer Science
Computational Logic: 3 credit points; module IT, TCSL.
Homepage of the seminar


Winter Term 2008/09 Lectures

Lecture Grundlagen der Theoretischen Informatik II (in German)
Position in curriculum: foundation course in Computer Science; course of studies Media Computer Science; course of studies Softwaretechnik.
Homepage of the lecture German
 
Lecture Term rewriting systems (in English)
Position in curriculum: main course in Computer Science, specialization Intelligent Systems and Theory of Programming;
Course of studies Computational Logic: 10 credit points; module TCSL
Homepage of the Lecture
 
Lecture Funktionale Programmierung und Typtheorie (in German)
Position in curriculum: main course in Computer Science, specialization Theory of Programming;
Homepage of the lecture German
 
Hauptseminar Theoretical Computer Science
Position in curriculum: main course in Computer Science
Computational Logic: 3 credit points; module IT and TCSL.
Homepage of the seminar
 

Summer Term 2008 Lectures

Lecture Molekulares Rechnen (in vitro und in vivo) (in German)
Position in curriculum: Studiengang Informatik - Fachgebiet Theorie der Programmierung
Homepage of the lecture German
 
Lecture Grundlagen der Theoretischen Informatik I (in German)
Position in curriculum: foundation course in Computer Science; course of studies Media Computer Science; course of studies Softwaretechnik.
Homepage of the lecture German
 
Lecture Complexity and Logic (in English)
Position in curriculum: main course in Computer Science, specialization Intelligent Systems and Theory of Programming;
Computational Logic: 9 credit points; modules IT, KRAI, TCSL;
Homepage of the lecture
 
Lecture Verification Techniques (in English)
Computational Logic: 6 credit points; modules IT, VT, TCSL;
Homepage of the lecture
 
Lecture Theorem Proving and Equality (in English)
Position in curriculum: main course in Computer Science, specialization Intelligent Systems and Theory of Programming;
Computational Logic: 4 credit points; module TCSL, IT.
Homepage the lecture
 
Komplexpraktikum/CL project
Position in curriculum: main course in Computer Science, specialization Theory of Programming;
Computational Logic: project (12 credit points)
Homepage of the Praktikum


Winter Term 2007/08 Lectures

Lecture Decision Procedures (in English)
Position in curriculum: course of studies Computational Logic: 2 credit points; modules TCSL and IT
THIS LECTURE HAS BEEN CANCELLED!
 
Lecture Funktionale Programmierung und Typtheorie (in German)
Position in curriculum: main course in Computer Science, specialization Theory of Programming;
Homepage of the lecture German
 
Lecture Automata and Logic (in English)
Position in curriculum: main course in Computer Science, specialization Intelligent Systems and Theory of Programming; course of studies Computational Logic: 10 credit points; modules TCSL and IT
Homepage of the lecture
 
Hauptseminar Automata, Logics, and Infinite Games
Position in curriculum: main course in Computer Science
Computational Logic: 3 credit points; module TCSL
Homepage of the seminar
 
Komplexpraktikum/CL project
Position in curriculum: main course in Computer Science, specialization Theory of Programming;
Computational Logic: project (12 credit points)
Homepage of the Praktikum
 

Summer Term 2007 Lectures

Lecture Molekulares Rechnen (in vitro und in vivo) (in German)
Position in curriculum: Studiengang Informatik - Fachgebiet Theorie der Programmierung
Homepage of the lecture German
 
Lecture Description Logic (in English)
Position in curriculum: main course in Computer Science, specialization Intelligent Systems and Theory of Programming;
Computational Logic: 9 credit points; modules KRAI and TCSL;
Suitable for course of studies ``Software Engineering''
Homepage of the lecture
 
Lecture Theorem Proving and Equality (in English)
Position in curriculum: main course in Computer Science, specialization Intelligent Systems and Theory of Programming;
Computational Logic: 4 credit points; module TCSL, IT.
Homepage the lecture
 
Komplexpraktikum/CL project
Position in curriculum: main course in Computer Science, specialization Theory of Programming;
Computational Logic: project (12 credit points)
Homepage of the Praktikum
 
Hauptseminar Complexity of enumeration problems
Position in curriculum: main course in Computer Science
Computational Logic: 3 credit points; module IT, TCSL.
Homepage of the seminar


Winter Term 2006/07 Lectures

Position in curriculum:
Lecture Grundlagen der Theoretischen Informatik II (in German)
Position in curriculum: foundation course in Computer Science; course of studies Media Computer Science; course of studies Softwaretechnik.
Homepage of the lecture German
 
Lecture Funktionale Programmierung und Typtheorie (in German)
Position in curriculum: main course in Computer Science, specialization Theory of Programming;
Homepage of the lecture German
 
Lecture Term rewriting systems (in English)
Position in curriculum: main course in Computer Science, specialization Intelligent Systems and Theory of Programming;
Course of studies Computational Logic: 9 credit points; module TCSL
Homepage of the Lecture
 
Lecture Complexity Theory (in English)
Position in curriculum: foundational course in Computational Logic;
Computational Logic: 3 credit points; module F, TCSL.
Homepage the lecture
 
Hauptseminar Knowledge Representation
Position in curriculum: main course in Computer Science
Computational Logic: 3 credit points; module IT, TCSL.
Homepage of the seminar
 

Summer Term 2006 Lectures

Lecture Grundlagen der Theoretischen Informatik I (in German)
Position in curriculum: foundation course in Computer Science; course of studies Media Computer Science
Homepage of the lecture German
 
Lecture Logic-based Knowledge Representation (in English)
Position in curriculum: main course in Computer Science, specialization Intelligent Systems and Theory of Programming;
Computational Logic: 9 credit points; modules KRAI and TCSL;
Suitable for course of studies ``Software Engineering''
Homepage of the lecture
 
Lecture Temporal Logic (in English)
Position in curriculum: main course in Computer Science, specialization Intelligent Systems and Theory of Programming;
Computational Logic: 3 credit points; modules SV and TCSL
Homepage the lecture
 
Komplexpraktikum/CL project
Position in curriculum: main course in Computer Science, specialization Theory of Programming;
Computational Logic: project (12 credit points)
Homepage of the Praktikum

Winter Term 2005/06 Lectures

Lecture Complexity and Logic (in English)
Position in curriculum: main course in Computer Science, specialization Intelligent Systems and Theory of Programming;
Computational Logic: 9 credit points; module TCSL;
Homepage of the lecture
 
Lecture Theorem Proving and Equality (in English)
Position in curriculum: main course in Computer Science, specialization Intelligent Systems and Theory of Programming;
Computational Logic: 3 credit points; module TCSL, IT.
Homepage the lecture
 
Lecture Funktionale Programmierung und Typtheorie
Position in curriculum: main course in Computer Science, specialization Theory of Programming
Homepage of the lecture
 
Hauptseminar Knowledge Representation
Position in curriculum: main course in Computer Science
Computational Logic: 3 credit points; module TCSL
Homepage of the seminar
 
Komplexpraktikum/CL project
Position in curriculum: main course in Computer Science, specialization Theory of Programming;
Computational Logic: project (12 credit points)
Homepage of the Praktikum

Summer Term 2005 Lectures

Lecture Logic-based Knowledge Representation (in English)
Position in curriculum: main course in Computer Science, specialization Intelligent Systems and Theory of Programming;
Computational Logic: 9 credit points; modules KRAI and TCSL;
Suitable for course of studies ``Software Engineering''
Homepage of the lecture
 
Lecture Temporal Logic (in English)
Position in curriculum: main course in Computer Science, specialization Intelligent Systems and Theory of Programming;
Computational Logic: 3 credit points; modules SV and TCSL
Homepage the lecture
 
Hauptseminar Automata and Logic
Position in curriculum: main course in Computer Science
Computational Logic: 3 credit points; module TCSL
Homepage of the seminar
 
Komplexpraktikum/CL project
Position in curriculum: main course in Computer Science, specialization Theory of Programming;
Computational Logic: project (12 credit points)
Homepage of the Praktikum

Winter Term 2004/05 Lectures

Lecture Grundlagen der Theoretischen Informatik II
Position in curriculum: foundation course in Computer Science; course of studies Media Computer Science; supplementary course of studies in Software Engineering
Homepage of the lecture Deutsch
 
Lecture Automata and Logic (in English)
Position in curriculum: main course in Computer Science, specialization Intelligent Systems and Theory of Programming; course of studies Computational Logic: 9 credit points; modules TCSL and IT
Homepage of the lecture
 
Lecture Funktionale Programmierung und Typtheorie
Position in curriculum: main course in Computer Science, specialization Theory of Programming
Homepage of the lecture Deutsch
 
Komplexpraktikum/CL project Automated Reasoning in Logical Formalisms
Position in curriculum: main course in Computer Science, specialization Theory of Programming;
Computational Logic: project (12 credit points)
Homepage of the Praktikum

Summer Term 2004 Lectures

Lecture Grundlagen der Theoretischen Informatik I (in German)
Position in curriculum: foundation course in Computer Science; course of studies Media Computer Science
Homepage of the lecture German
 
Lecture Term rewriting systems (in English)
Position in curriculum: main course in Computer Science, specialization Intelligent Systems and Theory of Programming;
Course of studies Computational Logic: 9 credit points; module TCSL
Homepage of the Lecture
 
Hauptseminar Knowledge Representation and Reasoning with Description Logics
Position in curriculum: main course in Computer Science
Computational Logic: 3 credit points; module TCSL
Homepage of the seminar

Winter Term 2003/04 Lectures

Lecture Logic-based Knowledge Representation (in English)
Position in curriculum: main course in Computer Science, specialization Intelligent Systems and Theory of Programming;
Computational Logic: 9 credit points; modules KRAI and TCSL;
Suitable for course of studies ``Software Engineering''
Homepage of the lecture
 
Lecture Funktionale Programmierung
Position in curriculum: main course in Computer Science, specialization Theory of Programming
Homepage of the lecture
 
Hauptseminar Undecidable Problems from Real Applications
Position in curriculum: main course in Computer Science
Computational Logic: 3 credit points; module TCSL
Homepage of the seminar
 
Komplexpraktikum / CL project Automated Reasoning in Logical Formalisms (in German and/or English)
Position in curriculum: main course in Computer Science, specialization Theory of Programming;
Computational Logic: project (12 credit points)
Homepage of the Praktikum

Summer Term 2003 Lectures

Lecture Term rewriting systems (in English)
Position in curriculum: main course in Computer Science, specialization Intelligent Systems and Theory of Programming; course of studies Computational Logic
Homepage of the Lecture
 
Lecture Modal Logic (in English)
Position in curriculum: main course in Computer Science, specialization Intelligent Systems and Theory of Programming; course of studies Computational Logic
Homepage the lecture
 
Hauptseminar Undecidable Problems from Real Applications
Position in curriculum: main course in Computer Science
Homepage of the seminar Deutsch
 
Komplexpraktikum / CL project Reasoning in Description Logics (in German and/or English)
Position in curriculum: main course in Computer Science, specialization Theory of Programming; project for course of studies computational logic
Homepage of the Praktikum

Winter Term 2002/03 Lectures

Lecture Grundlagen der Theoretischen Informatik II
Position in curriculum: foundation course in Computer Science; course of studies Media Computer Science; supplementary course of studies in Software Engineering
Homepage of the lecture Deutsch
 
Lecture Automata and Logic (in English)
Position in curriculum: main course in Computer Science, specialization Intelligent Systems and Theory of Programming; course of studies Computational Logic
Homepage of the lecture
 
Lecture Funktionale Programmierung
Position in curriculum: main course in Computer Science, specialization Theory of Programming
Homepage of the lecture
 
Lecture Logic-based Knowledge Representation II (in English, thursday, DS5, room 250)
Position in curriculum: course of studies Computational Logic
CL-Information for this lecture English
 
Hauptseminar Unentscheidbare Probleme aus der Praxis
Position in curriculum: main course in Computer Science
Homepage of the seminar
 
Komplexpraktikum Formale Modelle in der Anwendung
Position in curriculum: main course in Computer Science, specialization Theory of Programming
Homepage of the praktikum

Summer Term 2002 Lectures

Lecture Grundlagen der Theoretischen Informatik I (in German)
Position in curriculum: foundation course in Computer Science; course of studies Media Computer Science
Homepage of the lecture German
 
Lecture Logic-based Knowledge Representation (in English)
Position in curriculum: main course in Computer Science, specialization Intelligent Systems and Theory of Programming; course of studies Computational Logic; supplementary course of studies in Software Engineering
Homepage of the lecture

home   German