Theorie-Kolloquium - Einzelansicht

Veranstaltungsart	Oberseminar	Veranstaltungsnummer
SWS		Semester	SoSe 2024
Einrichtung	Institut für Informatik und Computational Science	Sprache	deutsch
Belegungsfrist	02.04.2024 - 10.05.2024 aktuell

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	09.04.2024 bis 16.07.2024	2.70.0.11	Richter , Dr. rer. nat. Böhne , Frank , Glinzer , Kranz

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

Die Veranstaltung wurde 4 mal im Vorlesungsverzeichnis SoSe 2024 gefunden:

Vorlesungsverzeichnis

Mathematisch-Naturwissenschaftliche Fakultät

Institut für Informatik und Computational Science

Master of Science

Computational Science (Prüfungsversion ab WiSe 2019/20)

II. Wissenschaftliches Arbeiten

INF-10020 - Forschungsmodul (auslaufend) - - - 1

INF-10020 - Forschungsmodul - - - 2

Bachelor of Science

Computational Science (Prüfungsversion ab WiSe 2019/20)

I. Grundlagenmodule Informatik/Computational Science

INF-6030 - Wissenschaftliches Arbeiten - - - 3

Computational Science (Prüfungsversion ab WiSe 2013/14)

VI. Akademische Grundkompetenzen

Wissenschaftliches Arbeiten - - - 4