Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...
Der Zweck dieses Seminars ist die Präsentation und Diskussion aktueller wissenschaftlicher Resultate in der Forschungsgruppe "Computational Logic".
Wissenschaftliche Vorträge zu den Forschungsthemen der Gruppe "Computational Logic" von Mitgliedern dieser Gruppe sowie von Gästen.
Gegebenenfalls gemeinsame Vorbereitung der Präsentation mit einem der LVA-Leiter
Vortrag
Nicht erforderlich