|
Logik in der Informatik
Prof. Dr. Nicole Schweikardt |
|
Aktuelles Einführung Ort und Zeit Vorträge Materialien Spielregeln
Anhand von Originalarbeiten und ergänzender Literatur werden im Seminar aktuelle Themen im Bereich Logik und Datenbanktheorie erarbeitet.
Ziele sind das Kennenlernen neuer Forschungsergebnisse, das Verstehen wissenschaftlicher Originaltexte, die Fähigkeit zur Einordnung der Inhalte und Beweistechniken, sowie deren Wiedergabe in eigener Darstellung in einem begrenzten Zeitrahmen.
Das Seminar richtet sich an fortgeschrittene Studierende in einem Master- oder Diplomstudiengang, die sich im Bereich Logik und Datenbanktheorie spezialisieren wollen.
Die Teilnahme am Seminar setzt Kenntnisse, die in den Vorlesungen "Logik in der Informatik" und "Einführung in die Datenbanktheorie" vermittelt werden, voraus.
| Datum | Vortragende/r | Thema |
| 26.04.17 | A. Frochaux | Vorbesprechung, Themenvergabe und Festlegung weiterer Termine |
| 03.05.17 | Joanna Ochremiak (Université Paris Diderot) |
Proof complexity of constraint satisfaction problems (abstract)
Many natural computational problems, such as satisfiability and systems of equations, can be expressed in a unified way as constraint satisfaction problems (CSPs). In this talk I will show that the usual reductions preserving the complexity of the constraint satisfaction problem preserve also its proof complexity. As an application, I will present two gap theorems, which say that CSPs that admit small size refutations in some classical proof systems are exactly the constraint satisfaction problems which can be solved by local consistency methods. This is joint work with Albert Atserias. |
| 10.05.17 | Benjamin Hauskeller | Ausdrucksstärke monadischer Logiken auf Gittern und Bäumen
|
| 17.05.17 | tba | |
| 24.05.17 | tba | |
| 31.05.17 | (entfällt) | |
| 07.06.17 | Tobias Löffler | Can Datalog be Approximated? |
| 14.06.17 | (entfällt) | |
| 21.06.17 | Jonas Marasus | Datalog vs. LFP |
| 28.06.17 | Andrea Schminck | Datalog +/- |
| 05.07.17 | Fabian Gerhardt | On acyclic conjunctive queries and constant delay enumeration |
| 12.07.17 | Sarah Kleest-Meißner | Joins via Geometric Resolutions |
| 19.07.17 | tba |