Top
Zur Seitennavigation oder mit Tastenkombination für den
accesskey
-Taste und Taste 1
Zum Seiteninhalt oder mit Tastenkombination für den
accesskey
und Taste 2
PULS
Foto: Matthias Friel
Datenschutz
Kontakt
Impressum
Universität Potsdam
Veranstaltungen
Modulbeschreibung
EN
SoSe 2024
Anmelden
Node2
Uni Homepage
Studium
Zugang zu Moodle
Anmeldungs- und Belegungsfristen
Verifikation von Studienbescheinigungen
Sie sind hier:
Startseite
Theorie-Kolloquium - Einzelansicht
Funktionen:
belegen/abmelden
Veranstaltungsart
Oberseminar
Veranstaltungsnummer
555211
SWS
Semester
SoSe 2016
Einrichtung
Institut für Informatik und Computational Science
Sprache
deutsch
Weitere Links
Kommentar
Belegungsfristen
01.04.2016 - 10.05.2016
Belegung über PULS
01.04.2016 - 20.05.2016
Belegung über PULS
Gruppe 1:
Vormerken:
jetzt belegen / abmelden
Tag
Zeit
Rhythmus
Dauer
Raum
Lehrperson
Ausfall-/Ausweichtermine
Max. Teilnehmer/-innen
Oberseminar
Di
14:00 bis 16:00
wöchentlich
12.04.2016 bis 19.07.2016
3.04.2.01
Prof. Dr. Kreitz
,
Richter
,
Brede
,
Dr. rer. nat. Böhne
,
Dr. Frank
12
Kommentar
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
Voraussetzungen
Aktive Mitarbeit an Themen der Arbeitsgruppe, z.B zur Vorbereitung und Praesentation von Studien- und Abschlussarbeiten.
Keine Doppelanrechnung von eigenstaendiger Leistung.
Leistungsnachweis
Seminarvortrag + schriftliche Ausarbeitung zu einem selbstgewaehlten Arbeitsthema
Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SoSe 2016 , Aktuelles Semester: SoSe 2024
© Copyright HIS
Hochschul-Informations-System eG