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

Anmelden
Node1

Theorie-Kolloquium - Einzelansicht

Funktionen:

belegen/abmelden

Veranstaltungsart	Oberseminar	Veranstaltungsnummer	555211
SWS		Semester	WiSe 2022/23
Einrichtung	Institut für Informatik und Computational Science	Sprache	deutsch
Belegungsfrist	04.10.2022 - 10.11.2022 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	18.10.2022 bis 07.02.2023	2.70.0.08	Prof. Dr. Kreitz , Richter , Dr. rer. nat. Böhne , Frank , Glinzer , Kranz	08.11.2022: 20.12.2022: Akademische Weihnachtsferien 27.12.2022: Akademische Weihnachtsferien
	Oberseminar	Di	14:00 bis 16:00	Einzeltermin	am 08.11.2022	Online.Veranstaltung	Dr. rer. nat. Böhne , Frank , Glinzer , Kranz , Prof. Dr. Kreitz , Richter

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
Lerninhalte	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

Strukturbaum

Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WiSe 2022/23 , Aktuelles Semester: SoSe 2024

© Copyright HIS
Hochschul-Informations-System eG