[Christian-Albrechts-Universität] [Technical Faculty]

Informatik-relevante Logiken
Seminar im Sommersemester 2006


Vorbesprechung: Freitag, 7. April 2006, 9:00 Uhr, bei uns am Lehrstuhl, Hochhaus, Raum 1410
Termin: n.V
Beginn: n.V.
Ort: n.V
Dozent: Willem-Paul de Roever und Harald Fecher

Die vollständigen studientechnischen Daten sind über das Univis-System zu erfragen.

Bei Fragen zum Seminar, email an Harald Fecher



Logiken stellen eine wichtige Möglichkeit zur Programspezifikationen zur Verfügung. In dem Seminar sollen verschiedene Arten von Logiken vorgestellt werden, deren Anwendungsgebiete skiziert werden und deren Möglichkeiten auf algorithmische Erfüllbarkeitsberechnungen diskutiert werden.

Es gibt keine Vorraussetzung für das Seminar.

Das Seminar richtet sich an Studierende im Hauptstudium. In dem Seminar werden Forschungsartikel bzw. Kapitel aus Büchern behandelt. Diese werden in der Vorbesprechung vorgestellt.



Vorträge

  Termin Vortragender Thema Quelle Folien


Table 1: Vorträge (bislang vergebene Themen)


Anmeldung

Am besten per email oder vorbeikommen.

Scheinkriterium

Verlangt ist die Ausarbeitung eines Vortrags (mit Hilfestellung natürlich) und seine Präsentation über das gewählte Thema. Relevant sind Daneben wird regelmäßige Teilnahme am Seminar vorrausgesetzt.

Links

References

Pages last (re-)generated th , 
This document was translated from LATEX by HEVEA.