Wenn Sie diesen Text sehen, ist auf ihrem Gerät noch nicht das neue Layout geladen worden. Bitte laden Sie diese Seite neu (ggf. mit gedrückter 'Shift'- oder 'Alt'-Taste) oder in einem 'privaten Fenster'.
Weitere Hinweise unter https://www.uni-hildesheim.de/wiki/lsf/faq/fehler.im.layout.

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 
  1. SucheSuchen         
  2. SoSe 2021
  3. Hilfe
  4. Sitemap
Switch to english language
Startseite    Anmelden     

Formale Methoden - Vorlesung - Einzelansicht

Grunddaten
Veranstaltungsart Vorlesung Learnweb   Logo Learnweb
Veranstaltungsnummer 3656 Kurztext ForMeth-VL
Semester SoSe 2021 SWS 2
Erwartete Teilnehmer/-innen 20 Max. Teilnehmer/-innen 20
Rhythmus i.d.R. jedes 2. Semester Studienjahr / Zielgruppe
Credits 5
Hyperlink   Evaluation Ja (als gesamte Veranstaltung - online)
Sprache deutsch
Termine Gruppe: 1-Gruppe iCalendar Export
  Tag Zeit Rhythmus Dauer Raum (mögliche Änderungen beachten!) Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export
Di. 12:00 bis 14:00 s.t. wöchentlich          
Gruppe 1-Gruppe:
Prüfungstermine
Semester Termin Prüfer/-in Parallelgruppe Datum Prüfungsform Beginn Anmeldefrist Ende Anmeldefrist Ende Abmeldefrist Infos zu Nachschreibterminen
SoSe 2021 01 Jung, Jean Christoph mündlich 16.07.2021 VERBINDLICH 16.07.2021 VERBINDLICH


Zugeordnete Person
Kontaktperson (durchführend) Zuständigkeit
Jung, Jean Christoph, Dr. verantwortlich und durchführend
LSF - Module
Modulkürzel Modultitel
MIT-ForMet Formale Methoden
Zuordnung zu Einrichtungen
Abt. Theoretische Informatik
Inst. für Informatik
Inhalt
Bemerkung

Beginn: 13.04.2021


Strukturbaum
Die Veranstaltung wurde 1 mal im Vorlesungsverzeichnis SoSe 2021 gefunden:
Impressum      Datenschutzerklärung     Datenschutz      Datenschutzerklärung     Erklärung zur Barrierefreiheit