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