International Center for Computational Logic - Benutzerbeiträge [de]

Vorlage:Publication Report

2026-04-16T18:21:59Z

Markus Krötzsch:

<noinclude>This template is used to generate an annual report for publications that match a given query criterion (parameter 1).

</noinclude><includeonly>Overall statistics:
<ul class="link-list">
<li>{{#ask: [[Kategorie:Publikation]] {{{1|}}} | format = count }}
publications (including edited proceedings, technical reports, misc.)</li>
<li>{{#ask: [[Kategorie:Publikation]] {{{1|}}} [[Bibtype::!Proceedings]] [[Bibtype::!Techreport]] [[Bibtype::!Deliverable]] [[Bibtype::!Misc]] [[Bibtype::!Phdthesis]]| format = count }} regular publications (excluding proceedings, technical reports, project reports, PhD theses, misc.; including books, book chapters, regular papers)
<li>{{#ask: [[Kategorie:Publikation]] {{{1|}}} [[Bibtype::!Proceedings]] [[Bibtype::!Techreport]] [[Bibtype::!Deliverable]] [[Bibtype::!Misc]] [[Bibtype::!Phdthesis]] [[Referiert::true]]| format = count }} regular publications that were reviewed
</ul>

{{#maketabs:
|2012={{#ifeq:{{#ask: [[Kategorie:Publikation]] [[Year::2012]] {{{1|}}} | limit=1 |default=none|mainlabel=-|searchlabel=|intro=some}}|some|{{Annual Publication Query|{{{1|}}}|2012}}|HIDETHISTAB}}
|2013={{#ifeq:{{#ask: [[Kategorie:Publikation]] [[Year::2013]] {{{1|}}} | limit=1 |default=none|mainlabel=-|searchlabel=|intro=some}}|some|{{Annual Publication Query|{{{1|}}}|2013}}|HIDETHISTAB}}
|2014={{#ifeq:{{#ask: [[Kategorie:Publikation]] [[Year::2014]] {{{1|}}} | limit=1 |default=none|mainlabel=-|searchlabel=|intro=some}}|some|{{Annual Publication Query|{{{1|}}}|2014}}|HIDETHISTAB}}
|2015={{#ifeq:{{#ask: [[Kategorie:Publikation]] [[Year::2015]] {{{1|}}} | limit=1 |default=none|mainlabel=-|searchlabel=|intro=some}}|some|{{Annual Publication Query|{{{1|}}}|2015}}|HIDETHISTAB}}
|2016={{#ifeq:{{#ask: [[Kategorie:Publikation]] [[Year::2016]] {{{1|}}} | limit=1 |default=none|mainlabel=-|searchlabel=|intro=some}}|some|{{Annual Publication Query|{{{1|}}}|2016}}|HIDETHISTAB}}
|2017={{#ifeq:{{#ask: [[Kategorie:Publikation]] [[Year::2017]] {{{1|}}} | limit=1 |default=none|mainlabel=-|searchlabel=|intro=some}}|some|{{Annual Publication Query|{{{1|}}}|2017}}|HIDETHISTAB}}
|2018={{#ifeq:{{#ask: [[Kategorie:Publikation]] [[Year::2018]] {{{1|}}} | limit=1 |default=none|mainlabel=-|searchlabel=|intro=some}}|some|{{Annual Publication Query|{{{1|}}}|2018}}|HIDETHISTAB}}
|2019={{#ifeq:{{#ask: [[Kategorie:Publikation]] [[Year::2019]] {{{1|}}} | limit=1 |default=none|mainlabel=-|searchlabel=|intro=some}}|some|{{Annual Publication Query|{{{1|}}}|2019}}|HIDETHISTAB}}
|2020={{#ifeq:{{#ask: [[Kategorie:Publikation]] [[Year::2020]] {{{1|}}} | limit=1 |default=none|mainlabel=-|searchlabel=|intro=some}}|some|{{Annual Publication Query|{{{1|}}}|2020}}|HIDETHISTAB}}
|2021={{#ifeq:{{#ask: [[Kategorie:Publikation]] [[Year::2021]] {{{1|}}} | limit=1 |default=none|mainlabel=-|searchlabel=|intro=some}}|some|{{Annual Publication Query|{{{1|}}}|2021}}|HIDETHISTAB}}
|2022={{#ifeq:{{#ask: [[Kategorie:Publikation]] [[Year::2022]] {{{1|}}} | limit=1 |default=none|mainlabel=-|searchlabel=|intro=some}}|some|{{Annual Publication Query|{{{1|}}}|2022}}|HIDETHISTAB}}
|2023={{#ifeq:{{#ask: [[Kategorie:Publikation]] [[Year::2023]] {{{1|}}} | limit=1 |default=none|mainlabel=-|searchlabel=|intro=some}}|some|{{Annual Publication Query|{{{1|}}}|2023}}|HIDETHISTAB}}
|2024={{#ifeq:{{#ask: [[Kategorie:Publikation]] [[Year::2024]] {{{1|}}} | limit=1 |default=none|mainlabel=-|searchlabel=|intro=some}}|some|{{Annual Publication Query|{{{1|}}}|2024}}|HIDETHISTAB}}
|2025={{#ifeq:{{#ask: [[Kategorie:Publikation]] [[Year::2025]] {{{1|}}} | limit=1 |default=none|mainlabel=-|searchlabel=|intro=some}}|some|{{Annual Publication Query|{{{1|}}}|2025}}|HIDETHISTAB}}
|2026={{#ifeq:{{#ask: [[Kategorie:Publikation]] [[Year::2026]] {{{1|}}} | limit=1 |default=none|mainlabel=-|searchlabel=|intro=some}}|some|{{Annual Publication Query|{{{1|}}}|2026}}|HIDETHISTAB}}
|2027={{#ifeq:{{#ask: [[Kategorie:Publikation]] [[Year::2027]] {{{1|}}} | limit=1 |default=none|mainlabel=-|searchlabel=|intro=some}}|some|{{Annual Publication Query|{{{1|}}}|2027}}|HIDETHISTAB}}
|TODO={{#ifeq:{{#ask: [[Kategorie:Publikation]] [[Year::>2028]] {{{1|}}} | limit=1 |default=none|mainlabel=-|searchlabel=|intro=some}}|some|Too far into the future! Go to [[:Template:Publication Report]] and add more tabs by copying and modifying the ones that are there|HIDETHISTAB}}
}}
</includeonly>

Theoretische Informatik und Logik (SS2026)

2026-04-15T19:41:37Z

Markus Krötzsch:

{{Vorlesung
|Title=Theoretische Informatik und Logik
|Research group=Wissensbasierte Systeme
|Lecturers=Markus Krötzsch
|Tutors=Stephan Mennicke; Maximilian Marx; Lukas Gerlach; Anna Dolma Hornschild; Florens Förster; Cornelius Lübke
|Term=SS
|Year=2026
|Lecture series=Theoretische Informatik und Logik
|Matrix=#theolog:tu-dresden.de
|Module=INF-25-BA-LUK, INF-B-290, INF-D-330, INF-LE-EUI
|SWSLecture=4
|SWSExercise=2
|SWSPractical=0
|Exam type=Klausur
|Description=== Beschreibung ==

Die Lehrveranstaltung vermittelt eine vertiefende Einleitung in die theoretische Informatik, mit den Schwerpunkten Logik und Komplexitätstheorie. Themen sind unter anderem die Aussagen- und die Prädikatenlogik und deren Bezug zu Komplexität und Datenbanken, automatisches Schließen, Modallogiken und weiterführende Inhalte.

Im Sommersemester 2026 wird die Lehrveranstaltung zum letzten Mal unter dem Titel ''Theoretische Informatik und Logik'' angeboten bevor sie mit dem Übergang zu den neuen Studienordnungen im Herbst 2026 durch die Lehrveranstaltung ''Logik und Komplexitätstheorie'' ersetzt wird. Die Inhalte werden bereits entsprechend angepasst und unterscheiden sich daher teilweise von denen der Vorjahre. Studierende der neuen Studienordnungen können die Veranstaltung bereits im neuen Modul prüfen.

Die Vorlesung baut auf den Grundlagen aus der Veranstaltung [[Formale Systeme]] auf.

=== Nutzung von Z3 ===

Wir nutzen in dieser Vorlesung und den dazugehörigen Übungen die SMT-Solver [https://www.microsoft.com/en-us/research/project/z3-3/ Z3], der sich über ein [https://microsoft.github.io/z3guide/programming/Z3%20Python%20-%20Readonly/Introduction/#using-z3py-locally Python Binding] lokal nutzen lässt. Eine Beispielumgebung finden Sie unter [https://colab.research.google.com/drive/1H4Ek7uqI5qJzEzOMzfYxiuyMt21snUhk?usp=sharing Google Colab], die Sie sich herunterladen oder klonen können, um selbst damit weiterzuarbeiten.

== Vorlesungen ==

Die Vorlesungstermine sind
* montags 3.DS (11:10–12:40) in [[HÜL/S386]] sowie
* donnerstags 4.DS (13:00–14:30) in [[HSZ/0002]].

Die erste Vorlesung findet am Montag, dem 13. April 2026 statt.

== Übungen ==



Die Einschreibung ist ab Montag, dem 13. April 2026, 15:00 Uhr möglich. Für die Teilnahme an einer Übungsgruppe ist die Einschreibung in dieser Gruppe '''verpflichtend'''. Studierenden ohne Einschreibung kann die Teilnahme an einer selbst gewählten Übung nicht garantiert werden. Übungsleiter sind berechtigt, nicht eingeschriebene Studierende bei Überfüllung der Übung zu verweisen.



Die Einschreibungen in die Übungsgruppen erfolgt über '''[https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53973614593/CourseNode/1775702163109381006 die OPAL-Seite der Lehrveranstaltung]'''.

Der Übungsbetrieb startet '''am 20. April 2026''' zu Ihren jeweiligen Terminen in den angegebenen Räumen. Die Übungsblätter können in der Spalte der jeweiligen Übung unter ''Termine und Unterlagen'' heruntergeladen werden.



== Unterlagen ==

Die vollständigen Foliensätze zur Vorlesung erscheinen bis zur Woche der Vorlesung online (siehe ''Termine und Unterlagen''). Weiterführende Literatur ist unter ''Literatur'' angegeben. Die Quellen der Vorlesungsfolien sind auf github verfügbar: https://github.com/knowsys/TheoLog

(C) Markus Krötzsch, https://iccl.inf.tu-dresden.de/web/TheoLog2026, CC BY 3.0 DE

Bildrechte können davon abweichen und sind gesondert in den LaTeX-Dateien angegeben. Die Foliensätze enthalten keinerlei Texte, die aus Werken entnommen sind, für welche die VG Wort Verwertungsrechte vertritt.

Die Nutzung der Materialien in eigenen Lehrveranstaltungen ist willkommen, sofern der obige Lizenztext in allen abgeleiteten Foliensätzen angegeben wird. Rückmeldungen sind ebenfalls willkommen (z.B. als Issue zu diesem Repository); wir verlinken hier gern auf die Homepages der entsprechenden Kurse. Interessierte Lehrende können ihre abgewandelten Quellen auch mit in diesem Respository veröffentlichen -- kontaktieren Sie Prof. Krötzsch.

Die Folien wurden erstellt von Markus Krötzsch. Eine vollständige Liste der Beitragenden ist unter https://github.com/mkroetzsch/TheoLog/graphs/contributors zu finden.

== Kontakt ==

Zur Kommunikation unter Vorlesungsteilnehmern der TU Dresden steht ein [https://matrix.tu-dresden.de/#/room/#theolog:tu-dresden.de Matrix-Kanal] zur Verfügung.

Kommentare und Bug Reports können gern auch direkt über die entsprechenden Seiten auf github gepostet werden: https://github.com/mkroetzsch/TheoLog

Persönliche Fragen können direkt an das Organisationsteam (siehe Links oben) gestellt werden, falls sie aus einem zwingenden Grund nicht über andere Kanäle gerichtet werden können. Allgemeine Fragen sollten Sie aber immer in geteilten Kanälen stellen, damit auch Ihre Kommilitoninnen und Kommilitonen davon profitieren (oder vielleicht sogar direkt helfen können).
|Literature=Allgemein sind die Vorlesungsfolien und Übungsunterlagen ausreichend detailliert für das Studium. Weitere Lehrmaterialien können dennoch hilfreich sein, um Details nachzuschlagen oder sich weiter im Thema zu vertiefen.

=== Allgemeine Lehrbücher ===

* Uwe Schöning: '''Theoretische Informatik -- kurz gefasst.''' Spektrum Akademischer Verlag.
: ''(deutschsprachiger Standardtext; in der Tat ziemlich kurz gefasst)''
* Michael Sipser: '''Introduction to the Theory of Computation.''' Cengage Learning.
: ''(Standardtext zur Berechnung und Sprachen, speziell zum Thema Komplexität zu empfehlen; leider nur auf Englisch)''
* Christopher Moore, Stephan Meterns: '''The Nature of Computation.''' Oxford University Press.
: ''(sehr guter, moderner Text zu Komplexität und Berechnung, weniger formell; leider nur auf Englisch)''
* John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman: '''Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit.''' Pearson Studium.
: ''(aus dem Englischen übertragenes Standardwerk; Original ev. besser)''

=== Unterhaltung ===

Besonders spannende und interessante Themen aus der theoretischen Informatik und der Geschichte ihrer Protagonisten kann man auch in weniger formalen Texten nachlesen:

* Apostolos Doxiadis, Christos Papadimitriou: '''Logicomix: An Epic Search for Truth.''' Bloomsbury
: ''(Graphic Novel, inspiriert von Russels Leben und der Geschichte der Logik, wenn auch in Teilen frei erfunden)''
* Scott Aaronson: '''Quantum Computing Since Democritus.''' Cambridge
: ''(informeller Text (eigentlich eine Sammlung von Blogeinträgen) mit interessanten Denkanstößen rund um Berechnung und Komplexität)''
* Douglas Hofstadter: '''Gödel, Escher, Bach: An Eternal Golden Braid.''' Basic Books
: ''(der Klassiker; in viele Sprachen übersetzt, aber im Original am besten)''

=== Berechnung und Komplexität ===

Die Bücher von Sipser und Moore & Mertens sind hier bereits sehr gute Referenzen. Wer darüber hinaus noch mehr Details sucht, der kann die folgenden Fachbücher konsultieren:

* Christos H. Papadimitriou: '''Computational Complexity''' Academic Internet Publ., 2007.
: ''(Standardwerk zu vielen Themen der Komplexitätstheorie)''
* Sanjeev Arora, Boaz Barak: '''Computational Complexity: A Modern Approach''' Cambridge University Press.
: ''(Detailllierter und umfangreicher Text zur Komplexitätstheorie)''

=== Prädikatenlogik ===

Die Vorlesungsfolien sollten bei diesem Thema ausreichen. Die Darstellung des Themas in der Literatur ist ziemlich uneinheitlich, so dass verschiedene Bücher oft leicht unterschiedliche Definitionen verwenden. Wer dennoch weitere Details nachschlagen will, dem nützen eventuell die folgenden Bücher:

* Uwe Schöning: '''Logik für Informatiker.''' Spektrum Akademischer Verlag.
: ''(leichte Abweichungen in Notation und Darstellung)''
* Martin Kreuzer, Stefan Kühling: '''Logik für Informatiker.''' Pearson Studium.
: ''(sehr knapp und informell; eventuell interessant als Quelle für Übungsaufgaben)''
* [[Steffen Hölldobler]]: '''[[Book3008|Logik und Logikprogrammierung]].''' Synchron Verlag.
: ''(Schwerpunkt auf Logikprogrammierung und Prädikatenlogik)''
* [[Steffen Hölldobler]], [[Sebastian Bader]], [[Bertram Fronhöfer]], [[Ursula Hans]], [[Pascal Hitzler]], [[Markus Krötzsch]], [[Tobias Pietzsch]]: '''[[Book3001|Logik und Logikprogrammierung, Band 2: Aufgaben und Lösungen]]''' Synchron Verlag
: ''(Aufgabensammlung aus den Logikvorlesungen vergangener Jahre)''

=== Spezielle Themen ===

* Torkel Franzén: ''''Gödel's Theorem: An Incomplete Guide to Its Use and Abuse.''' A K Peters.
: ''(Gut verdaulicher Text zu Gödels Unvollständigkeitssätzen, einschl. deren Beziehungen zur Berechenbarkeitstheorie)''
* Raymond M. Smullyan: '''A Beginner's Guide to Mathematical Logic.''' Dover Publications, 2014.
: ''(Erster Teil: Einleitung und Logikrätsel. Zweiter Teil: Umfassende Entwicklung von Gödels Unvollständigkeitsbeweisen mit Gödel-Nummern und Gödel-Sätzen)''
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=1. Einleitung / Syntax und Semantik der Aussagenlogik
|Room=HÜL/S386
|Date=2026-04-13
|DS=DS3
|Download=TheoLog2026-Vorlesung-01-overlay.pdf, TheoLog2026-Vorlesung-01-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=2. Logische Schlussfolgerungen und Äquivalenzen
|Room=HSZ/0002
|Date=2026-04-16
|DS=DS4
|Download=TheoLog2026-Vorlesung-02-overlay.pdf, TheoLog2026-Vorlesung-02-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 1
|Room=--
|Date=2026-04-19
|DS=terminlos
|Download=TheoLog2026-Uebung-01.pdf
}}

Datei:TheoLog2026-Vorlesung-02-print.pdf

2026-04-15T19:41:32Z

Markus Krötzsch:

Datei:TheoLog2026-Vorlesung-02-overlay.pdf

2026-04-15T19:41:19Z

Markus Krötzsch:

TheoLog2026/en

2026-04-15T19:38:59Z

Markus Krötzsch: Weiterleitung nach Theoretische Informatik und Logik (SS2026)/en erstellt

#REDIRECT [[Theoretische_Informatik_und_Logik_(SS2026)/en]]

TheoLog2026

2026-04-15T19:38:37Z

Markus Krötzsch: Weiterleitung nach Theoretische Informatik und Logik (SS2026) erstellt

#REDIRECT [[Theoretische_Informatik_und_Logik_(SS2026)]]

Theoretische Informatik und Logik (SS2026)

2026-04-13T12:04:43Z

Markus Krötzsch:

{{Vorlesung
|Title=Theoretische Informatik und Logik
|Research group=Wissensbasierte Systeme
|Lecturers=Markus Krötzsch
|Tutors=Stephan Mennicke; Maximilian Marx; Lukas Gerlach; Anna Dolma Hornschild; Florens Förster; Cornelius Lübke
|Term=SS
|Year=2026
|Lecture series=Theoretische Informatik und Logik
|Matrix=#theolog:tu-dresden.de
|Module=INF-25-BA-LUK, INF-B-290, INF-D-330, INF-LE-EUI
|SWSLecture=4
|SWSExercise=2
|SWSPractical=0
|Exam type=Klausur
|Description=== Beschreibung ==

Die Lehrveranstaltung vermittelt eine vertiefende Einleitung in die theoretische Informatik, mit den Schwerpunkten Logik und Komplexitätstheorie. Themen sind unter anderem die Aussagen- und die Prädikatenlogik und deren Bezug zu Komplexität und Datenbanken, automatisches Schließen, Modallogiken und weiterführende Inhalte.

Im Sommersemester 2026 wird die Lehrveranstaltung zum letzten Mal unter dem Titel ''Theoretische Informatik und Logik'' angeboten bevor sie mit dem Übergang zu den neuen Studienordnungen im Herbst 2026 durch die Lehrveranstaltung ''Logik und Komplexitätstheorie'' ersetzt wird. Die Inhalte werden bereits entsprechend angepasst und unterscheiden sich daher teilweise von denen der Vorjahre. Studierende der neuen Studienordnungen können die Veranstaltung bereits im neuen Modul prüfen.

Die Vorlesung baut auf den Grundlagen aus der Veranstaltung [[Formale Systeme]] auf.

== Vorlesungen ==

Die Vorlesungstermine sind
* montags 3.DS (11:10–12:40) in [[HÜL/S386]] sowie
* donnerstags 4.DS (13:00–14:30) in [[HSZ/0002]].

Die erste Vorlesung findet am Montag, dem 13. April 2026 statt.

== Übungen ==



Die Einschreibung ist ab Montag, dem 13. April 2026, 15:00 Uhr möglich. Für die Teilnahme an einer Übungsgruppe ist die Einschreibung in dieser Gruppe '''verpflichtend'''. Studierenden ohne Einschreibung kann die Teilnahme an einer selbst gewählten Übung nicht garantiert werden. Übungsleiter sind berechtigt, nicht eingeschriebene Studierende bei Überfüllung der Übung zu verweisen.



Die Einschreibungen in die Übungsgruppen erfolgt über '''[https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53973614593/CourseNode/1775702163109381006 die OPAL-Seite der Lehrveranstaltung]'''.

Der Übungsbetrieb startet '''am 20. April 2026''' zu Ihren jeweiligen Terminen in den angegebenen Räumen. Die Übungsblätter können in der Spalte der jeweiligen Übung unter ''Termine und Unterlagen'' heruntergeladen werden.



== Unterlagen ==

Die vollständigen Foliensätze zur Vorlesung erscheinen bis zur Woche der Vorlesung online (siehe ''Termine und Unterlagen''). Weiterführende Literatur ist unter ''Literatur'' angegeben. Die Quellen der Vorlesungsfolien sind auf github verfügbar: https://github.com/knowsys/TheoLog

(C) Markus Krötzsch, https://iccl.inf.tu-dresden.de/web/TheoLog2026, CC BY 3.0 DE

Bildrechte können davon abweichen und sind gesondert in den LaTeX-Dateien angegeben. Die Foliensätze enthalten keinerlei Texte, die aus Werken entnommen sind, für welche die VG Wort Verwertungsrechte vertritt.

Die Nutzung der Materialien in eigenen Lehrveranstaltungen ist willkommen, sofern der obige Lizenztext in allen abgeleiteten Foliensätzen angegeben wird. Rückmeldungen sind ebenfalls willkommen (z.B. als Issue zu diesem Repository); wir verlinken hier gern auf die Homepages der entsprechenden Kurse. Interessierte Lehrende können ihre abgewandelten Quellen auch mit in diesem Respository veröffentlichen -- kontaktieren Sie Prof. Krötzsch.

Die Folien wurden erstellt von Markus Krötzsch. Eine vollständige Liste der Beitragenden ist unter https://github.com/mkroetzsch/TheoLog/graphs/contributors zu finden.

== Kontakt ==

Zur Kommunikation unter Vorlesungsteilnehmern der TU Dresden steht ein [https://matrix.tu-dresden.de/#/room/#theolog:tu-dresden.de Matrix-Kanal] zur Verfügung.

Kommentare und Bug Reports können gern auch direkt über die entsprechenden Seiten auf github gepostet werden: https://github.com/mkroetzsch/TheoLog

Persönliche Fragen können direkt an das Organisationsteam (siehe Links oben) gestellt werden, falls sie aus einem zwingenden Grund nicht über andere Kanäle gerichtet werden können. Allgemeine Fragen sollten Sie aber immer in geteilten Kanälen stellen, damit auch Ihre Kommilitoninnen und Kommilitonen davon profitieren (oder vielleicht sogar direkt helfen können).
|Literature=Allgemein sind die Vorlesungsfolien und Übungsunterlagen ausreichend detailliert für das Studium. Weitere Lehrmaterialien können dennoch hilfreich sein, um Details nachzuschlagen oder sich weiter im Thema zu vertiefen.

=== Allgemeine Lehrbücher ===

* Uwe Schöning: '''Theoretische Informatik -- kurz gefasst.''' Spektrum Akademischer Verlag.
: ''(deutschsprachiger Standardtext; in der Tat ziemlich kurz gefasst)''
* Michael Sipser: '''Introduction to the Theory of Computation.''' Cengage Learning.
: ''(Standardtext zur Berechnung und Sprachen, speziell zum Thema Komplexität zu empfehlen; leider nur auf Englisch)''
* Christopher Moore, Stephan Meterns: '''The Nature of Computation.''' Oxford University Press.
: ''(sehr guter, moderner Text zu Komplexität und Berechnung, weniger formell; leider nur auf Englisch)''
* John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman: '''Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit.''' Pearson Studium.
: ''(aus dem Englischen übertragenes Standardwerk; Original ev. besser)''

=== Unterhaltung ===

Besonders spannende und interessante Themen aus der theoretischen Informatik und der Geschichte ihrer Protagonisten kann man auch in weniger formalen Texten nachlesen:

* Apostolos Doxiadis, Christos Papadimitriou: '''Logicomix: An Epic Search for Truth.''' Bloomsbury
: ''(Graphic Novel, inspiriert von Russels Leben und der Geschichte der Logik, wenn auch in Teilen frei erfunden)''
* Scott Aaronson: '''Quantum Computing Since Democritus.''' Cambridge
: ''(informeller Text (eigentlich eine Sammlung von Blogeinträgen) mit interessanten Denkanstößen rund um Berechnung und Komplexität)''
* Douglas Hofstadter: '''Gödel, Escher, Bach: An Eternal Golden Braid.''' Basic Books
: ''(der Klassiker; in viele Sprachen übersetzt, aber im Original am besten)''

=== Berechnung und Komplexität ===

Die Bücher von Sipser und Moore & Mertens sind hier bereits sehr gute Referenzen. Wer darüber hinaus noch mehr Details sucht, der kann die folgenden Fachbücher konsultieren:

* Christos H. Papadimitriou: '''Computational Complexity''' Academic Internet Publ., 2007.
: ''(Standardwerk zu vielen Themen der Komplexitätstheorie)''
* Sanjeev Arora, Boaz Barak: '''Computational Complexity: A Modern Approach''' Cambridge University Press.
: ''(Detailllierter und umfangreicher Text zur Komplexitätstheorie)''

=== Prädikatenlogik ===

Die Vorlesungsfolien sollten bei diesem Thema ausreichen. Die Darstellung des Themas in der Literatur ist ziemlich uneinheitlich, so dass verschiedene Bücher oft leicht unterschiedliche Definitionen verwenden. Wer dennoch weitere Details nachschlagen will, dem nützen eventuell die folgenden Bücher:

* Uwe Schöning: '''Logik für Informatiker.''' Spektrum Akademischer Verlag.
: ''(leichte Abweichungen in Notation und Darstellung)''
* Martin Kreuzer, Stefan Kühling: '''Logik für Informatiker.''' Pearson Studium.
: ''(sehr knapp und informell; eventuell interessant als Quelle für Übungsaufgaben)''
* [[Steffen Hölldobler]]: '''[[Book3008|Logik und Logikprogrammierung]].''' Synchron Verlag.
: ''(Schwerpunkt auf Logikprogrammierung und Prädikatenlogik)''
* [[Steffen Hölldobler]], [[Sebastian Bader]], [[Bertram Fronhöfer]], [[Ursula Hans]], [[Pascal Hitzler]], [[Markus Krötzsch]], [[Tobias Pietzsch]]: '''[[Book3001|Logik und Logikprogrammierung, Band 2: Aufgaben und Lösungen]]''' Synchron Verlag
: ''(Aufgabensammlung aus den Logikvorlesungen vergangener Jahre)''

=== Spezielle Themen ===

* Torkel Franzén: ''''Gödel's Theorem: An Incomplete Guide to Its Use and Abuse.''' A K Peters.
: ''(Gut verdaulicher Text zu Gödels Unvollständigkeitssätzen, einschl. deren Beziehungen zur Berechenbarkeitstheorie)''
* Raymond M. Smullyan: '''A Beginner's Guide to Mathematical Logic.''' Dover Publications, 2014.
: ''(Erster Teil: Einleitung und Logikrätsel. Zweiter Teil: Umfassende Entwicklung von Gödels Unvollständigkeitsbeweisen mit Gödel-Nummern und Gödel-Sätzen)''
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=1. Einleitung / Syntax und Semantik der Aussagenlogik
|Room=HÜL/S386
|Date=2026-04-13
|DS=DS3
|Download=TheoLog2026-Vorlesung-01-overlay.pdf, TheoLog2026-Vorlesung-01-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=2. Logisches Schließen und Normalformen
|Room=HSZ/0002
|Date=2026-04-16
|DS=DS4
}}

Datei:TheoLog2026-Vorlesung-01-print.pdf

2026-04-13T12:03:01Z

Markus Krötzsch:

Datei:TheoLog2026-Vorlesung-01-overlay.pdf

2026-04-13T12:02:50Z

Markus Krötzsch:

Theoretische Informatik und Logik (SS2026)

2026-04-12T09:08:21Z

Markus Krötzsch:

{{Vorlesung
|Title=Theoretische Informatik und Logik
|Research group=Wissensbasierte Systeme
|Lecturers=Markus Krötzsch
|Tutors=Stephan Mennicke; Maximilian Marx; Lukas Gerlach; Anna Dolma Hornschild; Florens Förster; Cornelius Lübke
|Term=SS
|Year=2026
|Lecture series=Theoretische Informatik und Logik
|Matrix=#theolog:tu-dresden.de
|Module=INF-25-BA-LUK, INF-B-290, INF-D-330, INF-LE-EUI
|SWSLecture=4
|SWSExercise=2
|SWSPractical=0
|Exam type=Klausur
|Description=== Beschreibung ==

Die Lehrveranstaltung vermittelt eine vertiefende Einleitung in die theoretische Informatik, mit den Schwerpunkten Logik und Komplexitätstheorie. Themen sind unter anderem die Aussagen- und die Prädikatenlogik und deren Bezug zu Komplexität und Datenbanken, automatisches Schließen, Modallogiken und weiterführende Inhalte.

Im Sommersemester 2026 wird die Lehrveranstaltung zum letzten Mal unter dem Titel ''Theoretische Informatik und Logik'' angeboten bevor sie mit dem Übergang zu den neuen Studienordnungen im Herbst 2026 durch die Lehrveranstaltung ''Logik und Komplexitätstheorie'' ersetzt wird. Die Inhalte werden bereits entsprechend angepasst und unterscheiden sich daher teilweise von denen der Vorjahre. Studierende der neuen Studienordnungen können die Veranstaltung bereits im neuen Modul prüfen.

Die Vorlesung baut auf den Grundlagen aus der Veranstaltung [[Formale Systeme]] auf.

== Vorlesungen ==

Die Vorlesungstermine sind
* montags 3.DS (11:10–12:40) in [[HÜL/S386]] sowie
* donnerstags 4.DS (13:00–14:30) in [[HSZ/0002]].

Die erste Vorlesung findet am Montag, dem 13. April 2026 statt.

== Übungen ==



Die Einschreibung ist ab Montag, dem 13. April 2026, 15:00 Uhr möglich. Für die Teilnahme an einer Übungsgruppe ist die Einschreibung in dieser Gruppe '''verpflichtend'''. Studierenden ohne Einschreibung kann die Teilnahme an einer selbst gewählten Übung nicht garantiert werden. Übungsleiter sind berechtigt, nicht eingeschriebene Studierende bei Überfüllung der Übung zu verweisen.



Die Einschreibungen in die Übungsgruppen erfolgt über '''[https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/53973614593/CourseNode/1775702163109381006 die OPAL-Seite der Lehrveranstaltung]'''.

Der Übungsbetrieb startet '''am 20. April 2026''' zu Ihren jeweiligen Terminen in den angegebenen Räumen. Die Übungsblätter können in der Spalte der jeweiligen Übung unter ''Termine und Unterlagen'' heruntergeladen werden.



== Unterlagen ==

Die vollständigen Foliensätze zur Vorlesung erscheinen bis zur Woche der Vorlesung online (siehe ''Termine und Unterlagen''). Weiterführende Literatur ist unter ''Literatur'' angegeben. Die Quellen der Vorlesungsfolien sind auf github verfügbar: https://github.com/knowsys/TheoLog

(C) Markus Krötzsch, https://iccl.inf.tu-dresden.de/web/TheoLog2026, CC BY 3.0 DE

Bildrechte können davon abweichen und sind gesondert in den LaTeX-Dateien angegeben. Die Foliensätze enthalten keinerlei Texte, die aus Werken entnommen sind, für welche die VG Wort Verwertungsrechte vertritt.

Die Nutzung der Materialien in eigenen Lehrveranstaltungen ist willkommen, sofern der obige Lizenztext in allen abgeleiteten Foliensätzen angegeben wird. Rückmeldungen sind ebenfalls willkommen (z.B. als Issue zu diesem Repository); wir verlinken hier gern auf die Homepages der entsprechenden Kurse. Interessierte Lehrende können ihre abgewandelten Quellen auch mit in diesem Respository veröffentlichen -- kontaktieren Sie Prof. Krötzsch.

Die Folien wurden erstellt von Markus Krötzsch. Eine vollständige Liste der Beitragenden ist unter https://github.com/mkroetzsch/TheoLog/graphs/contributors zu finden.

== Kontakt ==

Zur Kommunikation unter Vorlesungsteilnehmern der TU Dresden steht ein [https://matrix.tu-dresden.de/#/room/#theolog:tu-dresden.de Matrix-Kanal] zur Verfügung.

Kommentare und Bug Reports können gern auch direkt über die entsprechenden Seiten auf github gepostet werden: https://github.com/mkroetzsch/TheoLog

Persönliche Fragen können direkt an das Organisationsteam (siehe Links oben) gestellt werden, falls sie aus einem zwingenden Grund nicht über andere Kanäle gerichtet werden können. Allgemeine Fragen sollten Sie aber immer in geteilten Kanälen stellen, damit auch Ihre Kommilitoninnen und Kommilitonen davon profitieren (oder vielleicht sogar direkt helfen können).
|Literature=Allgemein sind die Vorlesungsfolien und Übungsunterlagen ausreichend detailliert für das Studium. Weitere Lehrmaterialien können dennoch hilfreich sein, um Details nachzuschlagen oder sich weiter im Thema zu vertiefen.

=== Allgemeine Lehrbücher ===

* Uwe Schöning: '''Theoretische Informatik -- kurz gefasst.''' Spektrum Akademischer Verlag.
: ''(deutschsprachiger Standardtext; in der Tat ziemlich kurz gefasst)''
* Michael Sipser: '''Introduction to the Theory of Computation.''' Cengage Learning.
: ''(Standardtext zur Berechnung und Sprachen, speziell zum Thema Komplexität zu empfehlen; leider nur auf Englisch)''
* Christopher Moore, Stephan Meterns: '''The Nature of Computation.''' Oxford University Press.
: ''(sehr guter, moderner Text zu Komplexität und Berechnung, weniger formell; leider nur auf Englisch)''
* John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman: '''Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit.''' Pearson Studium.
: ''(aus dem Englischen übertragenes Standardwerk; Original ev. besser)''

=== Unterhaltung ===

Besonders spannende und interessante Themen aus der theoretischen Informatik und der Geschichte ihrer Protagonisten kann man auch in weniger formalen Texten nachlesen:

* Apostolos Doxiadis, Christos Papadimitriou: '''Logicomix: An Epic Search for Truth.''' Bloomsbury
: ''(Graphic Novel, inspiriert von Russels Leben und der Geschichte der Logik, wenn auch in Teilen frei erfunden)''
* Scott Aaronson: '''Quantum Computing Since Democritus.''' Cambridge
: ''(informeller Text (eigentlich eine Sammlung von Blogeinträgen) mit interessanten Denkanstößen rund um Berechnung und Komplexität)''
* Douglas Hofstadter: '''Gödel, Escher, Bach: An Eternal Golden Braid.''' Basic Books
: ''(der Klassiker; in viele Sprachen übersetzt, aber im Original am besten)''

=== Berechnung und Komplexität ===

Die Bücher von Sipser und Moore & Mertens sind hier bereits sehr gute Referenzen. Wer darüber hinaus noch mehr Details sucht, der kann die folgenden Fachbücher konsultieren:

* Christos H. Papadimitriou: '''Computational Complexity''' Academic Internet Publ., 2007.
: ''(Standardwerk zu vielen Themen der Komplexitätstheorie)''
* Sanjeev Arora, Boaz Barak: '''Computational Complexity: A Modern Approach''' Cambridge University Press.
: ''(Detailllierter und umfangreicher Text zur Komplexitätstheorie)''

=== Prädikatenlogik ===

Die Vorlesungsfolien sollten bei diesem Thema ausreichen. Die Darstellung des Themas in der Literatur ist ziemlich uneinheitlich, so dass verschiedene Bücher oft leicht unterschiedliche Definitionen verwenden. Wer dennoch weitere Details nachschlagen will, dem nützen eventuell die folgenden Bücher:

* Uwe Schöning: '''Logik für Informatiker.''' Spektrum Akademischer Verlag.
: ''(leichte Abweichungen in Notation und Darstellung)''
* Martin Kreuzer, Stefan Kühling: '''Logik für Informatiker.''' Pearson Studium.
: ''(sehr knapp und informell; eventuell interessant als Quelle für Übungsaufgaben)''
* [[Steffen Hölldobler]]: '''[[Book3008|Logik und Logikprogrammierung]].''' Synchron Verlag.
: ''(Schwerpunkt auf Logikprogrammierung und Prädikatenlogik)''
* [[Steffen Hölldobler]], [[Sebastian Bader]], [[Bertram Fronhöfer]], [[Ursula Hans]], [[Pascal Hitzler]], [[Markus Krötzsch]], [[Tobias Pietzsch]]: '''[[Book3001|Logik und Logikprogrammierung, Band 2: Aufgaben und Lösungen]]''' Synchron Verlag
: ''(Aufgabensammlung aus den Logikvorlesungen vergangener Jahre)''

=== Spezielle Themen ===

* Torkel Franzén: ''''Gödel's Theorem: An Incomplete Guide to Its Use and Abuse.''' A K Peters.
: ''(Gut verdaulicher Text zu Gödels Unvollständigkeitssätzen, einschl. deren Beziehungen zur Berechenbarkeitstheorie)''
* Raymond M. Smullyan: '''A Beginner's Guide to Mathematical Logic.''' Dover Publications, 2014.
: ''(Erster Teil: Einleitung und Logikrätsel. Zweiter Teil: Umfassende Entwicklung von Gödels Unvollständigkeitsbeweisen mit Gödel-Nummern und Gödel-Sätzen)''
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Einleitung und Übersicht
|Room=HÜL/S386
|Date=2026-04-13
|DS=DS3
}}

Projekte und Studienarbeiten Wissensbasierte Systeme

2026-03-23T14:02:00Z

Markus Krötzsch:

{{Projektarbeit
|Titel DE=Projekte und Studienarbeiten Wissensbasierte Systeme
|Titel EN=Projects and Theses in Knowledge-Based Systems
|Research group=Wissensbasierte Systeme
|Contacts=Markus Krötzsch
|Module=CMS-PRO, CMS-TEA, MCL-P, INF-PM-FPA, INF-PM-FPG, INF-MA-PR, INF-B-510, INF-B-520, INF-D-950, INF-D-960, INF-25-BA-BASE, INF-25-MA-BSem, INF-25-Ma-GB, INF-25-Ma-AFT, INF-25-MA-FP
|Exam type=Hausarbeit, Referat
|Beschreibung DE==== Neuigkeiten ===
* Die nächste Themenvorstellung findet am '''Donnerstag, den 16. April 2026 um 14:50 Uhr in Raum [[APB 3027]]''' statt.

=== Themensammlung und Themenvergabe ===
Neben den Vorlesungen haben Sie während des Studiums die Möglichkeit auch an (Forschungs-)Projekten bei uns zu arbeiten. Auf dieser Seite präsentieren wir Informationen zu den verfügbaren Modulen sowie einzelnen Themen. Die Themen sollen einen Überblick über die Art der Projektthemen, die Sie bei uns bearbeiten können, darstellen. Kontaktieren Sie uns gern, wenn Sie planen, ein Thema bei uns zu bearbeiten. Weitere Themen können wir gern im persönlichen Gespräch durchgehen.

Zu Beginn eines Semesters sammeln wir neue Themen und stellen diese gebündelt in einem Seminartermin vor. Dieses Seminar bietet Ihnen die Möglichkeit, die neuen Themen und die Betreuer etwas kennenzulernen. Der genaue Termin wird hier unter '''Termine''' veröffentlicht.

=== Überblick über die Module (ab PO-Versionen 2025) ===
Die Dauer der Bearbeitung von Projekten hängt vom Modul ab.

=== Überblick über die Module (bis PO-Versionen 2009/2010 und CMS) ===
Die Dauer der Bearbeitung von Projekten hängt vom Modul ab. Allerdings sind die meisten '''innerhalb eines Semesters''' zu bearbeiten. Als Ausnahme zeigt sich das Modul [https://tu-dresden.de/ing/informatik/ressourcen/dateien/studium/modulbeschreibungen/inf-ma-pr.pdf?lang=en INF-MA-PR], welches '''innerhalb von zwei Semestern''' absolviert wird.

Einige Module ([https://tu-dresden.de/ing/informatik/ressourcen/dateien/studium/modulbeschreibungen/inf-pm-fpa.pdf?lang=en INF-PM-FPA], [https://tu-dresden.de/ing/informatik/ressourcen/dateien/studium/modulbeschreibungen/inf-pm-fpg.pdf?lang=en INF-PM-FPG]) bieten sich als '''vorbereitende Studien für Ihre Master- oder Diplomarbeit''' an.

{{ProjektModule}}
|Beschreibung EN==== News ===
* New topics will be presented on '''Thursday, 16 April 2026 at 2:50 pm in room [[APB 3027]]'''.

=== Topics ===
As students, you have several opportunities to do projects with us. Here, we collect information about the different modules and some topics of interest to provide you with an overview of what kind of projects you can do with us. Don't hesitate to get in touch with us if you plan to do one of the modules. We can discuss further topics during a consultation.

At the beginning of each semester, we collect new topics and announce them in a seminar-style event. This seminar is an opportunity for you to get to know the new topics and their potential supervisors. The exact date will be published under '''Dates''' on this site.

=== Module Overview (from PO versions 2025) ===
While the actual project duration depends on the specific module, most of them should be completed ''' within one semester'''.

=== Module Overview (till PO versions 2009/2019) ===
While the actual project duration depends on the specific module, most of them should be completed ''' within one semester'''. An exception is [https://tu-dresden.de/ing/informatik/ressourcen/dateien/studium/modulbeschreibungen/inf-ma-pr.pdf?lang=en INF-MA-PR] which has a '''duration of two semesters'''.

Some of the modules ([https://tu-dresden.de/ing/informatik/ressourcen/dateien/studium/modulbeschreibungen/inf-pm-fpa.pdf?lang=en INF-PM-FPA], [https://tu-dresden.de/ing/informatik/ressourcen/dateien/studium/modulbeschreibungen/inf-pm-fpg.pdf?lang=en INF-PM-FPG]) can be seen as '''preparations for your Master or Diploma thesis'''.

{{ProjektModule}}
|Current=1
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Seminar
|Title=Project Announcement Winter Term 2022/2023
|Room=APB 3027
|Date=2022-10-13
|DS=DS5
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Seminar
|Title=Student Topics Announcement Summer Term 2023
|Room=APB E005
|Date=2023-04-05
|DS=DS5
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Seminar
|Title=Topics Announcement Winter Term 2023/2024
|Room=APB 3027
|Date=2023-10-19
|DS=DS5
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Seminar
|Title=Topics Announcement Summer Term 2024
|Room=APB 3027
|Date=2024-04-25
|DS=DS5
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Seminar
|Title=Topics Announcement Winter Term 2024/2025
|Room=APB 3027
|Date=2024-10-24
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Seminar
|Title=Topic Announcement Summer Term 2025 (starting at 14:00)
|Room=APB E005
|Date=2025-04-10
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Topic Announcement Winter Term 2025/2026
|Room=APB E005
|Date=2025-10-16
|DS=DS5
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Topic Announcement Summer Term 2026
|Room=APB 3027
|Date=2026-04-16
|DS=DS5
}}

Inproceedings3454

2026-03-18T13:09:15Z

Markus Krötzsch:

{{Publikation Erster Autor
|ErsterAutorVorname=Philipp
|ErsterAutorNachname=Hanisch
|FurtherAuthors=Markus Krötzsch
}}
{{Inproceedings
|Referiert=1
|Title=Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
|To appear=0
|Year=2026
|Booktitle=Proceedings of the 29th International Conference on Database Theory
|Publisher=Dagstuhl Publishing
|Editor=Balder ten Cate, Maurice Funk
|Series=LIPIcs
|Volume=365
}}
{{Publikation Tool
|Tool=Nemo
}}
{{Publikation Details
|Abstract=Static filtering is a data-independent optimisation method for Datalog, which generalises algebraic query rewriting techniques from relational databases. In spite of its early discovery by Kifer and Lozinskii in 1986, the method has been overlooked in recent research and system development, and special cases are being rediscovered independently. We therefore recall the original approach, using updated terminology and more general filter predicates that capture features of modern systems, and we show how to extend its applicability to answer set programming (ASP). The outcome is strictly more general but also more complex than the classical approach: double exponential in general and single exponential even for predicates of bounded arity. As a solution, we propose tractable approximations of the algorithm that can still yield much improved logic programs in typical cases, e.g., it can improve the performance of rule systems over real-world data in the order of magnitude.
|Download=Technical report ICDT.pdf
|Link=https://doi.org/10.4230/LIPIcs.ICDT.2026.5
|DOI Name=10.4230/LIPIcs.ICDT.2026.5
|Projekt=CPEC, CeTI, SECAI, ScaDS.AI
|Forschungsgruppe=Wissensbasierte Systeme
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Wissensrepräsentation und logisches Schließen
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Datenbanktheorie
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Answer Set Programming
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Nichtmonotones Schließen
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Regelbasiertes Schließen
}}

Datei:Ivliev-Kroetzsch-Marx Optimising-SPARQL-for-Datalog eswc2026.pdf

2026-03-06T07:42:18Z

Markus Krötzsch: Markus Krötzsch lud eine neue Version von Datei:Ivliev-Kroetzsch-Marx Optimising-SPARQL-for-Datalog eswc2026.pdf hoch

Cfaed

2026-03-06T07:12:11Z

Markus Krötzsch:

{{Projekt
|Kurzname=cfaed
|Name=CENTER FOR ADVANCING ELECTRONICS DRESDEN
|Name EN=CENTER FOR ADVANCING ELECTRONICS DRESDEN
|Beschreibung DE=Semiconductors form the basis for Information and Communication Technology - the major driving force for innovation of our times. It has significantly shaped the world we live in today and has paved the way to the information age. It has not only transformed industrial development and science (as foreseen by their creators), but also the society by entering our daily lives through applications in health, government, communication, entertainment, mobility, etc.

Exciting facets of these developments are
* The Human Genome Project
* Fair access to information, world-wide (e.g., through Wikipedia)
* Mobile communication, bringing broad-band connectivity to remote areas and helping developing countries to leap-frog in their development
* Grass-root revolutions that are enabled by new communication platforms, using social media and smart phones (e.g., Arab Spring) ... and many, many more

Currently, information processing is based on CMOS technology that has provided exponential improvements, governed by Moore’s Law, for decades. However, as we are approaching physical boundaries, the CMOS roadmap will saturate.

Inspired by the huge impact of semiconductor technology, the researchers of our cluster have thus joined forces to explore new technologies for electronic information processing which overcome the limits of today's predominant CMOS technology.

As this topic is on the agenda of all relevant scientific and industrial organizations, we focus on well-chosen approaches which reflect the research excellence of Dresden.
|Beschreibung EN=Semiconductors form the basis for Information and Communication Technology - the major driving force for innovation of our times. It has significantly shaped the world we live in today and has paved the way to the information age. It has not only transformed industrial development and science (as foreseen by their creators), but also the society by entering our daily lives through applications in health, government, communication, entertainment, mobility, etc.

Exciting facets of these developments are
* The Human Genome Project
* Fair access to information, world-wide (e.g., through Wikipedia)
* Mobile communication, bringing broad-band connectivity to remote areas and helping developing countries to leap-frog in their development
* Grass-root revolutions that are enabled by new communication platforms, using social media and smart phones (e.g., Arab Spring) ... and many, many more

Currently, information processing is based on CMOS technology that has provided exponential improvements, governed by Moore’s Law, for decades. However, as we are approaching physical boundaries, the CMOS roadmap will saturate.

Inspired by the huge impact of semiconductor technology, the researchers of our cluster have thus joined forces to explore new technologies for electronic information processing which overcome the limits of today's predominant CMOS technology.

As this topic is on the agenda of all relevant scientific and industrial organizations, we focus on well-chosen approaches which reflect the research excellence of Dresden.
|Kontaktperson=Gerhard Fettweis
|URL=https://cfaed.tu-dresden.de/
|Start=2012/11/01
|Ende=2017/10/31
|Finanziert von=DFG
|Projektstatus=abgeschlossen
|Logo=Cfaed-logo.png
|Person=Franz Baader, Markus Krötzsch, Anni-Yasmin Turhan, David Carral, Irina Dragoste, Alexander Krause, Kati Michel, Maximilian Marx, Tomáš Masopust, Veronika Thost, Adrian Bielefeldt, Julius Gonsior, Michael Günther, Stephan Mennicke
|Forschungsgruppe=Automatentheorie, Wissensbasierte Systeme
|Unterprojekt=HAEC
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Beschreibungslogiken
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Existenzielle Regeln
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Semantische Technologien
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Wissensrepräsentation und logisches Schließen
}}
{{DEFAULTSORT:CFAED|noerror}}

KIMEDS

2026-03-06T07:11:29Z

Markus Krötzsch:

{{Projekt
|Kurzname=KIMEDS
|Name=KI-assistierte Zertifizierung medizinischer Software
|Name EN=AI Assisted Certification of Medical Software
|Beschreibung DE=Sicherheitsnachweise für medizinische Software werden bislang unstrukturiert und über mehrere Dokumente verteilt dokumentiert. Dies gestaltet eingehende Prüfungen umständlich macht diese fehleranfällig. Eine Automatisierung der Erstellung und Prüfung dieser Nachweise kann hier zu einer Beschleunigung der Abläufe beitragen.

Das Ziel von KIMEDS ist die Etablierung der Methode des ''Strukturierten Nachweises'' als ontologiebasierte Sicherheitsdokumentation für automatisiert prüfbare Nachweise der Gefährdungsfreiheit medizinischer Softwarekomponenten. Ein assistierendes und zugleich erklärbares System basiert auf dem regulatorischen Regelwerk und agiert als Instanz fortdauernder Prüfung diese Strukturierten Nachweise über den gesamten Lebenszyklus einer medizinischen Software. Dabei beginnt die Erstellung der Sicherheitsdokumentation direkt im Softwareentwicklungsprozess, gestützt durch eine kontinuierliche Prüfung von deren Validität durch das zu entwickelnde System. Das System unterstützt die Bewertung des Strukturierten Nachweises bei der Zertifizierung, was zu erheblichen Effizienzgewinnen bei der Zertifizierung führen wird.
|Beschreibung EN=Safety certificates for medical software are so far unstructured and often spread over several documents. This hinders the efficient processing of these documents in the formal certification of medical products relying on software. An automation of the creation and the approval of safety certificates may lead to a significant speed-up in certification of medical products.

The goal of KIMEDS is the establishment of the method of the ''Assurance Case'' as an ontology-based safety documentation for automated verification and validation of risk-free medical software components. An assisting and explainable system is based on the regulatory foundations and enacts as a validating instance of the Assurance Case over the lifecycle of medical software. The creation of the safety documentation begins in the early stages of software development, which is then guided by a continuous check of validity through the system we develop. This system also supports the certification of Assurance Cases, leading to a significant increase in efficiency of the overall certification process.
|Start=2022/08/01
|Ende=2025/07/31
|Finanziert von=Federal Ministry of Education and Research (BMBF)
|Projektstatus=abgeschlossen
|Logo=KIMEDS.jpg
|Person=Markus Krötzsch, Sebastian Rudolph, Hannes Straß, Stephan Mennicke, Piotr Gorczyca, Kati Domann
|Forschungsgruppe=Computational Logic, Wissensbasierte Systeme
}}

InnoSale

2026-03-06T07:10:32Z

Markus Krötzsch:

{{Projekt
|Kurzname=InnoSale
|Name=Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence
|Name EN=Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence
|Beschreibung DE=Der Lebenszyklus eines komplexen, benutzerdefinierten Produkts lässt sich grob in folgende Phasen unterteilen:
Vertrieb (Spezifikation und Angebot), Design, Herstellung, Lieferung, Inbetriebnahme, Nutzung, Wartung und Recycling.
Das InnoSale-Projekt konzentriert sich auf die Produktspezifikations- und Angebotserstellungsphase.
Das vorgeschlagene Projekt zielt darauf ab, potentielle Kunden komplexer, individueller industrieller Ausrüstungen,
Anlagen und Dienstleistungen sowie das mit Engineering und Vertrieb dieser Produkte betraute Personal der Hersteller
bei der Produktkonfiguration und Angebotserstellung zu unterstützen. Die Varianz und Individualität der mit dem
Vorhaben adressierten Produkte unterscheiden sich grundlegend von denen, die durch klassische Shopsysteme (z.B. bei Amazon, Zalando oder eBay) angeboten werden.
Die Weiterentwicklung und Anwendung vielfältiger Technologien aus dem Gebiet der Künstlichen Intelligenz (wie z.B. Machine Learning,
Q-Learning-based Reinforcement Learning, Natural Language Processing und Semantic Search Mechanismen, Case-based Reasoning, Expert Systems)
soll im Rahmen von InnoSale die Umsetzung der Ziele ermöglichen. Die am Vorhaben beteiligten Partner repräsentieren die gesamte,
für die Umsetzung des Projektes notwendige Wertschöpfungskette. Durch die internationale Kooperation im Rahmen des ITEA- Projektes ist die
Integration des notwendigen Know-how im Gesamtkontext des Vorhabens InnoSale gegeben.
|Beschreibung EN=Industrial products and services are increasingly configured, planned and sold through online
shops partially validating dependencies between basic systems and purchase options. Additional
customer requests are described as flow text, not being processed automatically today and thus,
requiring time-consuming back office support.
InnoSale develops methods to increase the expressiveness of validation rules (rule-based expert
systems) and to suggest relevant purchase options (case-based reasoning). Sales engineers will
be supported in finding previous customer requests & orders and other suitable solutions quickly
(natural language processing, intelligent search) as well as identifying similarities between
customers (evolutional clustering). Based on different data sources (historical, internal, external)
dynamic pricing algorithms are also one project scope (trend prediction, machine learning,
artificial neural networks, Q-Learning). User experience will be improved supported by combining
deep learning systems with augmented reality techniques and 3D modelling.
|Kontaktperson=Markus Krötzsch
|URL=https://www.innosale.eu/
|Start=2021/10/01
|Ende=2024/09/30
|Finanziert von=Federal Ministry of Education and Research (BMBF)
|Projektstatus=abgeschlossen
|Logo=InnoSale Logo original.png
|Person=Markus Krötzsch, Alex Ivliev, Stefan Ellmauthaler, Kati Domann
|Forschungsgruppe=Wissensbasierte Systeme
|Partner=Demag Cranes & Components GmbH, Software AG, Institut für Automation und Kommunikation e.V. (IFAK), Em engineering methods AG, IOTIQ GmbH, Natif.ai GmbH, Tarakos GmbH
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Wissensrepräsentation und logisches Schließen
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Semantische Technologien
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Existenzielle Regeln
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Answer Set Programming
}}

Inproceedings3461

2026-03-06T07:07:59Z

Markus Krötzsch:

{{Publikation Erster Autor
|ErsterAutorVorname=Alex
|ErsterAutorNachname=Ivliev
|FurtherAuthors=Markus Krötzsch; Maximilian Marx
}}
{{Inproceedings
|Referiert=1
|Title=SPARQLing Datalog for Rule-Based Reasoning over Large Knowledge Graphs
|To appear=1
|Year=2026
|Booktitle=Proceedings of the 23rd European Semantic Web Conference (ESWC 2026)
|Publisher=Springer
|Editor=Maribel Acosta, Marieke van Erp, Sebastian Rudolph, Olaf Hartig, Blerina Spahiu, Anisa Rula, Daniel Garijo, Francesco Osborne
|Series=LNCS
|Note=To appear
}}
{{Publikation Tool
|Tool=Nemo
}}
{{Publikation Details
|Abstract=We propose a new integration of rule reasoners with one or more RDF stores, using selective SPARQL queries to fetch relevant data. In contrast to previous implementations that merely import results of fixed SPARQL queries, our approach relies on pure logic programs over RDF triple data. Transparent to the user, optimised SPARQL queries then are constructed and evaluated during reasoning. To ensure good performance, we develop optimisation methods that adopt ideas from logic program optimisation, including semi-naive evaluation, magic sets, and static filtering. Based on the integration of our methods into the open source rule engine Nemo, we empirically evaluate our approach with complex rule sets over large knowledge graphs.
|Download=Ivliev-Kroetzsch-Marx Optimising-SPARQL-for-Datalog eswc2026.pdf
|Projekt=CPEC, SECAI, ScaDS.AI
|Forschungsgruppe=Wissensbasierte Systeme
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Regelbasiertes Schließen
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Semantische Technologien
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Wissensrepräsentation und logisches Schließen
}}

Datei:Ivliev-Kroetzsch-Marx Optimising-SPARQL-for-Datalog eswc2026.pdf

2026-03-06T07:07:06Z

Markus Krötzsch:

Article3108

2026-02-27T16:50:55Z

Markus Krötzsch:

{{Publikation Erster Autor
|ErsterAutorVorname=Dörthe
|ErsterAutorNachname=Arndt
|FurtherAuthors=Stephan Mennicke
}}
{{Article
|Referiert=1
|Title=Existential Notation3 Logic
|To appear=0
|Year=2025
|Month=Mai
|Journal=Theory and Practice of Logic Programming
|Volume=52
|Number=3
|Pages=304-339
|Publisher=Cambridge University Press
}}
{{Publikation Details
|Abstract=In this paper, we delve into Notation3 Logic (N3), an extension of Resource Description Framework (RDF), which empowers users to craft rules introducing fresh blank nodes to RDF graphs. This capability is pivotal in various applications such as ontology mapping, given the ubiquitous presence of blank nodes directly or in auxiliary constructs across the Web. However, the availability of fast N3 reasoners fully supporting blank node introduction remains limited. Conversely, engines like VLog or Nemo, though not explicitly designed for Semantic Web rule formats, cater to analogous constructs, namely existential rules.

We investigate the correlation between N3 rules featuring blank nodes in their heads and existential rules. We pinpoint a subset of N3 that seamlessly translates to existential rules and establish a mapping preserving the equivalence of N3 formulae. To showcase the potential benefits of this translation in N3 reasoning, we implement this mapping and compare the performance of N3 reasoners like EYE and cwm against VLog and Nemo, both on native N3 rules and their translated counterparts. Our findings reveal that existential rule reasoners excel in scenarios with abundant facts, while the EYE reasoner demonstrates exceptional speed in managing a high volume of dependent rules.

Additionally to the original conference version of this paper, we include all proofs of the theorems and introduce a new section dedicated to N3 lists featuring built-in functions and how they are implemented in existential rules. Adding lists to our translation/framework gives interesting insights on related design decisions influencing the standardization of N3.
|Link=https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/existential-notation3-logic/04FE8EA2E5990219A14C6898CA872C90?utm_campaign=shareaholic&utm_medium=copy_link&utm_source=bookmark
|DOI Name=10.1017/S1471068425000055
|Projekt=CPEC, KIMEDS, SECAI, ScaDS.AI
|Forschungsgruppe=Computational Logic, Wissensbasierte Systeme
}}

Article3119

2026-02-27T09:13:40Z

Markus Krötzsch:

{{Publikation Erster Autor
|ErsterAutorVorname=Nils
|ErsterAutorNachname=Küchenmeister
|FurtherAuthors=Alex Ivliev; Markus Krötzsch
}}
{{Article
|Referiert=1
|Title=Towards Mass Spectrum Analysis with ASP
|To appear=0
|Year=2026
|Month=Februar
|Journal=Theory and Practice of Logic Programming
|Publisher=Cambridge University Press
}}
{{Publikation Details
|Abstract=We present a new use of Answer Set Programming (ASP) to discover the molecular structure of chemical samples based on the relative abundance of elements and structural fragments, as measured in mass spectrometry. To constrain the exponential search space for this combinatorial problem, we develop canonical representations of molecular structures and an ASP implementation that uses these definitions. We evaluate the correctness of our implementation over a large set of known molecular structures, and we compare its quality and performance to other ASP symmetry-breaking methods and to a commercial tool from analytical chemistry.
|Download=Towards-mass-spectrum-analysis-with-asp.pdf
|DOI Name=10.1017/S1471068426100398
|Projekt=CPEC, CeTI, InnoSale, SECAI, ScaDS.AI
|Forschungsgruppe=Wissensbasierte Systeme
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Nichtmonotones Schließen
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Answer Set Programming
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Regelbasiertes Schließen
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Wissensrepräsentation und logisches Schließen
}}

Article3062

2026-02-27T09:10:36Z

Markus Krötzsch:

{{Publikation Erster Autor
|ErsterAutorVorname=David
|ErsterAutorNachname=Carral
|FurtherAuthors=Irina Dragoste; Markus Krötzsch
}}
{{Article
|Referiert=1
|Title=Reasoner = Logical Calculus + Rule Engine
|To appear=0
|Year=2020
|Journal=Künstliche Intelligenz
|Volume=34
|Pages=453-463
|Publisher=Springer
}}
{{Publikation Details
|Abstract=We propose using rule languages to encode complex reasoning algorithms in a declarative way. This approach -- which follows the classical slogan "Algorithm = Logic + Control" -- promises to turn high-level specifications of logical calculi as systems of inference rules into declarative rule-based models that can be executed on state-of-the-art rule engines.

More precisely, given some input reasoning algorithm for some logic, we show how to produce a rule-based calculus; that is, a fixed rule set that can be used to replicate the consequences of the input algorithm. Simple rule languages suffice for simple logics, and we review our results on using Datalog rules to reason in the description logic EL. For more expressive logics, a suitably expressive yet implementable rule language often seems to be missing. To fill this gap, we consider an extension of Datalog with sets, Datalog(S), that can be executed by modern existential-rule reasoners, and we use it to present a rule-based reasoning calculus for the expressive description logic ALC.

Because of some restrictions imposed by Springer, we cannot publish the manuscript on this page. To access the paper, click on the link below.
|DOI Name=10.1007/s13218-020-00667-6
|Projekt=CPEC
|Forschungsgruppe=Wissensbasierte Systeme
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Regelbasiertes Schließen
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Semantische Technologien
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Existenzielle Regeln
}}

Inproceedings3461

2026-02-27T08:56:00Z

Markus Krötzsch:

{{Publikation Erster Autor
|ErsterAutorVorname=Alex
|ErsterAutorNachname=Ivliev
|FurtherAuthors=Markus Krötzsch; Maximilian Marx
}}
{{Inproceedings
|Referiert=1
|Title=SPARQLing Datalog for Rule-Based Reasoning over Large Knowledge Graphs
|To appear=1
|Year=2026
|Booktitle=Proceedings of the 23rd European Semantic Web Conference (ESWC 2026)
|Publisher=Springer
|Editor=Maribel Acosta, Marieke van Erp, Sebastian Rudolph, Olaf Hartig, Blerina Spahiu, Anisa Rula, Daniel Garijo, Francesco Osborne
|Series=LNCS
|Note=To appear
}}
{{Publikation Details
|Abstract=We propose a new integration of rule reasoners with one or more RDF stores, using selective SPARQL queries to fetch relevant data. In contrast to previous implementations that merely import results of fixed SPARQL queries, our approach relies on pure logic programs over RDF triple data. Transparent to the user, optimised SPARQL queries then are constructed and evaluated during reasoning. To ensure good performance, we develop optimisation methods that adopt ideas from logic program optimisation, including semi-naive evaluation, magic sets, and static filtering. Based on a prototype integration of our methods into an open source rule engine, we empirically evaluate our approach with complex rule sets over large knowledge graphs.
|Projekt=CPEC, SECAI, ScaDS.AI
|Forschungsgruppe=Wissensbasierte Systeme
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Regelbasiertes Schließen
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Semantische Technologien
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Wissensrepräsentation und logisches Schließen
}}

Inproceedings3461

2026-02-27T08:55:30Z

Markus Krötzsch:

{{Publikation Erster Autor
|ErsterAutorVorname=Alex
|ErsterAutorNachname=Ivliev
|FurtherAuthors=Markus Krötzsch; Maximilian Marx
}}
{{Inproceedings
|Referiert=1
|Title=SPARQLing Datalog for Rule-Based Reasoning over Large Knowledge Graphs
|To appear=1
|Year=2026
|Booktitle=Proceedings of the 23rd European Semantic Web Conference ({ESWC} 2026)
|Publisher=Springer
|Editor=Maribel Acosta, Marieke van Erp, Sebastian Rudolph, Olaf Hartig, Blerina Spahiu, Anisa Rula, Daniel Garijo, Francesco Osborne
|Series=LNCS
|Note=To appear
}}
{{Publikation Details
|Abstract=We propose a new integration of rule reasoners with one or more RDF stores, using selective SPARQL queries to fetch relevant data. In contrast to previous implementations that merely import results of fixed SPARQL queries, our approach relies on pure logic programs over RDF triple data. Transparent to the user, optimised SPARQL queries then are constructed and evaluated during reasoning. To ensure good performance, we develop optimisation methods that adopt ideas from logic program optimisation, including semi-naive evaluation, magic sets, and static filtering. Based on a prototype integration of our methods into an open source rule engine, we empirically evaluate our approach with complex rule sets over large knowledge graphs.
|Projekt=CPEC, SECAI, ScaDS.AI
|Forschungsgruppe=Wissensbasierte Systeme
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Regelbasiertes Schließen
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Semantische Technologien
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Wissensrepräsentation und logisches Schließen
}}

Formale Systeme (WS2025)

2026-01-29T13:24:33Z

Markus Krötzsch:

{{Vorlesung
|Title=Formale Systeme
|Research group=Wissensbasierte Systeme
|Lecturers=Markus Krötzsch
|Tutors=Stephan Mennicke; Stefan Borgwardt; Anton Claußnitzer; Florens Förster; Lukas Gerlach; Anna Hornschild; Cornelius Lübke; Maximilian Marx
|Term=WS
|Year=2025
|Lecture series=Formale Systeme
|Matrix=#fosys:tu-dresden.de
|Module=INF-25-BA-AUB, INF-B-270, INF-B-275, INF-LE-EUI
|SWSLecture=4
|SWSExercise=2
|SWSPractical=0
|Exam type=Klausur
|Description=Die Lehrveranstaltung ''Formale Systeme'' vermittelt eine Einleitung in die Gebiete der formalen Sprachen, Automatentheorie und Berechenbarkeit. Dies beinhaltet einige der wichtigsten Grundlagen der Informatik, wie z.B. reguläre Ausdrücke, formale Grammatiken sowie grundlegende Begriffe der Berechenbarkeits- und Komplexitätstheorie. Damit bildet die Vorlesung die Grundlage für viele vertiefende Vorlesungen.

== Vorlesungen ==

Die Vorlesungstermine sind
* montags 3.DS (11:10–12:40) in [[BAR/SCHÖ]] sowie
* donnerstags 4.DS (13:00–14:30) in [[HSZ/0003]].

Die erste Vorlesung findet am Montag, dem 13. Oktober 2025 statt.

== Übungen ==

Der Übungsbetrieb startet '''am 20. Oktober 2025''' zu Ihren jeweiligen Terminen in den angegebenen Räumen statt. Die Übungsblätter können in der Spalte der jeweiligen Übung unter ''Termine und Unterlagen'' heruntergeladen werden. Eine vorherige Einschreibung in die angebotenen Übungstermine ist verpflichtend bevor Sie an der Übungsgruppe teilnehmen. Welche Übungstermine wir anbieten, geben wir rechtzeitig bekannt. Die Einschreibung wird am '''Montag, den 13.10.2025 um 15:00 Uhr''' freigeschalten:

Die Einschreibungen in die Übungsgruppen erfolgt über '''[https://tud.link/sdutby die OPAL-Seite der Lehrveranstaltung]'''.

== Unterlagen ==

Die vollständigen Foliensätze zur Vorlesung erscheinen bis zur Woche der Vorlesung online (siehe ''Termine und Unterlagen''). Weiterführende Literatur ist unter ''Literatur'' angegeben. Die Quellen der Vorlesungsfolien sind auf github verfügbar: https://github.com/knowsys/FormaleSysteme

Alle Foliensätze der Vorlesungen können entsprechend den Lizensbedingungen von [https://creativecommons.org/licenses/by/3.0/de/ Creative Commons CC By 3.0 Deutschland] genutzt, weitergegeben und modifiziert werden. Als Namensnennung ist folgende Angabe einzufügen:

(C) Markus Krötzsch, https://iccl.inf.tu-dresden.de/web/FS2025, CC BY 3.0 DE

Bildrechte können davon abweichen und sind gesondert angegeben. Die Foliensätze enthalten keinerlei Texte, die aus Werken entnommen sind, für welche die VG Wort Verwertungsrechte vertritt.

Besonderen Dank gilt allen [https://github.com/knowsys/FormaleSysteme/graphs/contributors Contributors], die Anmerkungen und Verbesserungen beigetragen haben: [[Daniel Borchmann]], [[Maximilian Marx]], [https://github.com/chlewe Christian Lewe], [https://github.com/tidenhub David Tiede], [https://github.com/jhaye Johannes (jhaye)], [https://github.com/DerKolibri Andrej Bereza], [https://github.com/CniKKoR CniKKoR], [https://github.com/marcusrossel Marcus Rossel], [https://github.com/MaxHaertwig Max Haertwig], [https://github.com/eknoes Sönke (eknoes)], [https://github.com/bennofs Benno Fünfstück], [https://github.com/voidless Julius Schmitt]. (Stand März 2021; Ergänzungen sind willkommen.)

== Kontakt ==

Zur Kommunikation unter Vorlesungsteilnehmern der TU Dresden steht ein [https://matrix.tu-dresden.de/#/room/#fosys:tu-dresden.de Matrix-Kanal] zur Verfügung.

Kommentare und Bug Reports können gern auch direkt über die entsprechenden Seiten auf github gepostet werden: https://github.com/mkroetzsch/FormaleSysteme
Alternativ können Hinweise zu Tippfehlern in den Vorlesungsfolien auch an die Mailingliste geschickt werden.

Persönliche Fragen können direkt an das Organisationsteam (siehe Links oben) gestellt werden, falls sie aus einem zwingenden Grund nicht über andere Kanäle gerichtet werden können. Allgemeine Fragen sollten Sie aber immer in geteilten Kanälen stellen, damit auch Ihre Kommilitoninnen und Kommilitonen davon profitieren (oder vielleicht sogar direkt helfen können).
|Literature=Allgemein sind die Vorlesungsfolien und Übungsunterlagen ausreichend detailliert für das Studium. Weitere Lehrmaterialien können dennoch hilfreich sein, um Details nachzuschlagen oder sich weiter im Thema zu vertiefen.

== Formale Sprachen, Komplexität und Entscheidbarkeit ==

=== Lehrbücher ===

* Uwe Schöning: '''Theoretische Informatik -- kurz gefasst.''' Spektrum Akademischer Verlag.
: ''(deutschsprachiger Standardtext; in der Tat ziemlich kurz gefasst)''
* John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman: '''Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit.''' Pearson Studium.
: ''(aus dem Englischen übertragenes Standardwerk; Original ev. besser)''
* Michael Sipser: '''Introduction to the Theory of Computation.''' Cengage Learning.
: ''(Standardtext zu Sprachen und Berechnungskomplexität; leider nur auf Englisch)''

=== Online verfügbare Skripte ===

* [[Franz Baader]]: '''[https://lat.inf.tu-dresden.de/teaching/ws2013-2014/FS/script_2016-02.pdf Skript Formale Systeme, Teil 1 – Automaten und formale Sprachen].''' TU Dresden.

Die Vorlesungen haben kleine Abweichungen von diesem Text, stimmen aber in vielen wichtigen Punkten überein.

Andere Scripte scheinen zurzeit nicht (mehr) online verfügbar zu sein. Hinweise zu weiteren Links auf sinnvolle Materialien sind willkommen.
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Einleitung formale Sprachen
|Room=BAR/SCHÖ
|Date=2025-10-13
|DS=DS3
|Download=FS2025-Vorlesung-01-overlay.pdf, FS2025-Vorlesung-01-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Grammatiken und die Chomsky-Hierarchie
|Room=HSZ/0003
|Date=2025-10-16
|DS=DS4
|Download=FS2025-Vorlesung-02-overlay.pdf, FS2025-Vorlesung-02-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Endliche Automaten
|Room=BAR/SCHÖ
|Date=2025-10-20
|DS=DS3
|Download=FS2025-Vorlesung-03-overlay.pdf, FS2025-Vorlesung-03-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Nichtdeterministische Automaten
|Room=HSZ/0003
|Date=2025-10-23
|DS=DS4
|Download=FS2025-Vorlesung-04-overlay.pdf, FS2025-Vorlesung-04-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Abschlusseigenschaften regulärer Sprachen
|Room=BAR/SCHÖ
|Date=2025-10-27
|DS=DS3
|Download=FS2025-Vorlesung-05-overlay.pdf, FS2025-Vorlesung-05-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Reguläre Ausdrücke (1)
|Room=HSZ/0003
|Date=2025-10-30
|DS=DS4
|Download=FS2025-Vorlesung-06-overlay.pdf, FS2025-Vorlesung-06-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Reguläre Ausdrücke (2)
|Room=BAR/SCHÖ
|Date=2025-11-03
|DS=DS3
|Download=FS2025-Vorlesung-07-overlay.pdf, FS2025-Vorlesung-07-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Entfällt
|Title=Interne Veranstaltung
|Room=HSZ/0003
|Date=2025-11-06
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Minimale Automaten (1)
|Room=BAR/SCHÖ
|Date=2025-11-10
|DS=DS3
|Download=FS2025-Vorlesung-08-overlay.pdf, FS2025-Vorlesung-08-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Minimale Automaten (2)
|Room=HSZ/0003
|Date=2025-11-13
|DS=DS4
|Download=FS2025-Vorlesung-09-overlay.pdf, FS2025-Vorlesung-09-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Grenzen regulärer Sprachen / Probleme für Automaten
|Room=BAR/SCHÖ
|Date=2025-11-17
|DS=DS3
|Download=FS2025-Vorlesung-10-overlay.pdf, FS2025-Vorlesung-10-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Von regulären zu kontextfreien Sprachen
|Room=HSZ/0003
|Date=2025-11-20
|DS=DS4
|Download=FS2025-Vorlesung-11-overlay.pdf, FS2025-Vorlesung-11-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Das Wortproblem für kontextfreie Sprachen
|Room=BAR/SCHÖ
|Date=2025-11-24
|DS=DS3
|Download=FS2025-Vorlesung-12-overlay.pdf, FS2025-Vorlesung-12-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Das Pumping Lemma kontextfreier Sprachen
|Room=HSZ/0003
|Date=2025-11-27
|DS=DS4
|Download=FS2025-Vorlesung-13-overlay.pdf, FS2025-Vorlesung-13-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Abschlusseigenschaften kontextfreier Sprachen
|Room=BAR/SCHÖ
|Date=2025-12-01
|DS=DS3
|Download=FS2025-Vorlesung-14-overlay.pdf, FS2025-Vorlesung-14-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Einleitung Kellerautomaten
|Room=HSZ/0003
|Date=2025-12-04
|DS=DS4
|Download=FS2025-Vorlesung-15-overlay.pdf, FS2025-Vorlesung-15-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Kellerautomaten und CFGs
|Room=BAR/SCHÖ
|Date=2025-12-08
|DS=DS3
|Download=FS2025-Vorlesung-16-overlay.pdf, FS2025-Vorlesung-16-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Deterministische Sprachen / Entscheidungsprobleme
|Room=HSZ/0003
|Date=2025-12-11
|DS=DS4
|Download=FS2025-Vorlesung-17-overlay.pdf, FS2025-Vorlesung-17-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Turingmaschinen
|Room=BAR/SCHÖ
|Date=2025-12-15
|DS=DS3
|Download=FS2025-Vorlesung-18-overlay.pdf, FS2025-Vorlesung-18-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Konsultation
|Title=Repetitorium (1)
|Room=HSZ/0003
|Date=2025-12-18
|DS=DS4
|Download=FS2025-Repetitorium-01.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Nichtdeterminismus und Turingmächtigkeit
|Room=BAR/SCHÖ
|Date=2026-01-05
|DS=DS3
|Download=FS2025-Vorlesung-19-overlay.pdf, FS2025-Vorlesung-19-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Berechenbarkeit und Unentscheidbarkeit
|Room=HSZ/0003
|Date=2026-01-08
|DS=DS4
|Download=FS2025-Vorlesung-20-overlay.pdf, FS2025-Vorlesung-20-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=WHILE und LOOP
|Room=BAR/SCHÖ
|Date=2026-01-12
|DS=DS3
|Download=FS2025-Vorlesung-21-overlay.pdf, FS2025-Vorlesung-21-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Das Halteproblem und Reduktionen
|Room=HSZ/0003
|Date=2026-01-15
|DS=DS4
|Download=FS2025-Vorlesung-22-overlay.pdf, FS2025-Vorlesung-22-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Der Satz von Rice und das Postsche Korrespondenzproblem
|Room=BAR/SCHÖ
|Date=2026-01-19
|DS=DS3
|Download=FS2025-Vorlesung-23-overlay.pdf, FS2025-Vorlesung-23-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Typ 0 und Typ 1
|Room=HSZ/0003
|Date=2026-01-22
|DS=DS4
|Download=FS2025-Vorlesung-24-overlay.pdf, FS2025-Vorlesung-24-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Unentscheidbare Probleme formaler Sprachen
|Room=BAR/SCHÖ
|Date=2026-01-26
|DS=DS3
|Download=FS2025-Vorlesung-25-overlay.pdf, FS2025-Vorlesung-25-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Zusammenfassung und Ausblick
|Room=HSZ/0003
|Date=2026-01-29
|DS=DS4
|Download=FS2025-Vorlesung-26-overlay.pdf, FS2025-Vorlesung-26-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Konsultation
|Title=Repetitorium (2)
|Room=BAR/SCHÖ
|Date=2026-02-02
|DS=DS3
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Konsultation
|Title=Besprechung der Probeklausur
|Room=HSZ/0003
|Date=2026-02-05
|DS=DS4
|Download=FS2025-Probeklausur.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 1
|Room=--
|Date=2025-10-19
|DS=terminlos
|Download=FS2025-Blatt-01.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 2
|Room=--
|Date=2025-10-26
|DS=terminlos
|Download=FS2025-Blatt-02.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 3
|Room=--
|Date=2025-11-02
|DS=terminlos
|Download=FS2025-Blatt-03.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 4
|Room=--
|Date=2025-11-09
|DS=terminlos
|Download=FS2025-Blatt-04.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 5
|Room=--
|Date=2025-11-16
|DS=terminlos
|Download=FS2025-Blatt-05.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 6
|Room=--
|Date=2025-11-23
|DS=terminlos
|Download=FS2025-Blatt-06.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 7
|Room=--
|Date=2025-11-30
|DS=terminlos
|Download=FS2025-Blatt-07.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 8
|Room=--
|Date=2025-12-07
|DS=terminlos
|Download=FS2025-Blatt-08.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 9
|Room=--
|Date=2025-12-14
|DS=terminlos
|Download=FS2025-Blatt-09.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 10
|Room=--
|Date=2026-01-04
|DS=terminlos
|Download=FS2025-Blatt-10.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 11
|Room=--
|Date=2026-01-11
|DS=terminlos
|Download=FS2025-Blatt-11.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 12
|Room=--
|Date=2026-01-18
|DS=terminlos
|Download=FS2025-Blatt-12.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 13
|Room=--
|Date=2026-01-25
|DS=terminlos
|Download=FS2025-Blatt-13.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 14
|Room=--
|Date=2026-02-01
|DS=terminlos
|Download=FS2025-Blatt-14.pdf
}}

Datei:FS2025-Vorlesung-26-print.pdf

2026-01-29T13:24:28Z

Markus Krötzsch:

Datei:FS2025-Vorlesung-26-overlay.pdf

2026-01-29T13:24:22Z

Markus Krötzsch:

Knowledge Graphs (WS2025)

2026-01-27T07:31:18Z

Markus Krötzsch:

{{Vorlesung
|Title=Knowledge Graphs
|Research group=Wissensbasierte Systeme
|Lecturers=Markus Krötzsch
|Tutors=Maximilian Marx
|Term=WS
|Year=2025
|Lecture series=Knowledge Graphs
|Matrix=#kg2025:tu-dresden.de
|Module=CMS-COR-KM, INF-25-MA-FTK-KM, INF-B510, INF-B520, INF-BAS2, INF-BAS6, INF-E-3, INF-PM-ANW, INF-PM-FOR, INF-VERT2, INF-VERT6, MCL-KR, MCL-TCSL
|SWSLecture=2
|SWSExercise=2
|SWSPractical=0
|Exam type=Klausur, mündliche Prüfung
|Description====News===
* we offer oral exams in Winter 2025/2026 (see below). Please contact [[Kati Domann]] to schedule your oral exam.

* the first lecture will take place on '''Tuesday, 2025-10-14, DS2 (09:20–10:50)''' in room [[BAR 106]]
* the first exercise will take place on '''Wednesday, 2025-10-22, DS4 (13:00–14:30)''' in room [[N63 A001]]
* please check this page regularly for updates of the schedule
* additional materials (example data, solutions to programming exercises) are available on a [https://github.com/knowsys/Course-Knowledge-Graphs/ GitHub repository]

===Contents===
Knowledge graphs are becoming an important paradigm in industry and research, with applications including prominent examples such as Google's own Knowledge Graph, Wikipedia's knowledge base sister [[Wikidata/en|Wikidata]], and numerous artificial intelligence projects from Alexa to Siri. Meanwhile, companies are exploring the use of their own enterprise knowledge graphs for improving internal knowledge management.

With so many facets, knowledge graphs are a cross-cutting topic in computer science that involves aspects of data management (graph databases, file formats), publication (exchange formats, data integration), knowledge organisation (constraints, ontologies), and advanced analytics (expressive query languages, graph data mining). On each of these levels, there is some interesting theory and some interesting technology to be learned. This course will cover a colourful mix of technologies and methods related to the use of graphs for data analysis, knowledge representation, and data management.

===Registration===

The course generally does not require a special registration and there is no limit for participants. However, you will need to register in Selma for the appropriate module to obtain credits.
Most of the materials will be freely available world-wide. Live sessions (especially tutorials) are restricted to students of TU Dresden.

===Examination Dates and Mode===

The registration and scheduling for exams depend on the module they are for. All students need to contact the [[Wissensbasierte_Systeme/en|KBS secretary]] to arrange time slots for their oral exams, or the secretary of another chair in the case of another main examiner. The preferred date for oral exams is ''2026-02-24''. Although we cannot generally accommodate wishes for specific dates, students with justified time constraints during the examination period can still let us know as early as possible.

To obtain credits in module '''CMS-COR-KM,''' students have to take an exam that only involves this one course. This exam is either written or oral, depending on the number of registered students (as per the study regulations). We can announce the actual mode only at the end of the exam registration period.



===Schedule and Location===
All dates are published on this page (see ''Dates & Materials'' above).
* Lectures: Thursdays, DS2 (09:20 to 10:50) in [[BAR 106]]
* Exercises: Wednesdays, DS4 (13:00 to 14:30) in [[N63 A001]]
* The first exercise sessions will be on '''Wednesday, 2025-10-22'''.
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=1. Introduction and Welcome
|Room=BAR 106
|Date=2025-10-14
|DS=DS2
|Download=KG2025-Lecture-01-overlay.pdf, KG2025-Lecture-01-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=2. Representing Graphs with RDF
|Room=BAR 106
|Date=2025-10-21
|DS=DS2
|Download=KG2025-Lecture-02-overlay.pdf, KG2025-Lecture-02-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=0. Introduction to Python
|Room=N63 A001
|Date=2025-10-22
|DS=DS4
|Download=kg2025-exercise-00.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=3. Modelling in RDF / SPARQL Basics
|Room=BAR 106
|Date=2025-10-28
|DS=DS2
|Download=KG2025-Lecture-03-overlay.pdf, KG2025-Lecture-03-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=1. Getting to Know Graphs
|Room=N63 A001
|Date=2025-10-29
|DS=DS4
|Download=kg2025-exercise-01.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=4. Wikidata
|Room=BAR 106
|Date=2025-11-04
|DS=DS2
|Download=KG2025-Lecture-04-overlay.pdf, KG2025-Lecture-04-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=2. Graphs and RDF
|Room=N63 A001
|Date=2025-11-05
|DS=DS4
|Download=kg2025-exercise-02.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=5. Advanced Features of SPARQL
|Room=BAR 106
|Date=2025-11-11
|DS=DS2
|Download=KG2025-Lecture-05-overlay.pdf, KG2025-Lecture-05-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=3. SPARQL and Wikidata
|Room=N63 A001
|Date=2025-11-12
|DS=DS4
|Download=kg2025-exercise-03.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=6. SPARQL Semantics
|Room=BAR 106
|Date=2025-11-18
|DS=DS2
|Download=KG2025-Lecture-06-overlay.pdf, KG2025-Lecture-06-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Entfällt
|Title=Repentance and Prayer Day (public holiday)
|Room=N63 A001
|Date=2025-11-19
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=7. Datalog for Knowledge Graphs
|Room=BAR 106
|Date=2025-11-25
|DS=DS2
|Download=KG2025-Lecture-07-overlay.pdf, KG2025-Lecture-07-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=4. More SPARQL and Wikidata
|Room=N63 A001
|Date=2025-11-26
|DS=DS4
|Download=kg2025-exercise-04.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=8. Advanced Datalog
|Room=BAR 106
|Date=2025-12-02
|DS=DS2
|Download=KG2025-Lecture-08-overlay.pdf, KG2025-Lecture-08-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=5. Datalog in Theory & Practice
|Room=N63 A001
|Date=2025-12-03
|DS=DS4
|Download=kg2025-exercise-05.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=9. Complexity of SPARQL and Datalog (1)
|Room=BAR 106
|Date=2025-12-09
|DS=DS2
|Download=KG2025-Lecture-09-overlay.pdf, KG2025-Lecture-09-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=6. Advanced Datalog
|Room=N63 A001
|Date=2025-12-10
|DS=DS4
|Download=kg2025-exercise-06.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=10. Complexity of SPARQL and Datalog (2)
|Room=BAR 106
|Date=2025-12-16
|DS=DS2
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=7. SPARQL Semantics & Wikidata
|Room=N63 A001
|Date=2025-12-17
|DS=DS4
|Download=kg2025-exercise-07.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=11. Ontologies for Knowledge Graphs
|Room=BAR 106
|Date=2026-01-06
|DS=DS2
|Download=KG2025-Lecture-10-overlay.pdf, KG2025-Lecture-10-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=8. Advanced SPARQL
|Room=N63 A001
|Date=2026-01-07
|DS=DS4
|Download=kg2025-exercise-08.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=12. Ontology-Based Query Answering
|Room=BAR 106
|Date=2026-01-13
|DS=DS2
|Download=KG2025-Lecture-11-overlay.pdf, KG2025-Lecture-11-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=9. SPARQL and OWL
|Room=N63 A001
|Date=2026-01-14
|DS=DS4
|Download=kg2025-exercise-09.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=13. Knowledge Graph Quality
|Room=BAR 106
|Date=2026-01-20
|DS=DS2
|Download=KG2025-Lecture-12-overlay.pdf, KG2025-Lecture-12-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=10. Datalog and OWL
|Room=N63 A001
|Date=2026-01-21
|DS=DS4
|Download=kg2025-exercise-10.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=14. Knowledge Graph Quality / Summary
|Room=BAR 106
|Date=2026-01-27
|DS=DS2
|Download=KG2025-Lecture-13-overlay.pdf, KG2025-Lecture-13-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=11. Knowledge Graph Quality and Validation
|Room=N63 A001
|Date=2026-01-28
|DS=DS4
|Download=kg2025-exercise-11.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Konsultation
|Title=Consultation
|Room=BAR 106
|Date=2026-02-03
|DS=DS2
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=12. TBA
|Room=N63 A001
|Date=2026-02-04
|DS=DS4
}}

Datei:KG2025-Lecture-13-print.pdf

2026-01-27T07:31:11Z

Markus Krötzsch:

Datei:KG2025-Lecture-13-overlay.pdf

2026-01-27T07:31:04Z

Markus Krötzsch:

Knowledge Graphs (WS2025)

2026-01-26T20:42:39Z

Markus Krötzsch:

{{Vorlesung
|Title=Knowledge Graphs
|Research group=Wissensbasierte Systeme
|Lecturers=Markus Krötzsch
|Tutors=Maximilian Marx
|Term=WS
|Year=2025
|Lecture series=Knowledge Graphs
|Matrix=#kg2025:tu-dresden.de
|Module=CMS-COR-KM, INF-25-MA-FTK-KM, INF-B510, INF-B520, INF-BAS2, INF-BAS6, INF-E-3, INF-PM-ANW, INF-PM-FOR, INF-VERT2, INF-VERT6, MCL-KR, MCL-TCSL
|SWSLecture=2
|SWSExercise=2
|SWSPractical=0
|Exam type=Klausur, mündliche Prüfung
|Description====News===
* we offer oral exams in Winter 2025/2026 (see below). Please contact [[Kati Domann]] to schedule your oral exam.

* the first lecture will take place on '''Tuesday, 2025-10-14, DS2 (09:20–10:50)''' in room [[BAR 106]]
* the first exercise will take place on '''Wednesday, 2025-10-22, DS4 (13:00–14:30)''' in room [[N63 A001]]
* please check this page regularly for updates of the schedule
* additional materials (example data, solutions to programming exercises) are available on a [https://github.com/knowsys/Course-Knowledge-Graphs/ GitHub repository]

===Contents===
Knowledge graphs are becoming an important paradigm in industry and research, with applications including prominent examples such as Google's own Knowledge Graph, Wikipedia's knowledge base sister [[Wikidata/en|Wikidata]], and numerous artificial intelligence projects from Alexa to Siri. Meanwhile, companies are exploring the use of their own enterprise knowledge graphs for improving internal knowledge management.

With so many facets, knowledge graphs are a cross-cutting topic in computer science that involves aspects of data management (graph databases, file formats), publication (exchange formats, data integration), knowledge organisation (constraints, ontologies), and advanced analytics (expressive query languages, graph data mining). On each of these levels, there is some interesting theory and some interesting technology to be learned. This course will cover a colourful mix of technologies and methods related to the use of graphs for data analysis, knowledge representation, and data management.

===Registration===

The course generally does not require a special registration and there is no limit for participants. However, you will need to register in Selma for the appropriate module to obtain credits.
Most of the materials will be freely available world-wide. Live sessions (especially tutorials) are restricted to students of TU Dresden.

===Examination Dates and Mode===

The registration and scheduling for exams depend on the module they are for. All students need to contact the [[Wissensbasierte_Systeme/en|KBS secretary]] to arrange time slots for their oral exams, or the secretary of another chair in the case of another main examiner. The preferred date for oral exams is ''2026-02-24''. Although we cannot generally accommodate wishes for specific dates, students with justified time constraints during the examination period can still let us know as early as possible.

To obtain credits in module '''CMS-COR-KM,''' students have to take an exam that only involves this one course. This exam is either written or oral, depending on the number of registered students (as per the study regulations). We can announce the actual mode only at the end of the exam registration period.



===Schedule and Location===
All dates are published on this page (see ''Dates & Materials'' above).
* Lectures: Thursdays, DS2 (09:20 to 10:50) in [[BAR 106]]
* Exercises: Wednesdays, DS4 (13:00 to 14:30) in [[N63 A001]]
* The first exercise sessions will be on '''Wednesday, 2025-10-22'''.
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=1. Introduction and Welcome
|Room=BAR 106
|Date=2025-10-14
|DS=DS2
|Download=KG2025-Lecture-01-overlay.pdf, KG2025-Lecture-01-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=2. Representing Graphs with RDF
|Room=BAR 106
|Date=2025-10-21
|DS=DS2
|Download=KG2025-Lecture-02-overlay.pdf, KG2025-Lecture-02-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=0. Introduction to Python
|Room=N63 A001
|Date=2025-10-22
|DS=DS4
|Download=kg2025-exercise-00.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=3. Modelling in RDF / SPARQL Basics
|Room=BAR 106
|Date=2025-10-28
|DS=DS2
|Download=KG2025-Lecture-03-overlay.pdf, KG2025-Lecture-03-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=1. Getting to Know Graphs
|Room=N63 A001
|Date=2025-10-29
|DS=DS4
|Download=kg2025-exercise-01.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=4. Wikidata
|Room=BAR 106
|Date=2025-11-04
|DS=DS2
|Download=KG2025-Lecture-04-overlay.pdf, KG2025-Lecture-04-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=2. Graphs and RDF
|Room=N63 A001
|Date=2025-11-05
|DS=DS4
|Download=kg2025-exercise-02.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=5. Advanced Features of SPARQL
|Room=BAR 106
|Date=2025-11-11
|DS=DS2
|Download=KG2025-Lecture-05-overlay.pdf, KG2025-Lecture-05-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=3. SPARQL and Wikidata
|Room=N63 A001
|Date=2025-11-12
|DS=DS4
|Download=kg2025-exercise-03.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=6. SPARQL Semantics
|Room=BAR 106
|Date=2025-11-18
|DS=DS2
|Download=KG2025-Lecture-06-overlay.pdf, KG2025-Lecture-06-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Entfällt
|Title=Repentance and Prayer Day (public holiday)
|Room=N63 A001
|Date=2025-11-19
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=7. Datalog for Knowledge Graphs
|Room=BAR 106
|Date=2025-11-25
|DS=DS2
|Download=KG2025-Lecture-07-overlay.pdf, KG2025-Lecture-07-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=4. More SPARQL and Wikidata
|Room=N63 A001
|Date=2025-11-26
|DS=DS4
|Download=kg2025-exercise-04.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=8. Advanced Datalog
|Room=BAR 106
|Date=2025-12-02
|DS=DS2
|Download=KG2025-Lecture-08-overlay.pdf, KG2025-Lecture-08-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=5. Datalog in Theory & Practice
|Room=N63 A001
|Date=2025-12-03
|DS=DS4
|Download=kg2025-exercise-05.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=9. Complexity of SPARQL and Datalog (1)
|Room=BAR 106
|Date=2025-12-09
|DS=DS2
|Download=KG2025-Lecture-09-overlay.pdf, KG2025-Lecture-09-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=6. Advanced Datalog
|Room=N63 A001
|Date=2025-12-10
|DS=DS4
|Download=kg2025-exercise-06.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=10. Complexity of SPARQL and Datalog (2)
|Room=BAR 106
|Date=2025-12-16
|DS=DS2
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=7. SPARQL Semantics & Wikidata
|Room=N63 A001
|Date=2025-12-17
|DS=DS4
|Download=kg2025-exercise-07.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=11. Ontologies for Knowledge Graphs
|Room=BAR 106
|Date=2026-01-06
|DS=DS2
|Download=KG2025-Lecture-10-overlay.pdf, KG2025-Lecture-10-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=8. Advanced SPARQL
|Room=N63 A001
|Date=2026-01-07
|DS=DS4
|Download=kg2025-exercise-08.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=12. Ontology-Based Query Answering
|Room=BAR 106
|Date=2026-01-13
|DS=DS2
|Download=KG2025-Lecture-11-overlay.pdf, KG2025-Lecture-11-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=9. SPARQL and OWL
|Room=N63 A001
|Date=2026-01-14
|DS=DS4
|Download=kg2025-exercise-09.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=13. Knowledge Graph Quality
|Room=BAR 106
|Date=2026-01-20
|DS=DS2
|Download=KG2025-Lecture-12-overlay.pdf, KG2025-Lecture-12-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=10. Datalog and OWL
|Room=N63 A001
|Date=2026-01-21
|DS=DS4
|Download=kg2025-exercise-10.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=14. Knowledge Graph Quality / Summary
|Room=BAR 106
|Date=2026-01-27
|DS=DS2
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=11. Knowledge Graph Quality and Validation
|Room=N63 A001
|Date=2026-01-28
|DS=DS4
|Download=kg2025-exercise-11.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Konsultation
|Title=Consultation
|Room=BAR 106
|Date=2026-02-03
|DS=DS2
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=12. TBA
|Room=N63 A001
|Date=2026-02-04
|DS=DS4
}}

Formale Systeme (WS2025)

2026-01-26T13:22:06Z

Markus Krötzsch:

{{Vorlesung
|Title=Formale Systeme
|Research group=Wissensbasierte Systeme
|Lecturers=Markus Krötzsch
|Tutors=Stephan Mennicke; Stefan Borgwardt; Anton Claußnitzer; Florens Förster; Lukas Gerlach; Anna Hornschild; Cornelius Lübke; Maximilian Marx
|Term=WS
|Year=2025
|Lecture series=Formale Systeme
|Matrix=#fosys:tu-dresden.de
|Module=INF-25-BA-AUB, INF-B-270, INF-B-275, INF-LE-EUI
|SWSLecture=4
|SWSExercise=2
|SWSPractical=0
|Exam type=Klausur
|Description=Die Lehrveranstaltung ''Formale Systeme'' vermittelt eine Einleitung in die Gebiete der formalen Sprachen, Automatentheorie und Berechenbarkeit. Dies beinhaltet einige der wichtigsten Grundlagen der Informatik, wie z.B. reguläre Ausdrücke, formale Grammatiken sowie grundlegende Begriffe der Berechenbarkeits- und Komplexitätstheorie. Damit bildet die Vorlesung die Grundlage für viele vertiefende Vorlesungen.

== Vorlesungen ==

Die Vorlesungstermine sind
* montags 3.DS (11:10–12:40) in [[BAR/SCHÖ]] sowie
* donnerstags 4.DS (13:00–14:30) in [[HSZ/0003]].

Die erste Vorlesung findet am Montag, dem 13. Oktober 2025 statt.

== Übungen ==

Der Übungsbetrieb startet '''am 20. Oktober 2025''' zu Ihren jeweiligen Terminen in den angegebenen Räumen statt. Die Übungsblätter können in der Spalte der jeweiligen Übung unter ''Termine und Unterlagen'' heruntergeladen werden. Eine vorherige Einschreibung in die angebotenen Übungstermine ist verpflichtend bevor Sie an der Übungsgruppe teilnehmen. Welche Übungstermine wir anbieten, geben wir rechtzeitig bekannt. Die Einschreibung wird am '''Montag, den 13.10.2025 um 15:00 Uhr''' freigeschalten:

Die Einschreibungen in die Übungsgruppen erfolgt über '''[https://tud.link/sdutby die OPAL-Seite der Lehrveranstaltung]'''.

== Unterlagen ==

Die vollständigen Foliensätze zur Vorlesung erscheinen bis zur Woche der Vorlesung online (siehe ''Termine und Unterlagen''). Weiterführende Literatur ist unter ''Literatur'' angegeben. Die Quellen der Vorlesungsfolien sind auf github verfügbar: https://github.com/knowsys/FormaleSysteme

Alle Foliensätze der Vorlesungen können entsprechend den Lizensbedingungen von [https://creativecommons.org/licenses/by/3.0/de/ Creative Commons CC By 3.0 Deutschland] genutzt, weitergegeben und modifiziert werden. Als Namensnennung ist folgende Angabe einzufügen:

(C) Markus Krötzsch, https://iccl.inf.tu-dresden.de/web/FS2025, CC BY 3.0 DE

Bildrechte können davon abweichen und sind gesondert angegeben. Die Foliensätze enthalten keinerlei Texte, die aus Werken entnommen sind, für welche die VG Wort Verwertungsrechte vertritt.

Besonderen Dank gilt allen [https://github.com/knowsys/FormaleSysteme/graphs/contributors Contributors], die Anmerkungen und Verbesserungen beigetragen haben: [[Daniel Borchmann]], [[Maximilian Marx]], [https://github.com/chlewe Christian Lewe], [https://github.com/tidenhub David Tiede], [https://github.com/jhaye Johannes (jhaye)], [https://github.com/DerKolibri Andrej Bereza], [https://github.com/CniKKoR CniKKoR], [https://github.com/marcusrossel Marcus Rossel], [https://github.com/MaxHaertwig Max Haertwig], [https://github.com/eknoes Sönke (eknoes)], [https://github.com/bennofs Benno Fünfstück], [https://github.com/voidless Julius Schmitt]. (Stand März 2021; Ergänzungen sind willkommen.)

== Kontakt ==

Zur Kommunikation unter Vorlesungsteilnehmern der TU Dresden steht ein [https://matrix.tu-dresden.de/#/room/#fosys:tu-dresden.de Matrix-Kanal] zur Verfügung.

Kommentare und Bug Reports können gern auch direkt über die entsprechenden Seiten auf github gepostet werden: https://github.com/mkroetzsch/FormaleSysteme
Alternativ können Hinweise zu Tippfehlern in den Vorlesungsfolien auch an die Mailingliste geschickt werden.

Persönliche Fragen können direkt an das Organisationsteam (siehe Links oben) gestellt werden, falls sie aus einem zwingenden Grund nicht über andere Kanäle gerichtet werden können. Allgemeine Fragen sollten Sie aber immer in geteilten Kanälen stellen, damit auch Ihre Kommilitoninnen und Kommilitonen davon profitieren (oder vielleicht sogar direkt helfen können).
|Literature=Allgemein sind die Vorlesungsfolien und Übungsunterlagen ausreichend detailliert für das Studium. Weitere Lehrmaterialien können dennoch hilfreich sein, um Details nachzuschlagen oder sich weiter im Thema zu vertiefen.

== Formale Sprachen, Komplexität und Entscheidbarkeit ==

=== Lehrbücher ===

* Uwe Schöning: '''Theoretische Informatik -- kurz gefasst.''' Spektrum Akademischer Verlag.
: ''(deutschsprachiger Standardtext; in der Tat ziemlich kurz gefasst)''
* John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman: '''Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit.''' Pearson Studium.
: ''(aus dem Englischen übertragenes Standardwerk; Original ev. besser)''
* Michael Sipser: '''Introduction to the Theory of Computation.''' Cengage Learning.
: ''(Standardtext zu Sprachen und Berechnungskomplexität; leider nur auf Englisch)''

=== Online verfügbare Skripte ===

* [[Franz Baader]]: '''[https://lat.inf.tu-dresden.de/teaching/ws2013-2014/FS/script_2016-02.pdf Skript Formale Systeme, Teil 1 – Automaten und formale Sprachen].''' TU Dresden.

Die Vorlesungen haben kleine Abweichungen von diesem Text, stimmen aber in vielen wichtigen Punkten überein.

Andere Scripte scheinen zurzeit nicht (mehr) online verfügbar zu sein. Hinweise zu weiteren Links auf sinnvolle Materialien sind willkommen.
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Einleitung formale Sprachen
|Room=BAR/SCHÖ
|Date=2025-10-13
|DS=DS3
|Download=FS2025-Vorlesung-01-overlay.pdf, FS2025-Vorlesung-01-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Grammatiken und die Chomsky-Hierarchie
|Room=HSZ/0003
|Date=2025-10-16
|DS=DS4
|Download=FS2025-Vorlesung-02-overlay.pdf, FS2025-Vorlesung-02-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Endliche Automaten
|Room=BAR/SCHÖ
|Date=2025-10-20
|DS=DS3
|Download=FS2025-Vorlesung-03-overlay.pdf, FS2025-Vorlesung-03-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Nichtdeterministische Automaten
|Room=HSZ/0003
|Date=2025-10-23
|DS=DS4
|Download=FS2025-Vorlesung-04-overlay.pdf, FS2025-Vorlesung-04-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Abschlusseigenschaften regulärer Sprachen
|Room=BAR/SCHÖ
|Date=2025-10-27
|DS=DS3
|Download=FS2025-Vorlesung-05-overlay.pdf, FS2025-Vorlesung-05-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Reguläre Ausdrücke (1)
|Room=HSZ/0003
|Date=2025-10-30
|DS=DS4
|Download=FS2025-Vorlesung-06-overlay.pdf, FS2025-Vorlesung-06-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Reguläre Ausdrücke (2)
|Room=BAR/SCHÖ
|Date=2025-11-03
|DS=DS3
|Download=FS2025-Vorlesung-07-overlay.pdf, FS2025-Vorlesung-07-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Entfällt
|Title=Interne Veranstaltung
|Room=HSZ/0003
|Date=2025-11-06
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Minimale Automaten (1)
|Room=BAR/SCHÖ
|Date=2025-11-10
|DS=DS3
|Download=FS2025-Vorlesung-08-overlay.pdf, FS2025-Vorlesung-08-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Minimale Automaten (2)
|Room=HSZ/0003
|Date=2025-11-13
|DS=DS4
|Download=FS2025-Vorlesung-09-overlay.pdf, FS2025-Vorlesung-09-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Grenzen regulärer Sprachen / Probleme für Automaten
|Room=BAR/SCHÖ
|Date=2025-11-17
|DS=DS3
|Download=FS2025-Vorlesung-10-overlay.pdf, FS2025-Vorlesung-10-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Von regulären zu kontextfreien Sprachen
|Room=HSZ/0003
|Date=2025-11-20
|DS=DS4
|Download=FS2025-Vorlesung-11-overlay.pdf, FS2025-Vorlesung-11-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Das Wortproblem für kontextfreie Sprachen
|Room=BAR/SCHÖ
|Date=2025-11-24
|DS=DS3
|Download=FS2025-Vorlesung-12-overlay.pdf, FS2025-Vorlesung-12-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Das Pumping Lemma kontextfreier Sprachen
|Room=HSZ/0003
|Date=2025-11-27
|DS=DS4
|Download=FS2025-Vorlesung-13-overlay.pdf, FS2025-Vorlesung-13-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Abschlusseigenschaften kontextfreier Sprachen
|Room=BAR/SCHÖ
|Date=2025-12-01
|DS=DS3
|Download=FS2025-Vorlesung-14-overlay.pdf, FS2025-Vorlesung-14-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Einleitung Kellerautomaten
|Room=HSZ/0003
|Date=2025-12-04
|DS=DS4
|Download=FS2025-Vorlesung-15-overlay.pdf, FS2025-Vorlesung-15-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Kellerautomaten und CFGs
|Room=BAR/SCHÖ
|Date=2025-12-08
|DS=DS3
|Download=FS2025-Vorlesung-16-overlay.pdf, FS2025-Vorlesung-16-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Deterministische Sprachen / Entscheidungsprobleme
|Room=HSZ/0003
|Date=2025-12-11
|DS=DS4
|Download=FS2025-Vorlesung-17-overlay.pdf, FS2025-Vorlesung-17-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Turingmaschinen
|Room=BAR/SCHÖ
|Date=2025-12-15
|DS=DS3
|Download=FS2025-Vorlesung-18-overlay.pdf, FS2025-Vorlesung-18-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Konsultation
|Title=Repetitorium (1)
|Room=HSZ/0003
|Date=2025-12-18
|DS=DS4
|Download=FS2025-Repetitorium-01.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Nichtdeterminismus und Turingmächtigkeit
|Room=BAR/SCHÖ
|Date=2026-01-05
|DS=DS3
|Download=FS2025-Vorlesung-19-overlay.pdf, FS2025-Vorlesung-19-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Berechenbarkeit und Unentscheidbarkeit
|Room=HSZ/0003
|Date=2026-01-08
|DS=DS4
|Download=FS2025-Vorlesung-20-overlay.pdf, FS2025-Vorlesung-20-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=WHILE und LOOP
|Room=BAR/SCHÖ
|Date=2026-01-12
|DS=DS3
|Download=FS2025-Vorlesung-21-overlay.pdf, FS2025-Vorlesung-21-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Das Halteproblem und Reduktionen
|Room=HSZ/0003
|Date=2026-01-15
|DS=DS4
|Download=FS2025-Vorlesung-22-overlay.pdf, FS2025-Vorlesung-22-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Der Satz von Rice und das Postsche Korrespondenzproblem
|Room=BAR/SCHÖ
|Date=2026-01-19
|DS=DS3
|Download=FS2025-Vorlesung-23-overlay.pdf, FS2025-Vorlesung-23-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Typ 0 und Typ 1
|Room=HSZ/0003
|Date=2026-01-22
|DS=DS4
|Download=FS2025-Vorlesung-24-overlay.pdf, FS2025-Vorlesung-24-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Unentscheidbare Probleme formaler Sprachen
|Room=BAR/SCHÖ
|Date=2026-01-26
|DS=DS3
|Download=FS2025-Vorlesung-25-overlay.pdf, FS2025-Vorlesung-25-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Zusammenfassung und Ausblick
|Room=HSZ/0003
|Date=2026-01-29
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Konsultation
|Title=Repetitorium (2)
|Room=BAR/SCHÖ
|Date=2026-02-02
|DS=DS3
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Konsultation
|Title=Besprechung der Probeklausur
|Room=HSZ/0003
|Date=2026-02-05
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 1
|Room=--
|Date=2025-10-19
|DS=terminlos
|Download=FS2025-Blatt-01.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 2
|Room=--
|Date=2025-10-26
|DS=terminlos
|Download=FS2025-Blatt-02.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 3
|Room=--
|Date=2025-11-02
|DS=terminlos
|Download=FS2025-Blatt-03.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 4
|Room=--
|Date=2025-11-09
|DS=terminlos
|Download=FS2025-Blatt-04.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 5
|Room=--
|Date=2025-11-16
|DS=terminlos
|Download=FS2025-Blatt-05.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 6
|Room=--
|Date=2025-11-23
|DS=terminlos
|Download=FS2025-Blatt-06.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 7
|Room=--
|Date=2025-11-30
|DS=terminlos
|Download=FS2025-Blatt-07.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 8
|Room=--
|Date=2025-12-07
|DS=terminlos
|Download=FS2025-Blatt-08.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 9
|Room=--
|Date=2025-12-14
|DS=terminlos
|Download=FS2025-Blatt-09.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 10
|Room=--
|Date=2026-01-04
|DS=terminlos
|Download=FS2025-Blatt-10.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 11
|Room=--
|Date=2026-01-11
|DS=terminlos
|Download=FS2025-Blatt-11.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 12
|Room=--
|Date=2026-01-18
|DS=terminlos
|Download=FS2025-Blatt-12.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 13
|Room=--
|Date=2026-01-25
|DS=terminlos
|Download=FS2025-Blatt-13.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 14
|Room=--
|Date=2026-02-01
|DS=terminlos
|Download=FS2025-Blatt-14.pdf
}}

Datei:FS2025-Vorlesung-25-print.pdf

2026-01-26T13:22:02Z

Markus Krötzsch:

Datei:FS2025-Vorlesung-25-overlay.pdf

2026-01-26T13:21:56Z

Markus Krötzsch:

Formale Systeme (WS2025)

2026-01-22T11:53:55Z

Markus Krötzsch:

{{Vorlesung
|Title=Formale Systeme
|Research group=Wissensbasierte Systeme
|Lecturers=Markus Krötzsch
|Tutors=Stephan Mennicke; Stefan Borgwardt; Anton Claußnitzer; Florens Förster; Lukas Gerlach; Anna Hornschild; Cornelius Lübke; Maximilian Marx
|Term=WS
|Year=2025
|Lecture series=Formale Systeme
|Matrix=#fosys:tu-dresden.de
|Module=INF-25-BA-AUB, INF-B-270, INF-B-275, INF-LE-EUI
|SWSLecture=4
|SWSExercise=2
|SWSPractical=0
|Exam type=Klausur
|Description=Die Lehrveranstaltung ''Formale Systeme'' vermittelt eine Einleitung in die Gebiete der formalen Sprachen, Automatentheorie und Berechenbarkeit. Dies beinhaltet einige der wichtigsten Grundlagen der Informatik, wie z.B. reguläre Ausdrücke, formale Grammatiken sowie grundlegende Begriffe der Berechenbarkeits- und Komplexitätstheorie. Damit bildet die Vorlesung die Grundlage für viele vertiefende Vorlesungen.

== Vorlesungen ==

Die Vorlesungstermine sind
* montags 3.DS (11:10–12:40) in [[BAR/SCHÖ]] sowie
* donnerstags 4.DS (13:00–14:30) in [[HSZ/0003]].

Die erste Vorlesung findet am Montag, dem 13. Oktober 2025 statt.

== Übungen ==

Der Übungsbetrieb startet '''am 20. Oktober 2025''' zu Ihren jeweiligen Terminen in den angegebenen Räumen statt. Die Übungsblätter können in der Spalte der jeweiligen Übung unter ''Termine und Unterlagen'' heruntergeladen werden. Eine vorherige Einschreibung in die angebotenen Übungstermine ist verpflichtend bevor Sie an der Übungsgruppe teilnehmen. Welche Übungstermine wir anbieten, geben wir rechtzeitig bekannt. Die Einschreibung wird am '''Montag, den 13.10.2025 um 15:00 Uhr''' freigeschalten:

Die Einschreibungen in die Übungsgruppen erfolgt über '''[https://tud.link/sdutby die OPAL-Seite der Lehrveranstaltung]'''.

== Unterlagen ==

Die vollständigen Foliensätze zur Vorlesung erscheinen bis zur Woche der Vorlesung online (siehe ''Termine und Unterlagen''). Weiterführende Literatur ist unter ''Literatur'' angegeben. Die Quellen der Vorlesungsfolien sind auf github verfügbar: https://github.com/knowsys/FormaleSysteme

Alle Foliensätze der Vorlesungen können entsprechend den Lizensbedingungen von [https://creativecommons.org/licenses/by/3.0/de/ Creative Commons CC By 3.0 Deutschland] genutzt, weitergegeben und modifiziert werden. Als Namensnennung ist folgende Angabe einzufügen:

(C) Markus Krötzsch, https://iccl.inf.tu-dresden.de/web/FS2025, CC BY 3.0 DE

Bildrechte können davon abweichen und sind gesondert angegeben. Die Foliensätze enthalten keinerlei Texte, die aus Werken entnommen sind, für welche die VG Wort Verwertungsrechte vertritt.

Besonderen Dank gilt allen [https://github.com/knowsys/FormaleSysteme/graphs/contributors Contributors], die Anmerkungen und Verbesserungen beigetragen haben: [[Daniel Borchmann]], [[Maximilian Marx]], [https://github.com/chlewe Christian Lewe], [https://github.com/tidenhub David Tiede], [https://github.com/jhaye Johannes (jhaye)], [https://github.com/DerKolibri Andrej Bereza], [https://github.com/CniKKoR CniKKoR], [https://github.com/marcusrossel Marcus Rossel], [https://github.com/MaxHaertwig Max Haertwig], [https://github.com/eknoes Sönke (eknoes)], [https://github.com/bennofs Benno Fünfstück], [https://github.com/voidless Julius Schmitt]. (Stand März 2021; Ergänzungen sind willkommen.)

== Kontakt ==

Zur Kommunikation unter Vorlesungsteilnehmern der TU Dresden steht ein [https://matrix.tu-dresden.de/#/room/#fosys:tu-dresden.de Matrix-Kanal] zur Verfügung.

Kommentare und Bug Reports können gern auch direkt über die entsprechenden Seiten auf github gepostet werden: https://github.com/mkroetzsch/FormaleSysteme
Alternativ können Hinweise zu Tippfehlern in den Vorlesungsfolien auch an die Mailingliste geschickt werden.

Persönliche Fragen können direkt an das Organisationsteam (siehe Links oben) gestellt werden, falls sie aus einem zwingenden Grund nicht über andere Kanäle gerichtet werden können. Allgemeine Fragen sollten Sie aber immer in geteilten Kanälen stellen, damit auch Ihre Kommilitoninnen und Kommilitonen davon profitieren (oder vielleicht sogar direkt helfen können).
|Literature=Allgemein sind die Vorlesungsfolien und Übungsunterlagen ausreichend detailliert für das Studium. Weitere Lehrmaterialien können dennoch hilfreich sein, um Details nachzuschlagen oder sich weiter im Thema zu vertiefen.

== Formale Sprachen, Komplexität und Entscheidbarkeit ==

=== Lehrbücher ===

* Uwe Schöning: '''Theoretische Informatik -- kurz gefasst.''' Spektrum Akademischer Verlag.
: ''(deutschsprachiger Standardtext; in der Tat ziemlich kurz gefasst)''
* John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman: '''Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit.''' Pearson Studium.
: ''(aus dem Englischen übertragenes Standardwerk; Original ev. besser)''
* Michael Sipser: '''Introduction to the Theory of Computation.''' Cengage Learning.
: ''(Standardtext zu Sprachen und Berechnungskomplexität; leider nur auf Englisch)''

=== Online verfügbare Skripte ===

* [[Franz Baader]]: '''[https://lat.inf.tu-dresden.de/teaching/ws2013-2014/FS/script_2016-02.pdf Skript Formale Systeme, Teil 1 – Automaten und formale Sprachen].''' TU Dresden.

Die Vorlesungen haben kleine Abweichungen von diesem Text, stimmen aber in vielen wichtigen Punkten überein.

Andere Scripte scheinen zurzeit nicht (mehr) online verfügbar zu sein. Hinweise zu weiteren Links auf sinnvolle Materialien sind willkommen.
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Einleitung formale Sprachen
|Room=BAR/SCHÖ
|Date=2025-10-13
|DS=DS3
|Download=FS2025-Vorlesung-01-overlay.pdf, FS2025-Vorlesung-01-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Grammatiken und die Chomsky-Hierarchie
|Room=HSZ/0003
|Date=2025-10-16
|DS=DS4
|Download=FS2025-Vorlesung-02-overlay.pdf, FS2025-Vorlesung-02-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Endliche Automaten
|Room=BAR/SCHÖ
|Date=2025-10-20
|DS=DS3
|Download=FS2025-Vorlesung-03-overlay.pdf, FS2025-Vorlesung-03-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Nichtdeterministische Automaten
|Room=HSZ/0003
|Date=2025-10-23
|DS=DS4
|Download=FS2025-Vorlesung-04-overlay.pdf, FS2025-Vorlesung-04-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Abschlusseigenschaften regulärer Sprachen
|Room=BAR/SCHÖ
|Date=2025-10-27
|DS=DS3
|Download=FS2025-Vorlesung-05-overlay.pdf, FS2025-Vorlesung-05-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Reguläre Ausdrücke (1)
|Room=HSZ/0003
|Date=2025-10-30
|DS=DS4
|Download=FS2025-Vorlesung-06-overlay.pdf, FS2025-Vorlesung-06-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Reguläre Ausdrücke (2)
|Room=BAR/SCHÖ
|Date=2025-11-03
|DS=DS3
|Download=FS2025-Vorlesung-07-overlay.pdf, FS2025-Vorlesung-07-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Entfällt
|Title=Interne Veranstaltung
|Room=HSZ/0003
|Date=2025-11-06
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Minimale Automaten (1)
|Room=BAR/SCHÖ
|Date=2025-11-10
|DS=DS3
|Download=FS2025-Vorlesung-08-overlay.pdf, FS2025-Vorlesung-08-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Minimale Automaten (2)
|Room=HSZ/0003
|Date=2025-11-13
|DS=DS4
|Download=FS2025-Vorlesung-09-overlay.pdf, FS2025-Vorlesung-09-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Grenzen regulärer Sprachen / Probleme für Automaten
|Room=BAR/SCHÖ
|Date=2025-11-17
|DS=DS3
|Download=FS2025-Vorlesung-10-overlay.pdf, FS2025-Vorlesung-10-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Von regulären zu kontextfreien Sprachen
|Room=HSZ/0003
|Date=2025-11-20
|DS=DS4
|Download=FS2025-Vorlesung-11-overlay.pdf, FS2025-Vorlesung-11-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Das Wortproblem für kontextfreie Sprachen
|Room=BAR/SCHÖ
|Date=2025-11-24
|DS=DS3
|Download=FS2025-Vorlesung-12-overlay.pdf, FS2025-Vorlesung-12-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Das Pumping Lemma kontextfreier Sprachen
|Room=HSZ/0003
|Date=2025-11-27
|DS=DS4
|Download=FS2025-Vorlesung-13-overlay.pdf, FS2025-Vorlesung-13-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Abschlusseigenschaften kontextfreier Sprachen
|Room=BAR/SCHÖ
|Date=2025-12-01
|DS=DS3
|Download=FS2025-Vorlesung-14-overlay.pdf, FS2025-Vorlesung-14-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Einleitung Kellerautomaten
|Room=HSZ/0003
|Date=2025-12-04
|DS=DS4
|Download=FS2025-Vorlesung-15-overlay.pdf, FS2025-Vorlesung-15-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Kellerautomaten und CFGs
|Room=BAR/SCHÖ
|Date=2025-12-08
|DS=DS3
|Download=FS2025-Vorlesung-16-overlay.pdf, FS2025-Vorlesung-16-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Deterministische Sprachen / Entscheidungsprobleme
|Room=HSZ/0003
|Date=2025-12-11
|DS=DS4
|Download=FS2025-Vorlesung-17-overlay.pdf, FS2025-Vorlesung-17-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Turingmaschinen
|Room=BAR/SCHÖ
|Date=2025-12-15
|DS=DS3
|Download=FS2025-Vorlesung-18-overlay.pdf, FS2025-Vorlesung-18-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Konsultation
|Title=Repetitorium (1)
|Room=HSZ/0003
|Date=2025-12-18
|DS=DS4
|Download=FS2025-Repetitorium-01.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Nichtdeterminismus und Turingmächtigkeit
|Room=BAR/SCHÖ
|Date=2026-01-05
|DS=DS3
|Download=FS2025-Vorlesung-19-overlay.pdf, FS2025-Vorlesung-19-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Berechenbarkeit und Unentscheidbarkeit
|Room=HSZ/0003
|Date=2026-01-08
|DS=DS4
|Download=FS2025-Vorlesung-20-overlay.pdf, FS2025-Vorlesung-20-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=WHILE und LOOP
|Room=BAR/SCHÖ
|Date=2026-01-12
|DS=DS3
|Download=FS2025-Vorlesung-21-overlay.pdf, FS2025-Vorlesung-21-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Das Halteproblem und Reduktionen
|Room=HSZ/0003
|Date=2026-01-15
|DS=DS4
|Download=FS2025-Vorlesung-22-overlay.pdf, FS2025-Vorlesung-22-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Der Satz von Rice und das Postsche Korrespondenzproblem
|Room=BAR/SCHÖ
|Date=2026-01-19
|DS=DS3
|Download=FS2025-Vorlesung-23-overlay.pdf, FS2025-Vorlesung-23-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Typ 0 und Typ 1
|Room=HSZ/0003
|Date=2026-01-22
|DS=DS4
|Download=FS2025-Vorlesung-24-overlay.pdf, FS2025-Vorlesung-24-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Unentscheidbare Probleme formaler Sprachen
|Room=BAR/SCHÖ
|Date=2026-01-26
|DS=DS3
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Zusammenfassung und Ausblick
|Room=HSZ/0003
|Date=2026-01-29
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Konsultation
|Title=Repetitorium (2)
|Room=BAR/SCHÖ
|Date=2026-02-02
|DS=DS3
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Konsultation
|Title=Besprechung der Probeklausur
|Room=HSZ/0003
|Date=2026-02-05
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 1
|Room=--
|Date=2025-10-19
|DS=terminlos
|Download=FS2025-Blatt-01.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 2
|Room=--
|Date=2025-10-26
|DS=terminlos
|Download=FS2025-Blatt-02.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 3
|Room=--
|Date=2025-11-02
|DS=terminlos
|Download=FS2025-Blatt-03.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 4
|Room=--
|Date=2025-11-09
|DS=terminlos
|Download=FS2025-Blatt-04.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 5
|Room=--
|Date=2025-11-16
|DS=terminlos
|Download=FS2025-Blatt-05.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 6
|Room=--
|Date=2025-11-23
|DS=terminlos
|Download=FS2025-Blatt-06.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 7
|Room=--
|Date=2025-11-30
|DS=terminlos
|Download=FS2025-Blatt-07.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 8
|Room=--
|Date=2025-12-07
|DS=terminlos
|Download=FS2025-Blatt-08.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 9
|Room=--
|Date=2025-12-14
|DS=terminlos
|Download=FS2025-Blatt-09.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 10
|Room=--
|Date=2026-01-04
|DS=terminlos
|Download=FS2025-Blatt-10.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 11
|Room=--
|Date=2026-01-11
|DS=terminlos
|Download=FS2025-Blatt-11.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 12
|Room=--
|Date=2026-01-18
|DS=terminlos
|Download=FS2025-Blatt-12.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 13
|Room=--
|Date=2026-01-25
|DS=terminlos
|Download=FS2025-Blatt-13.pdf
}}

Datei:FS2025-Vorlesung-24-print.pdf

2026-01-22T11:53:36Z

Markus Krötzsch:

Datei:FS2025-Vorlesung-24-overlay.pdf

2026-01-22T11:53:30Z

Markus Krötzsch:

Knowledge Graphs (WS2025)

2026-01-20T20:03:17Z

Markus Krötzsch:

{{Vorlesung
|Title=Knowledge Graphs
|Research group=Wissensbasierte Systeme
|Lecturers=Markus Krötzsch
|Tutors=Maximilian Marx
|Term=WS
|Year=2025
|Lecture series=Knowledge Graphs
|Matrix=#kg2025:tu-dresden.de
|Module=CMS-COR-KM, INF-25-MA-FTK-KM, INF-B510, INF-B520, INF-BAS2, INF-BAS6, INF-E-3, INF-PM-ANW, INF-PM-FOR, INF-VERT2, INF-VERT6, MCL-KR, MCL-TCSL
|SWSLecture=2
|SWSExercise=2
|SWSPractical=0
|Exam type=Klausur, mündliche Prüfung
|Description====News===
* we offer oral exams in Winter 2025/2026 (see below). Please contact [[Kati Domann]] to schedule your oral exam.

* the first lecture will take place on '''Tuesday, 2025-10-14, DS2 (09:20–10:50)''' in room [[BAR 106]]
* the first exercise will take place on '''Wednesday, 2025-10-22, DS4 (13:00–14:30)''' in room [[N63 A001]]
* please check this page regularly for updates of the schedule
* additional materials (example data, solutions to programming exercises) are available on a [https://github.com/knowsys/Course-Knowledge-Graphs/ GitHub repository]

===Contents===
Knowledge graphs are becoming an important paradigm in industry and research, with applications including prominent examples such as Google's own Knowledge Graph, Wikipedia's knowledge base sister [[Wikidata/en|Wikidata]], and numerous artificial intelligence projects from Alexa to Siri. Meanwhile, companies are exploring the use of their own enterprise knowledge graphs for improving internal knowledge management.

With so many facets, knowledge graphs are a cross-cutting topic in computer science that involves aspects of data management (graph databases, file formats), publication (exchange formats, data integration), knowledge organisation (constraints, ontologies), and advanced analytics (expressive query languages, graph data mining). On each of these levels, there is some interesting theory and some interesting technology to be learned. This course will cover a colourful mix of technologies and methods related to the use of graphs for data analysis, knowledge representation, and data management.

===Registration===

The course generally does not require a special registration and there is no limit for participants. However, you will need to register in Selma for the appropriate module to obtain credits.
Most of the materials will be freely available world-wide. Live sessions (especially tutorials) are restricted to students of TU Dresden.

===Examination Dates and Mode===

The registration and scheduling for exams depend on the module they are for. All students need to contact the [[Wissensbasierte_Systeme/en|KBS secretary]] to arrange time slots for their oral exams, or the secretary of another chair in the case of another main examiner. The preferred date for oral exams is ''2026-02-24''. Although we cannot generally accommodate wishes for specific dates, students with justified time constraints during the examination period can still let us know as early as possible.

To obtain credits in module '''CMS-COR-KM,''' students have to take an exam that only involves this one course. This exam is either written or oral, depending on the number of registered students (as per the study regulations). We can announce the actual mode only at the end of the exam registration period.



===Schedule and Location===
All dates are published on this page (see ''Dates & Materials'' above).
* Lectures: Thursdays, DS2 (09:20 to 10:50) in [[BAR 106]]
* Exercises: Wednesdays, DS4 (13:00 to 14:30) in [[N63 A001]]
* The first exercise sessions will be on '''Wednesday, 2025-10-22'''.
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=1. Introduction and Welcome
|Room=BAR 106
|Date=2025-10-14
|DS=DS2
|Download=KG2025-Lecture-01-overlay.pdf, KG2025-Lecture-01-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=2. Representing Graphs with RDF
|Room=BAR 106
|Date=2025-10-21
|DS=DS2
|Download=KG2025-Lecture-02-overlay.pdf, KG2025-Lecture-02-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=0. Introduction to Python
|Room=N63 A001
|Date=2025-10-22
|DS=DS4
|Download=kg2025-exercise-00.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=3. Modelling in RDF / SPARQL Basics
|Room=BAR 106
|Date=2025-10-28
|DS=DS2
|Download=KG2025-Lecture-03-overlay.pdf, KG2025-Lecture-03-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=1. Getting to Know Graphs
|Room=N63 A001
|Date=2025-10-29
|DS=DS4
|Download=kg2025-exercise-01.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=4. Wikidata
|Room=BAR 106
|Date=2025-11-04
|DS=DS2
|Download=KG2025-Lecture-04-overlay.pdf, KG2025-Lecture-04-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=2. Graphs and RDF
|Room=N63 A001
|Date=2025-11-05
|DS=DS4
|Download=kg2025-exercise-02.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=5. Advanced Features of SPARQL
|Room=BAR 106
|Date=2025-11-11
|DS=DS2
|Download=KG2025-Lecture-05-overlay.pdf, KG2025-Lecture-05-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=3. SPARQL and Wikidata
|Room=N63 A001
|Date=2025-11-12
|DS=DS4
|Download=kg2025-exercise-03.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=6. SPARQL Semantics
|Room=BAR 106
|Date=2025-11-18
|DS=DS2
|Download=KG2025-Lecture-06-overlay.pdf, KG2025-Lecture-06-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Entfällt
|Title=Repentance and Prayer Day (public holiday)
|Room=N63 A001
|Date=2025-11-19
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=7. Datalog for Knowledge Graphs
|Room=BAR 106
|Date=2025-11-25
|DS=DS2
|Download=KG2025-Lecture-07-overlay.pdf, KG2025-Lecture-07-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=4. More SPARQL and Wikidata
|Room=N63 A001
|Date=2025-11-26
|DS=DS4
|Download=kg2025-exercise-04.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=8. Advanced Datalog
|Room=BAR 106
|Date=2025-12-02
|DS=DS2
|Download=KG2025-Lecture-08-overlay.pdf, KG2025-Lecture-08-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=5. Datalog in Theory & Practice
|Room=N63 A001
|Date=2025-12-03
|DS=DS4
|Download=kg2025-exercise-05.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=9. Complexity of SPARQL and Datalog (1)
|Room=BAR 106
|Date=2025-12-09
|DS=DS2
|Download=KG2025-Lecture-09-overlay.pdf, KG2025-Lecture-09-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=6. Advanced Datalog
|Room=N63 A001
|Date=2025-12-10
|DS=DS4
|Download=kg2025-exercise-06.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=10. Complexity of SPARQL and Datalog (2)
|Room=BAR 106
|Date=2025-12-16
|DS=DS2
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=7. SPARQL Semantics & Wikidata
|Room=N63 A001
|Date=2025-12-17
|DS=DS4
|Download=kg2025-exercise-07.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=11. Ontologies for Knowledge Graphs
|Room=BAR 106
|Date=2026-01-06
|DS=DS2
|Download=KG2025-Lecture-10-overlay.pdf, KG2025-Lecture-10-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=8. Advanced SPARQL
|Room=N63 A001
|Date=2026-01-07
|DS=DS4
|Download=kg2025-exercise-08.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=12. Ontology-Based Query Answering
|Room=BAR 106
|Date=2026-01-13
|DS=DS2
|Download=KG2025-Lecture-11-overlay.pdf, KG2025-Lecture-11-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=9. SPARQL and OWL
|Room=N63 A001
|Date=2026-01-14
|DS=DS4
|Download=kg2025-exercise-09.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=13. Knowledge Graph Quality
|Room=BAR 106
|Date=2026-01-20
|DS=DS2
|Download=KG2025-Lecture-12-overlay.pdf, KG2025-Lecture-12-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=10. Datalog and OWL
|Room=N63 A001
|Date=2026-01-21
|DS=DS4
|Download=kg2025-exercise-10.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=14. TBA
|Room=BAR 106
|Date=2026-01-27
|DS=DS2
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=11. TBA
|Room=N63 A001
|Date=2026-01-28
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Konsultation
|Title=Consultation
|Room=BAR 106
|Date=2026-02-03
|DS=DS2
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=12. TBA
|Room=N63 A001
|Date=2026-02-04
|DS=DS4
}}

Datei:KG2025-Lecture-12-print.pdf

2026-01-20T20:02:41Z

Markus Krötzsch:

Datei:KG2025-Lecture-12-overlay.pdf

2026-01-20T20:02:31Z

Markus Krötzsch:

Datei:KG2025-Lecture-11-print.pdf

2026-01-20T20:01:54Z

Markus Krötzsch:

Datei:KG2025-Lecture-11-overlay.pdf

2026-01-20T20:01:44Z

Markus Krötzsch:

Formale Systeme (WS2025)

2026-01-19T10:09:36Z

Markus Krötzsch:

{{Vorlesung
|Title=Formale Systeme
|Research group=Wissensbasierte Systeme
|Lecturers=Markus Krötzsch
|Tutors=Stephan Mennicke; Stefan Borgwardt; Anton Claußnitzer; Florens Förster; Lukas Gerlach; Anna Hornschild; Cornelius Lübke; Maximilian Marx
|Term=WS
|Year=2025
|Lecture series=Formale Systeme
|Matrix=#fosys:tu-dresden.de
|Module=INF-25-BA-AUB, INF-B-270, INF-B-275, INF-LE-EUI
|SWSLecture=4
|SWSExercise=2
|SWSPractical=0
|Exam type=Klausur
|Description=Die Lehrveranstaltung ''Formale Systeme'' vermittelt eine Einleitung in die Gebiete der formalen Sprachen, Automatentheorie und Berechenbarkeit. Dies beinhaltet einige der wichtigsten Grundlagen der Informatik, wie z.B. reguläre Ausdrücke, formale Grammatiken sowie grundlegende Begriffe der Berechenbarkeits- und Komplexitätstheorie. Damit bildet die Vorlesung die Grundlage für viele vertiefende Vorlesungen.

== Vorlesungen ==

Die Vorlesungstermine sind
* montags 3.DS (11:10–12:40) in [[BAR/SCHÖ]] sowie
* donnerstags 4.DS (13:00–14:30) in [[HSZ/0003]].

Die erste Vorlesung findet am Montag, dem 13. Oktober 2025 statt.

== Übungen ==

Der Übungsbetrieb startet '''am 20. Oktober 2025''' zu Ihren jeweiligen Terminen in den angegebenen Räumen statt. Die Übungsblätter können in der Spalte der jeweiligen Übung unter ''Termine und Unterlagen'' heruntergeladen werden. Eine vorherige Einschreibung in die angebotenen Übungstermine ist verpflichtend bevor Sie an der Übungsgruppe teilnehmen. Welche Übungstermine wir anbieten, geben wir rechtzeitig bekannt. Die Einschreibung wird am '''Montag, den 13.10.2025 um 15:00 Uhr''' freigeschalten:

Die Einschreibungen in die Übungsgruppen erfolgt über '''[https://tud.link/sdutby die OPAL-Seite der Lehrveranstaltung]'''.

== Unterlagen ==

Die vollständigen Foliensätze zur Vorlesung erscheinen bis zur Woche der Vorlesung online (siehe ''Termine und Unterlagen''). Weiterführende Literatur ist unter ''Literatur'' angegeben. Die Quellen der Vorlesungsfolien sind auf github verfügbar: https://github.com/knowsys/FormaleSysteme

Alle Foliensätze der Vorlesungen können entsprechend den Lizensbedingungen von [https://creativecommons.org/licenses/by/3.0/de/ Creative Commons CC By 3.0 Deutschland] genutzt, weitergegeben und modifiziert werden. Als Namensnennung ist folgende Angabe einzufügen:

(C) Markus Krötzsch, https://iccl.inf.tu-dresden.de/web/FS2025, CC BY 3.0 DE

Bildrechte können davon abweichen und sind gesondert angegeben. Die Foliensätze enthalten keinerlei Texte, die aus Werken entnommen sind, für welche die VG Wort Verwertungsrechte vertritt.

Besonderen Dank gilt allen [https://github.com/knowsys/FormaleSysteme/graphs/contributors Contributors], die Anmerkungen und Verbesserungen beigetragen haben: [[Daniel Borchmann]], [[Maximilian Marx]], [https://github.com/chlewe Christian Lewe], [https://github.com/tidenhub David Tiede], [https://github.com/jhaye Johannes (jhaye)], [https://github.com/DerKolibri Andrej Bereza], [https://github.com/CniKKoR CniKKoR], [https://github.com/marcusrossel Marcus Rossel], [https://github.com/MaxHaertwig Max Haertwig], [https://github.com/eknoes Sönke (eknoes)], [https://github.com/bennofs Benno Fünfstück], [https://github.com/voidless Julius Schmitt]. (Stand März 2021; Ergänzungen sind willkommen.)

== Kontakt ==

Zur Kommunikation unter Vorlesungsteilnehmern der TU Dresden steht ein [https://matrix.tu-dresden.de/#/room/#fosys:tu-dresden.de Matrix-Kanal] zur Verfügung.

Kommentare und Bug Reports können gern auch direkt über die entsprechenden Seiten auf github gepostet werden: https://github.com/mkroetzsch/FormaleSysteme
Alternativ können Hinweise zu Tippfehlern in den Vorlesungsfolien auch an die Mailingliste geschickt werden.

Persönliche Fragen können direkt an das Organisationsteam (siehe Links oben) gestellt werden, falls sie aus einem zwingenden Grund nicht über andere Kanäle gerichtet werden können. Allgemeine Fragen sollten Sie aber immer in geteilten Kanälen stellen, damit auch Ihre Kommilitoninnen und Kommilitonen davon profitieren (oder vielleicht sogar direkt helfen können).
|Literature=Allgemein sind die Vorlesungsfolien und Übungsunterlagen ausreichend detailliert für das Studium. Weitere Lehrmaterialien können dennoch hilfreich sein, um Details nachzuschlagen oder sich weiter im Thema zu vertiefen.

== Formale Sprachen, Komplexität und Entscheidbarkeit ==

=== Lehrbücher ===

* Uwe Schöning: '''Theoretische Informatik -- kurz gefasst.''' Spektrum Akademischer Verlag.
: ''(deutschsprachiger Standardtext; in der Tat ziemlich kurz gefasst)''
* John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman: '''Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit.''' Pearson Studium.
: ''(aus dem Englischen übertragenes Standardwerk; Original ev. besser)''
* Michael Sipser: '''Introduction to the Theory of Computation.''' Cengage Learning.
: ''(Standardtext zu Sprachen und Berechnungskomplexität; leider nur auf Englisch)''

=== Online verfügbare Skripte ===

* [[Franz Baader]]: '''[https://lat.inf.tu-dresden.de/teaching/ws2013-2014/FS/script_2016-02.pdf Skript Formale Systeme, Teil 1 – Automaten und formale Sprachen].''' TU Dresden.

Die Vorlesungen haben kleine Abweichungen von diesem Text, stimmen aber in vielen wichtigen Punkten überein.

Andere Scripte scheinen zurzeit nicht (mehr) online verfügbar zu sein. Hinweise zu weiteren Links auf sinnvolle Materialien sind willkommen.
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Einleitung formale Sprachen
|Room=BAR/SCHÖ
|Date=2025-10-13
|DS=DS3
|Download=FS2025-Vorlesung-01-overlay.pdf, FS2025-Vorlesung-01-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Grammatiken und die Chomsky-Hierarchie
|Room=HSZ/0003
|Date=2025-10-16
|DS=DS4
|Download=FS2025-Vorlesung-02-overlay.pdf, FS2025-Vorlesung-02-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Endliche Automaten
|Room=BAR/SCHÖ
|Date=2025-10-20
|DS=DS3
|Download=FS2025-Vorlesung-03-overlay.pdf, FS2025-Vorlesung-03-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Nichtdeterministische Automaten
|Room=HSZ/0003
|Date=2025-10-23
|DS=DS4
|Download=FS2025-Vorlesung-04-overlay.pdf, FS2025-Vorlesung-04-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Abschlusseigenschaften regulärer Sprachen
|Room=BAR/SCHÖ
|Date=2025-10-27
|DS=DS3
|Download=FS2025-Vorlesung-05-overlay.pdf, FS2025-Vorlesung-05-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Reguläre Ausdrücke (1)
|Room=HSZ/0003
|Date=2025-10-30
|DS=DS4
|Download=FS2025-Vorlesung-06-overlay.pdf, FS2025-Vorlesung-06-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Reguläre Ausdrücke (2)
|Room=BAR/SCHÖ
|Date=2025-11-03
|DS=DS3
|Download=FS2025-Vorlesung-07-overlay.pdf, FS2025-Vorlesung-07-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Entfällt
|Title=Interne Veranstaltung
|Room=HSZ/0003
|Date=2025-11-06
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Minimale Automaten (1)
|Room=BAR/SCHÖ
|Date=2025-11-10
|DS=DS3
|Download=FS2025-Vorlesung-08-overlay.pdf, FS2025-Vorlesung-08-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Minimale Automaten (2)
|Room=HSZ/0003
|Date=2025-11-13
|DS=DS4
|Download=FS2025-Vorlesung-09-overlay.pdf, FS2025-Vorlesung-09-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Grenzen regulärer Sprachen / Probleme für Automaten
|Room=BAR/SCHÖ
|Date=2025-11-17
|DS=DS3
|Download=FS2025-Vorlesung-10-overlay.pdf, FS2025-Vorlesung-10-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Von regulären zu kontextfreien Sprachen
|Room=HSZ/0003
|Date=2025-11-20
|DS=DS4
|Download=FS2025-Vorlesung-11-overlay.pdf, FS2025-Vorlesung-11-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Das Wortproblem für kontextfreie Sprachen
|Room=BAR/SCHÖ
|Date=2025-11-24
|DS=DS3
|Download=FS2025-Vorlesung-12-overlay.pdf, FS2025-Vorlesung-12-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Das Pumping Lemma kontextfreier Sprachen
|Room=HSZ/0003
|Date=2025-11-27
|DS=DS4
|Download=FS2025-Vorlesung-13-overlay.pdf, FS2025-Vorlesung-13-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Abschlusseigenschaften kontextfreier Sprachen
|Room=BAR/SCHÖ
|Date=2025-12-01
|DS=DS3
|Download=FS2025-Vorlesung-14-overlay.pdf, FS2025-Vorlesung-14-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Einleitung Kellerautomaten
|Room=HSZ/0003
|Date=2025-12-04
|DS=DS4
|Download=FS2025-Vorlesung-15-overlay.pdf, FS2025-Vorlesung-15-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Kellerautomaten und CFGs
|Room=BAR/SCHÖ
|Date=2025-12-08
|DS=DS3
|Download=FS2025-Vorlesung-16-overlay.pdf, FS2025-Vorlesung-16-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Deterministische Sprachen / Entscheidungsprobleme
|Room=HSZ/0003
|Date=2025-12-11
|DS=DS4
|Download=FS2025-Vorlesung-17-overlay.pdf, FS2025-Vorlesung-17-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Turingmaschinen
|Room=BAR/SCHÖ
|Date=2025-12-15
|DS=DS3
|Download=FS2025-Vorlesung-18-overlay.pdf, FS2025-Vorlesung-18-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Konsultation
|Title=Repetitorium (1)
|Room=HSZ/0003
|Date=2025-12-18
|DS=DS4
|Download=FS2025-Repetitorium-01.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Nichtdeterminismus und Turingmächtigkeit
|Room=BAR/SCHÖ
|Date=2026-01-05
|DS=DS3
|Download=FS2025-Vorlesung-19-overlay.pdf, FS2025-Vorlesung-19-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Berechenbarkeit und Unentscheidbarkeit
|Room=HSZ/0003
|Date=2026-01-08
|DS=DS4
|Download=FS2025-Vorlesung-20-overlay.pdf, FS2025-Vorlesung-20-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=WHILE und LOOP
|Room=BAR/SCHÖ
|Date=2026-01-12
|DS=DS3
|Download=FS2025-Vorlesung-21-overlay.pdf, FS2025-Vorlesung-21-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Das Halteproblem und Reduktionen
|Room=HSZ/0003
|Date=2026-01-15
|DS=DS4
|Download=FS2025-Vorlesung-22-overlay.pdf, FS2025-Vorlesung-22-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Der Satz von Rice und das Postsche Korrespondenzproblem
|Room=BAR/SCHÖ
|Date=2026-01-19
|DS=DS3
|Download=FS2025-Vorlesung-23-overlay.pdf, FS2025-Vorlesung-23-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Typ 0 und Typ 1
|Room=HSZ/0003
|Date=2026-01-22
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Unentscheidbare Probleme formaler Sprachen
|Room=BAR/SCHÖ
|Date=2026-01-26
|DS=DS3
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Zusammenfassung und Ausblick
|Room=HSZ/0003
|Date=2026-01-29
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Konsultation
|Title=Repetitorium (2)
|Room=BAR/SCHÖ
|Date=2026-02-02
|DS=DS3
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Konsultation
|Title=Besprechung der Probeklausur
|Room=HSZ/0003
|Date=2026-02-05
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 1
|Room=--
|Date=2025-10-19
|DS=terminlos
|Download=FS2025-Blatt-01.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 2
|Room=--
|Date=2025-10-26
|DS=terminlos
|Download=FS2025-Blatt-02.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 3
|Room=--
|Date=2025-11-02
|DS=terminlos
|Download=FS2025-Blatt-03.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 4
|Room=--
|Date=2025-11-09
|DS=terminlos
|Download=FS2025-Blatt-04.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 5
|Room=--
|Date=2025-11-16
|DS=terminlos
|Download=FS2025-Blatt-05.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 6
|Room=--
|Date=2025-11-23
|DS=terminlos
|Download=FS2025-Blatt-06.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 7
|Room=--
|Date=2025-11-30
|DS=terminlos
|Download=FS2025-Blatt-07.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 8
|Room=--
|Date=2025-12-07
|DS=terminlos
|Download=FS2025-Blatt-08.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 9
|Room=--
|Date=2025-12-14
|DS=terminlos
|Download=FS2025-Blatt-09.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 10
|Room=--
|Date=2026-01-04
|DS=terminlos
|Download=FS2025-Blatt-10.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 11
|Room=--
|Date=2026-01-11
|DS=terminlos
|Download=FS2025-Blatt-11.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 12
|Room=--
|Date=2026-01-18
|DS=terminlos
|Download=FS2025-Blatt-12.pdf
}}

Datei:FS2025-Vorlesung-23-print.pdf

2026-01-19T10:09:32Z

Markus Krötzsch:

Datei:FS2025-Vorlesung-23-overlay.pdf

2026-01-19T10:09:25Z

Markus Krötzsch:

Datei:FS2025-Vorlesung-21-print.pdf

2026-01-15T08:52:42Z

Markus Krötzsch: Markus Krötzsch lud eine neue Version von Datei:FS2025-Vorlesung-21-print.pdf hoch

Formale Systeme (WS2025)

2026-01-15T08:51:22Z

Markus Krötzsch:

{{Vorlesung
|Title=Formale Systeme
|Research group=Wissensbasierte Systeme
|Lecturers=Markus Krötzsch
|Tutors=Stephan Mennicke; Stefan Borgwardt; Anton Claußnitzer; Florens Förster; Lukas Gerlach; Anna Hornschild; Cornelius Lübke; Maximilian Marx
|Term=WS
|Year=2025
|Lecture series=Formale Systeme
|Matrix=#fosys:tu-dresden.de
|Module=INF-25-BA-AUB, INF-B-270, INF-B-275, INF-LE-EUI
|SWSLecture=4
|SWSExercise=2
|SWSPractical=0
|Exam type=Klausur
|Description=Die Lehrveranstaltung ''Formale Systeme'' vermittelt eine Einleitung in die Gebiete der formalen Sprachen, Automatentheorie und Berechenbarkeit. Dies beinhaltet einige der wichtigsten Grundlagen der Informatik, wie z.B. reguläre Ausdrücke, formale Grammatiken sowie grundlegende Begriffe der Berechenbarkeits- und Komplexitätstheorie. Damit bildet die Vorlesung die Grundlage für viele vertiefende Vorlesungen.

== Vorlesungen ==

Die Vorlesungstermine sind
* montags 3.DS (11:10–12:40) in [[BAR/SCHÖ]] sowie
* donnerstags 4.DS (13:00–14:30) in [[HSZ/0003]].

Die erste Vorlesung findet am Montag, dem 13. Oktober 2025 statt.

== Übungen ==

Der Übungsbetrieb startet '''am 20. Oktober 2025''' zu Ihren jeweiligen Terminen in den angegebenen Räumen statt. Die Übungsblätter können in der Spalte der jeweiligen Übung unter ''Termine und Unterlagen'' heruntergeladen werden. Eine vorherige Einschreibung in die angebotenen Übungstermine ist verpflichtend bevor Sie an der Übungsgruppe teilnehmen. Welche Übungstermine wir anbieten, geben wir rechtzeitig bekannt. Die Einschreibung wird am '''Montag, den 13.10.2025 um 15:00 Uhr''' freigeschalten:

Die Einschreibungen in die Übungsgruppen erfolgt über '''[https://tud.link/sdutby die OPAL-Seite der Lehrveranstaltung]'''.

== Unterlagen ==

Die vollständigen Foliensätze zur Vorlesung erscheinen bis zur Woche der Vorlesung online (siehe ''Termine und Unterlagen''). Weiterführende Literatur ist unter ''Literatur'' angegeben. Die Quellen der Vorlesungsfolien sind auf github verfügbar: https://github.com/knowsys/FormaleSysteme

Alle Foliensätze der Vorlesungen können entsprechend den Lizensbedingungen von [https://creativecommons.org/licenses/by/3.0/de/ Creative Commons CC By 3.0 Deutschland] genutzt, weitergegeben und modifiziert werden. Als Namensnennung ist folgende Angabe einzufügen:

(C) Markus Krötzsch, https://iccl.inf.tu-dresden.de/web/FS2025, CC BY 3.0 DE

Bildrechte können davon abweichen und sind gesondert angegeben. Die Foliensätze enthalten keinerlei Texte, die aus Werken entnommen sind, für welche die VG Wort Verwertungsrechte vertritt.

Besonderen Dank gilt allen [https://github.com/knowsys/FormaleSysteme/graphs/contributors Contributors], die Anmerkungen und Verbesserungen beigetragen haben: [[Daniel Borchmann]], [[Maximilian Marx]], [https://github.com/chlewe Christian Lewe], [https://github.com/tidenhub David Tiede], [https://github.com/jhaye Johannes (jhaye)], [https://github.com/DerKolibri Andrej Bereza], [https://github.com/CniKKoR CniKKoR], [https://github.com/marcusrossel Marcus Rossel], [https://github.com/MaxHaertwig Max Haertwig], [https://github.com/eknoes Sönke (eknoes)], [https://github.com/bennofs Benno Fünfstück], [https://github.com/voidless Julius Schmitt]. (Stand März 2021; Ergänzungen sind willkommen.)

== Kontakt ==

Zur Kommunikation unter Vorlesungsteilnehmern der TU Dresden steht ein [https://matrix.tu-dresden.de/#/room/#fosys:tu-dresden.de Matrix-Kanal] zur Verfügung.

Kommentare und Bug Reports können gern auch direkt über die entsprechenden Seiten auf github gepostet werden: https://github.com/mkroetzsch/FormaleSysteme
Alternativ können Hinweise zu Tippfehlern in den Vorlesungsfolien auch an die Mailingliste geschickt werden.

Persönliche Fragen können direkt an das Organisationsteam (siehe Links oben) gestellt werden, falls sie aus einem zwingenden Grund nicht über andere Kanäle gerichtet werden können. Allgemeine Fragen sollten Sie aber immer in geteilten Kanälen stellen, damit auch Ihre Kommilitoninnen und Kommilitonen davon profitieren (oder vielleicht sogar direkt helfen können).
|Literature=Allgemein sind die Vorlesungsfolien und Übungsunterlagen ausreichend detailliert für das Studium. Weitere Lehrmaterialien können dennoch hilfreich sein, um Details nachzuschlagen oder sich weiter im Thema zu vertiefen.

== Formale Sprachen, Komplexität und Entscheidbarkeit ==

=== Lehrbücher ===

* Uwe Schöning: '''Theoretische Informatik -- kurz gefasst.''' Spektrum Akademischer Verlag.
: ''(deutschsprachiger Standardtext; in der Tat ziemlich kurz gefasst)''
* John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman: '''Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit.''' Pearson Studium.
: ''(aus dem Englischen übertragenes Standardwerk; Original ev. besser)''
* Michael Sipser: '''Introduction to the Theory of Computation.''' Cengage Learning.
: ''(Standardtext zu Sprachen und Berechnungskomplexität; leider nur auf Englisch)''

=== Online verfügbare Skripte ===

* [[Franz Baader]]: '''[https://lat.inf.tu-dresden.de/teaching/ws2013-2014/FS/script_2016-02.pdf Skript Formale Systeme, Teil 1 – Automaten und formale Sprachen].''' TU Dresden.

Die Vorlesungen haben kleine Abweichungen von diesem Text, stimmen aber in vielen wichtigen Punkten überein.

Andere Scripte scheinen zurzeit nicht (mehr) online verfügbar zu sein. Hinweise zu weiteren Links auf sinnvolle Materialien sind willkommen.
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Einleitung formale Sprachen
|Room=BAR/SCHÖ
|Date=2025-10-13
|DS=DS3
|Download=FS2025-Vorlesung-01-overlay.pdf, FS2025-Vorlesung-01-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Grammatiken und die Chomsky-Hierarchie
|Room=HSZ/0003
|Date=2025-10-16
|DS=DS4
|Download=FS2025-Vorlesung-02-overlay.pdf, FS2025-Vorlesung-02-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Endliche Automaten
|Room=BAR/SCHÖ
|Date=2025-10-20
|DS=DS3
|Download=FS2025-Vorlesung-03-overlay.pdf, FS2025-Vorlesung-03-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Nichtdeterministische Automaten
|Room=HSZ/0003
|Date=2025-10-23
|DS=DS4
|Download=FS2025-Vorlesung-04-overlay.pdf, FS2025-Vorlesung-04-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Abschlusseigenschaften regulärer Sprachen
|Room=BAR/SCHÖ
|Date=2025-10-27
|DS=DS3
|Download=FS2025-Vorlesung-05-overlay.pdf, FS2025-Vorlesung-05-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Reguläre Ausdrücke (1)
|Room=HSZ/0003
|Date=2025-10-30
|DS=DS4
|Download=FS2025-Vorlesung-06-overlay.pdf, FS2025-Vorlesung-06-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Reguläre Ausdrücke (2)
|Room=BAR/SCHÖ
|Date=2025-11-03
|DS=DS3
|Download=FS2025-Vorlesung-07-overlay.pdf, FS2025-Vorlesung-07-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Entfällt
|Title=Interne Veranstaltung
|Room=HSZ/0003
|Date=2025-11-06
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Minimale Automaten (1)
|Room=BAR/SCHÖ
|Date=2025-11-10
|DS=DS3
|Download=FS2025-Vorlesung-08-overlay.pdf, FS2025-Vorlesung-08-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Minimale Automaten (2)
|Room=HSZ/0003
|Date=2025-11-13
|DS=DS4
|Download=FS2025-Vorlesung-09-overlay.pdf, FS2025-Vorlesung-09-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Grenzen regulärer Sprachen / Probleme für Automaten
|Room=BAR/SCHÖ
|Date=2025-11-17
|DS=DS3
|Download=FS2025-Vorlesung-10-overlay.pdf, FS2025-Vorlesung-10-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Von regulären zu kontextfreien Sprachen
|Room=HSZ/0003
|Date=2025-11-20
|DS=DS4
|Download=FS2025-Vorlesung-11-overlay.pdf, FS2025-Vorlesung-11-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Das Wortproblem für kontextfreie Sprachen
|Room=BAR/SCHÖ
|Date=2025-11-24
|DS=DS3
|Download=FS2025-Vorlesung-12-overlay.pdf, FS2025-Vorlesung-12-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Das Pumping Lemma kontextfreier Sprachen
|Room=HSZ/0003
|Date=2025-11-27
|DS=DS4
|Download=FS2025-Vorlesung-13-overlay.pdf, FS2025-Vorlesung-13-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Abschlusseigenschaften kontextfreier Sprachen
|Room=BAR/SCHÖ
|Date=2025-12-01
|DS=DS3
|Download=FS2025-Vorlesung-14-overlay.pdf, FS2025-Vorlesung-14-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Einleitung Kellerautomaten
|Room=HSZ/0003
|Date=2025-12-04
|DS=DS4
|Download=FS2025-Vorlesung-15-overlay.pdf, FS2025-Vorlesung-15-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Kellerautomaten und CFGs
|Room=BAR/SCHÖ
|Date=2025-12-08
|DS=DS3
|Download=FS2025-Vorlesung-16-overlay.pdf, FS2025-Vorlesung-16-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Deterministische Sprachen / Entscheidungsprobleme
|Room=HSZ/0003
|Date=2025-12-11
|DS=DS4
|Download=FS2025-Vorlesung-17-overlay.pdf, FS2025-Vorlesung-17-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Turingmaschinen
|Room=BAR/SCHÖ
|Date=2025-12-15
|DS=DS3
|Download=FS2025-Vorlesung-18-overlay.pdf, FS2025-Vorlesung-18-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Konsultation
|Title=Repetitorium (1)
|Room=HSZ/0003
|Date=2025-12-18
|DS=DS4
|Download=FS2025-Repetitorium-01.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Nichtdeterminismus und Turingmächtigkeit
|Room=BAR/SCHÖ
|Date=2026-01-05
|DS=DS3
|Download=FS2025-Vorlesung-19-overlay.pdf, FS2025-Vorlesung-19-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Berechenbarkeit und Unentscheidbarkeit
|Room=HSZ/0003
|Date=2026-01-08
|DS=DS4
|Download=FS2025-Vorlesung-20-overlay.pdf, FS2025-Vorlesung-20-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=WHILE und LOOP
|Room=BAR/SCHÖ
|Date=2026-01-12
|DS=DS3
|Download=FS2025-Vorlesung-21-overlay.pdf, FS2025-Vorlesung-21-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Das Halteproblem und Reduktionen
|Room=HSZ/0003
|Date=2026-01-15
|DS=DS4
|Download=FS2025-Vorlesung-22-overlay.pdf, FS2025-Vorlesung-22-print.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Der Satz von Rice und das Postsche Korrespondenzproblem
|Room=BAR/SCHÖ
|Date=2026-01-19
|DS=DS3
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Typ 0 und Typ 1
|Room=HSZ/0003
|Date=2026-01-22
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Unentscheidbare Probleme formaler Sprachen
|Room=BAR/SCHÖ
|Date=2026-01-26
|DS=DS3
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Zusammenfassung und Ausblick
|Room=HSZ/0003
|Date=2026-01-29
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Konsultation
|Title=Repetitorium (2)
|Room=BAR/SCHÖ
|Date=2026-02-02
|DS=DS3
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Konsultation
|Title=Besprechung der Probeklausur
|Room=HSZ/0003
|Date=2026-02-05
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 1
|Room=--
|Date=2025-10-19
|DS=terminlos
|Download=FS2025-Blatt-01.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 2
|Room=--
|Date=2025-10-26
|DS=terminlos
|Download=FS2025-Blatt-02.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 3
|Room=--
|Date=2025-11-02
|DS=terminlos
|Download=FS2025-Blatt-03.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 4
|Room=--
|Date=2025-11-09
|DS=terminlos
|Download=FS2025-Blatt-04.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 5
|Room=--
|Date=2025-11-16
|DS=terminlos
|Download=FS2025-Blatt-05.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 6
|Room=--
|Date=2025-11-23
|DS=terminlos
|Download=FS2025-Blatt-06.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 7
|Room=--
|Date=2025-11-30
|DS=terminlos
|Download=FS2025-Blatt-07.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 8
|Room=--
|Date=2025-12-07
|DS=terminlos
|Download=FS2025-Blatt-08.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 9
|Room=--
|Date=2025-12-14
|DS=terminlos
|Download=FS2025-Blatt-09.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 10
|Room=--
|Date=2026-01-04
|DS=terminlos
|Download=FS2025-Blatt-10.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 11
|Room=--
|Date=2026-01-11
|DS=terminlos
|Download=FS2025-Blatt-11.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Übungsblatt 12
|Room=--
|Date=2026-01-18
|DS=terminlos
|Download=FS2025-Blatt-12.pdf
}}

Datei:FS2025-Vorlesung-21-overlay.pdf

2026-01-15T08:47:14Z

Markus Krötzsch: Markus Krötzsch lud eine neue Version von Datei:FS2025-Vorlesung-21-overlay.pdf hoch

Datei:FS2025-Vorlesung-22-print.pdf

2026-01-15T08:47:03Z

Markus Krötzsch: