Themen
Die in dieser Liste angegebenen Themen sind lediglich "Arbeitstitel". Den Teilnehmern steht es frei, den endgültigen Titel der Ausarbeitung/Präsentation zu ändern.
Thema: | Vortragender: | Folien: |
---|---|---|
Einführung in das Seminar | Jens Otten, Thomas Raths | |
Induktion | ||
- Einführung in Induktion | Marc Hunger | |
- Theoretische Grenzen und spezielle Suchprobleme | David Böhme | |
- Rippling | Hendrik Radke | |
Gleichheit | ||
- Einführung in Schließen über Gleichheit | Saskia Sandow | |
- Simultane starre E-Unifikation | Kirstin Peters | |
- Gleichheit in nicht-klassischen Logiken | Nuria Brede | |
Default Logik | ||
- Einführung in Default Logik | Andreas Erber | |
"Lean" Theorembeweisen | ||
- "Lean" Tableau Kalküle, leanTAP | Hai Anh Pham | |
- "Lean" Konnektions Kalküle, leanCoP | Gunthard Benecke | |
Konnektions-Kalküle | ||
- Klausel-Tableaus | Stefan Geiß | |
- Einführung in Konnektions-Tableaus | Martin Hilscher | |
- Verfeinerungen bei Konnektions-Tableaus | Andreas Glaser | |
- Verkürzen von Konnektions-Tableau Beweisen | Christoph Stöpel | |
- Implementierung von Konnektions-Tableaus | Sven Kauer | |
- Implementierung von Verfeinerungen | Thomas Rabenalt |
Ausarbeitung
Die Teilnehmer bearbeiten selbständig das von Ihnen gewählte Teilgebiet. Dabei ist das Arbeiten in Gruppen möglich.
Jeder Teilnehmer fertigt eine Ausarbeitung von maximal 10 Seiten (plus Titelblatt, Gliederung und Literaturliste) an. Diese Ausarbeitung muss bis spätestens zwei Wochen vor dem Blockseminar abgegeben werden. Jeder Teilnehmer/Gruppe muss (zur Vorstellung seiner/ihrer Gliederung) bis Ende Juni mindestens einmal in der Sprechstunde des Betreuers gewesen sein.
Die Ausarbeitungen der Teilnehmer werden etwa eine Woche vor dem Blockseminar zum Download bereitgestellt.
Vortrag
Die Vorträge finden im Rahmen eines Blockseminars am 22. und 23. September statt.
Jeder Teilnehmer hält einen Vortrag über das von ihm gewählte Teilgebiet. Der Zeitrahmen pro Teilnehmer beträgt 25 Minuten. Die Folien für den Vortrag sollten mindestens einmal vorher mit dem Betreuer durchgesprochen werden.