Deutsche Version
![]() | 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 ![]() |
|
![]() | 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 ![]() |
|
![]() | 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 ![]() |
|
![]() | Vorlesung Funktionale Programmierung und Typtheorie |
|
Diplomstudiengang Informatik (Theorie der Programmierung, INF-BAS6, INF-VERT6), Bachelor Informatik(INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6) | |
| Homepage der Vorlesung | |
|
Vorlesung Molekulares Rechnen (in vitro und in vivo) |
| Diplomstudiengang Informatik (Theorie der Programmierung, INF-BAS6, INF-VERT6), Bachelor Informatik(INF-B-510, INF-B-520), Master Informatik (INF-BAS6, INF-VERT6) |
|
| Homepage der Vorlesung | |
![]() | Vorlesung Einführung in die Informatik |
|
Bachelor Wirtschaftsinformatik, Lehramtsbezogener Bachelor "Allgemeinbildende Schulen", Lehramtsbezogener Bachelor "Berufliche Bildung" - Direktstudium |
|
Homepage der Vorlesung
|
|
![]() | Komplexpraktikum Theoretische Informatik |
| Diplomstudiengang Informatik | |
| Homepage of the Praktikum | |
![]() | Master-Praktikum |
| Master Informatik (INF-MA-PR) | |
Homepage of the Praktikum
|
|
![]() | Project Group Theoretical Computer Science |
| Master Computational Logic (MCL-P) | |
Homepage of the Project Group
|
|
![]() | 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
|
|
![]() | Proseminar Unkonventionelle Berechnungsmodelle |
| Diplomstudiengang Informatik, Bachelor Informatik (INF-D-520, INF-B-610) | |
Homepage of the Seminar
![]() |
|
![]() | 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 ![]() |
|
![]() | 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 ![]() |
|
![]() | 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
|
|
![]() | Project Group Theoretical Computer Science |
| Master Computational Logic (MCL-P) | |
Homepage of the Project Group ![]() |
|
![]() | Seminar Theoretical Computer Science |
|
Diplomstudiengang Informatik (Hauptseminar), Master Informatik (INF-AQUA)
Master Computational Logic (MCL-PCS, MCL-PI, MCL-TCSL) |
|
Homepage of the Seminar
|
|
![]() | Proseminar Perlen der Theoretischen Informatik |
| Diplomstudiengang Informatik, Bachelor Informatik (INF-B-610) | |
Homepage of the Seminar
![]() |
|
![]() | 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
![]() |
|
|
Lecture Molekulares Rechnen (in vitro und in vivo) |
| Diplomstudiengang Informatik | |
Homepage of the Lecture
![]() |
|
![]() | 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
![]() |
|
![]() | Master-Praktikum |
| Master Informatik | |
| Homepage of the Praktikum | |
![]() | Project Group Theoretical Computer Science |
| Master Computational Logic | |
Homepage of the Project Group ![]() |
|
![]() | Hauptseminar Theoretical Computer Science |
|
Diplomstudiengang Informatik, Bachelor Informatik, Master Informatik,
Master Computational Logic |
|
Homepage of the Seminar
|
|
![]() | Proseminar Perlen der Theoretischen Informatik |
| Diplomstudiengang Informatik | |
Homepage of the Seminar
![]() |
|
![]() | Lecture Formale Systeme
|
|
Position in curriculum ( 4 / 2 / - ) Bachelor-Studiengang Informatik and Bachelor-Studiengang Medieninformatik |
|
Homepage of the Lecture
|
|
![]() | Lecture Informatik für Biologen
|
|
Position in curriculum ( 2 / 1 / - ) Bachelor-Studiengang Biologie and Bachelor-Studiengang Molekulare Biotechnologie |
|
Homepage of the Lecture
|
|
![]() | 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
|
|
![]() | 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
![]() |
|
![]() | Master-Praktikum |
| Position in curriculum: Master-Studiengang Computer Science | |
Homepage of the Praktikum
|
|
![]() | 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 ![]() |
|
![]() | 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 | |
![]() | Lecture Automata and Logic
|
| 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 Advanced topics in Description Logics
|
|
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
|
|
![]() | Lecture Informatik für Biologen
|
|
Position in curriculum ( 2 / 1 / - ) Bachelor-Studiengang Biologie and Bachelor-Studiengang Molekulare Biotechnologie |
|
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
| |
![]() | 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
|
|
![]() | 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
|
|
|
Lecture Molekulares Rechnen (in vitro und in vivo) (in German) |
| Position in curriculum: Studiengang Informatik - Fachgebiet Theorie der Programmierung | |
Homepage of the
lecture ![]() |
|
![]() | 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 |
![]() | 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 ![]() |
|
![]() | 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
| |
![]() | 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 | |
|
Lecture Molekulares Rechnen (in vitro und in vivo) (in German) |
| Position in curriculum: Studiengang Informatik - Fachgebiet Theorie der Programmierung | |
Homepage of the
lecture ![]() |
|
![]() | 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 ![]() |
|
![]() | 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 |
![]() | 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
| |
![]() | 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 | |
|
Lecture Molekulares Rechnen (in vitro und in vivo) (in German) |
| Position in curriculum: Studiengang Informatik - Fachgebiet Theorie der Programmierung | |
Homepage of the
lecture ![]() |
|
![]() | 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 |
![]() | 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 ![]() |
|
![]() | Lecture Funktionale Programmierung und Typtheorie (in German) |
| Position in curriculum: main course in Computer Science, specialization Theory of Programming; | |
Homepage of the lecture
| |
![]() | 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 | |
|
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 ![]() |
|
![]() | 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 | |
![]() | 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 | |
![]() | 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 | |
|
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 ![]() |
|
![]() | 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 ![]() |
|
![]() | 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 | |
|
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 ![]() |
|
![]() | 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 |
![]() | 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 |
![]() | 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 ![]() |
|
![]() | 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 |
|
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 ![]() |
|
![]() | 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 ![]() |
|
![]() | 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 |
|
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 ![]() |
|
![]() | 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 |