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 

Foto: Matthias Friel

Theorie-Kolloquium - Einzelansicht

  • Funktionen:
  • Zur Zeit keine Belegung möglich
Veranstaltungsart Oberseminar Veranstaltungsnummer
SWS Semester SoSe 2024
Einrichtung Institut für Informatik und Computational Science   Sprache deutsch
Belegungsfrist 02.04.2024 - 10.05.2024   
Gruppe 1:
     Zur Zeit keine Belegung möglich
    Tag Zeit Rhythmus Dauer Raum Lehrperson Ausfall-/Ausweichtermine Max. Teilnehmer/-innen
Einzeltermine ausblenden
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
 
Einzeltermine:
  • 09.04.2024
  • 16.04.2024
  • 23.04.2024
  • 30.04.2024
  • 07.05.2024
  • 14.05.2024
  • 21.05.2024
  • 28.05.2024
  • 04.06.2024
  • 11.06.2024
  • 18.06.2024
  • 25.06.2024
  • 02.07.2024
  • 09.07.2024
  • 16.07.2024
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 offens Buch
INF-10020 - Forschungsmodul  - - - 2 offens Buch
Bachelor of Science
Computational Science (Prüfungsversion ab WiSe 2019/20)
I. Grundlagenmodule Informatik/Computational Science
INF-6030 - Wissenschaftliches Arbeiten  - - - 3 offens Buch
Computational Science (Prüfungsversion ab WiSe 2013/14)
VI. Akademische Grundkompetenzen
Wissenschaftliches Arbeiten  - - - 4 offens Buch