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 2024
  3. Hilfe
  4. Sitemap
Switch to english language
++ Weitere Informationen zur Vergabe der Plätze unter https://www.uni-hildesheim.de/lsf-vergabe ++
Startseite    Anmelden     

Formale Methoden - Vorlesung - Einzelansicht

Zurück
Grunddaten
Veranstaltungsart Vorlesung
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 - digitale Veranstaltung
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
LSF - Module
Modulkürzel Modultitel
MIT-ForMet Formale Methoden
Zuordnung zu Einrichtungen
Inst. für Informatik
Inhalt
Bemerkung

Beginn: 13.04.2021


Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SoSe 2021 , Aktuelles Semester: SoSe 2024
Impressum      Datenschutzerklärung     Datenschutz      Datenschutzerklärung     Erklärung zur Barrierefreiheit