Direkt zum Inhalt | Direkt zur Navigation

Sektionen
Benutzerspezifische Werkzeuge

Theorie-Kolloquium

  • Oberseminar, Prof. Dr. Kreitz, Dr. rer. nat. Richter, Richter, Brede, Böhne, Di. 14:00-16:00, 3.04.2.01

In unserem Kolloquium diskutieren wir aktuelle Forschungsprojekte und -ergebnisse unserer Arbeitsgruppe und für unsere Arbeit relevante Ergebnisse aus den Bereichen Formale Methoden in der Programmierung sowie automatisches und taktikbasiertes Theorembeweisen.

Effizientes und konfigurierbares Parsing von Lambda-Termen mit Unterstützung benannter Terme

02.02.2016, Mario Frank
LambdaBehandelt wird die Transformation einer Standard-Grammatik für untypisierte Lambda-Terme in eine Grammatik, die neben konfigurierbaren Anteilen auf Effizienz optimiert ist. Neben der Effizienz soll die Grammatik automatisch Bindungsbereiche aufbauen und benannte Terme unterstützen.

 

 

Interaktive Beweiser in der Grundlagenlehre zur Automatentheorie

24.11.2015

Margrit Dittmann berichtet über Ihre Diplomarbeit, die die Möglichkeiten des Einsatzes interaktiver Beweissysteme in der Grundlagenlehre zur Theoretischen Informatik untersucht.

 

Extensionalism II

17.11.2015

Sebastian Böhne stellt das Buch "Extensionalism - The Revolution in Logic" von Nimrod Bar-Am vor.

 

Extensionalism

5.11.2015

Sebastian Böhne stellt das Buch "Extensionalism - The Revolution in Logic" von Nimrod Bar-Am vor.

Artikelaktionen
Auf einen Blick
Lehrform Oberseminar
Empfohlen ab FS 5
Voraussetzungen Aktive Mitarbeit an Themen der Arbeitsgruppe, z.B zur Vorbereitung und Präsentation von Studien- und Abschlussarbeiten. Keine Doppelanrechnung von eigenständiger Leistung.
Benotet Ja
Punkte gesamt 3
davon praktisch 3
Sprache deutsch
Fremdhörer zugelassen? Nein
Teilgebiete Theoretische Informatik(2000), Angewandte Informatik(4000), Wahlfrei(7000)
Studiengang Bachelor, Master
Belegung via PULS