Name | Thema | Ort | Zeit |
---|---|---|---|
Prof. Peter Buchholz | Petri Netze | GRU 470 | Mi 2. DS |
Prof. Manfred Droste | Theoretische Informatik: Berechenbarkeitstheorie | BEY 0114 u. WIL C 129 | Mi 4. DS u. Fr 3. DS |
Gruppentheorie: Grundlagen der Gruppentheorie, Isomorphiesätze, Sylow-Sätze, auflösbare Gruppen | WIL A 120 | Di 2. DS | |
Seminar Ausgewählte Kapitel der Informatik: Ausgewählte neuere Arbeiten zur Automatentheorie | WIL C 130 | Do 3. DS | |
Prof. Bernhard Ganter | Begriffliche Wissensdarstellung | WIL C 129 | Di 7. DS |
Prof. Steffen Hölldobler/ Prof. Michael Thielscher | Foundations of Cognitive Robotics | HG 350 | Mo 2. DS u. Do 3. DS |
Prof. Horst Reichel | Formal Specification of Data and Process Types | GRU 356 | Di 2. DS |
Prof. Heiko Vogler | Implementation of imperative programming languages | HG 350 | Di 2. DS u. Mi 2. DS |
Name | Thema | Ort | Zeit |
---|---|---|---|
Prof. Manfred Droste | Algebraische Grundlagen der Informatik | WIL-C207 u. WIL-A124 | Di 2. DS u. Fr 2. DS |
Algebraische Automatentheorie | WIL-C207 | Mi 3. DS | |
Seminar Ausgewählte Kapitel der Informatik | WIL C105 | Mi 6. DS | |
Prof. Reinhard Pöschel | Universelle Algebra (Dr. Seidel) | Di 5. DS | |
Prof. Horst Reichel/Prof. Heiko Vogler | Hauptseminar Inductionless Induction | HG 151 | Mi 4. DS |
Prof. Heiko Vogler | Attribute Grammars | HG 350 | Fr 3. DS |
Name | Thema | Ort | Zeit |
---|---|---|---|
Prof. Bernhard Ganter | Qualitative Datenanalyse | WIL C129 | Di 3. DS |
Prof. Reinhard Pöschel | Funktionen- und Relationenalgebren | WIL C129 u. WIL A120 | Mi 7. DS u. Fr 1. DS |
Prof. Horst Reichel | Formal Specification of Data and Process Types | HS 350 | Mi 2. DS |
Prof. Michael Thielscher | Foundation of Cognitive Robotics | HG 350 | Mo 3. DS u. Do 4. DS |
Prof. Heiko Vogler | Syntax-Directed Semantics | HG 350 | Mi 4. DS u. Do 3. DS |
Name | Thema | Ort | Zeit |
---|---|---|---|
Prof. Manfred Droste | Gruppentheorie | WIL C 133 | Do 2. DS |
Prof. Steffen Hölldobler | Introduction to Computational Logic | GRU 350 | Di 3. DS u. Mi 2. DS |
Prof. Reinhard Pöschel | Universelle Algebra | WIL A124 | Do 1. DS |
Prof. Horst Reichel | Formal Modells of Concurrency | GRU 350 | Do 2. DS |
Lehrbeauftragter | Lehrveranstaltung |
---|---|
Prof. Franz Baader | Logic-based Knowledge Representation |
Prof. Peter Buchholz | Petri Nets |
Prof. Manfred Droste | Algebra 2 |
Prof. Bernhard Ganter | Formal Concept Analysis: Basic Theory and Algorithmus |
International Seminar | |
Prof. Michael Thielscher | Foundations of Cognitive Robotics |
Prof. Heiko Vogler | Attribute Grammars |
Name | Veranstaltung | Ort | Zeit |
---|---|---|---|
Prof. Franz Baader | Automata and Logic | GRU 350 | Di u. Do 6. DS |
Prof. Peter Buchholz | Naturanaloge Optimierungsverfahren | GRU 356 | Mo 6. DS |
Prof. Manfred Droste | Algebraische Automatentheorie | WIL C 129 | Do 6. DS |
Prof. Steffen Hölldobler | Introduction to Computational Logic | GRU 350 | Mo u. Mi 2. DS |
HDoz. Dr. Dietrich Kuske | Berechenbarkeit und Logik | WIL B122 u. WIL C206 | Di 6. DS u. Mi 5. DS |
Prof. Reinhard Pöschel | Universelle Algebra | WIL A 120 | Mi 7. DS |
Prof. Heiko Vogler | Syntax-Directed Semantics | GRU 350 | Mi u. Do 4. DS |
Name | Veranstaltung | Ort | Zeit |
---|---|---|---|
Prof. Franz Baader | Term rewriting systems | GRU 350 | Di 6. DS u. Do 5. DS |
Prof. F. Baader u. Dr. C. Lutz | Modal Logic | GRU 350 | Mo 4. DS |
Prof. M. Droste u. HDoz. Dr. D. Kuske | Algebraische Grundlagen der Informatik | WIL A 120 u. WIL C 133 | Mo 4. DS u. Do 2. DS |
Prof. Bernhard Ganter | Formale Begriffsanalyse | WIL B 321 | Fr 2. DS |
Prof. Steffen Hölldobler | Machine Learning | GRU 350 | Mo 2. DS |
HDoz. Dr. Dietrich Kuske | Beweistheorie | WIL A 124 | Fr 5. DS |
Prof. Horst Reichel | Advanced Logics | GRU 350 | Mi 2. DS u. Do 2. DS |
Formal Specification of Data and Process Types | GRU 350 | Do 4. DS | |
Prof. Michael Thielscher | Reasoning Agents | GRU 350 | Mo 6. DS u. Di 7. DS |
Name | Veranstaltung | Ort | Zeit |
---|---|---|---|
Prof. Manfred Droste | Logik und Modelltheorie | WIL C 307 | Mi 2. DS |
Prof. Reinhard Pöschel | Universelle Algebra | WIL A 317 | Mi 2. DS |
Prof. Horst Reichel | Programmverifikation und -spezifikation mit Coalgebren | GRU 470 | Mo 4. DS |
Prof. Michael Thielscher | Reasoning Agents II | GRU 350 | Mo 5. DS u. Di 3. DS |
Prof. Heiko Vogler | Funktionale- und Logik-Programmierung | GRU 150 | Mi u. Do 4. DS |
Name | Veranstaltung | Ort | Zeit |
---|---|---|---|
Prof. Franz Baader | Term Rewriting Systems | GRU 350 | Di u. Do 6. DS |
Prof. Reinhard Pöschel | Kategorientheorie | WIL C 133 | Mo 6. DS |
Prof. Michael Thielscher | Reasoning Agents | GRU 350 | Mo u. Do 5. DS |
Prof. Heiko Vogler | The algebraic path problem | GRU 350 | Mi u. Do 4. DS |
Attributgrammatiken | GRU 450 | Mi 5. DS |
Name | Veranstaltung | Ort | Zeit |
---|---|---|---|
Prof. Reinhard Pöschel | Universelle Algebra | WIL C 129 | V: Di 1. DS |
Prof. Michael Thielscher | Reasoning Agents 2 | GRU 350 | S: Mi 7. DS |
Prof. Heiko Vogler | Syntax-Directed Semantics | GRU 350 | V: Mo 3. DS & Di 3. DS, Ü: Do 4. DS |
Compilerbau (deutsch) | GRU 150+250 | V: Di 5. DS
(150) & Mi 6. DS (250), Ü: Mi 2. DS (250) | |
Prof. Franz Baader | Automata and Logic | GRU 350 | V: Di 6. DS & Do 6. DS, Ü: Mi 3. DS |
Prof. Steffen Hölldobler | Science of Computational Logic | GRU 350 | V: Mo 2. DS oder Mi 2. DS, Ü: Mo 4. DS oder Fr 3. DS |
Name | Veranstaltung | Ort | Zeit |
---|---|---|---|
Prof. Heiko Vogler | Syntax-Directed Semantics | GRU 350 | V: Di 5. DS & Mi 4. DS Ü: Mo 2. DS |
Prof. Heiko Vogler | Algebraic Optimization | GRU 350 | S: Fr 4. DS |
Prof. Franz Baader | Logic-based Knowledge Representation | GRU 350 | V: Di 6. DS & Do 6. DS, Ü: Mi 2. DS |
Prof. Michael Thielscher | Reasoning Agents | GRU 350 | V: Mo 4. DS & V/Ü: Do 5. DS |
Dr. Hendrik Tews | Coalgebraische Spezifikation und Verfeinerung | GRU 358 | V: Mi 4. DS, Ü: Di 4. DS |
Prof. Steffen Hölldobler | Logic Programming and Connectionist Systems | GRU 350 | V/Ü: Di 2. DS |
Name | Veranstaltung | Ort | Zeit |
---|---|---|---|
Prof. Michael Thielscher | General Game-Playing | GRU 350 | V: Do 4. DS |
Prof. Michael Thielscher | Reasoning Agents II | GRU 350 | S: Fr 5. DS |
Prof. Franz Baader | Complexity and Logic | GRU 350 | V:
Di 6. DS & Do 6. DS, Ü: Mi 3. DS |
Dr. Barbara Morawska | Theorem Proving and Equality | GRU 350 | V: Di 4. DS |
Prof. Heiko Vogler | The Algebraic Path Problem | GRU 350 | V: Mo 3. DS & Di 2. DS, Ü: Do 5. DS |
(Diese Seite wird nicht mehr gepflegt.)