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 
Muster-Hochschule
Startseite    Anmelden    SoSe 2024      Umschalten in deutsche Sprache / Switch to english language      Sitemap
Studentisches Leben      Veranstaltungen      Hochschulstruktur      Räume und Gebäude      Personen     
Sie sind hier: Startseite

Concrete Semantics with Isabelle/HOL - Einzelansicht

Zurück
  • Funktionen:
Grunddaten
Veranstaltungsart Weiterführende Vorlesung Langtext
Veranstaltungsnummer 117037 Kurztext
Semester SoSe 2019 SWS
Erwartete Teilnehmer/-innen Max. Teilnehmer/-innen
Turnus Veranstaltungsanmeldung Keine Veranstaltungsbelegung im LSF
Credits
Weitere Links https://www.mpi-inf.mpg.de/departments/automation-of-logic/teaching/summer-2019/concrete-semantics-with-isabellehol/
Sprache Englisch


Zugeordnete Personen
Zugeordnete Personen Zuständigkeit
Fleury, Mathias , Dr.
Tourret, Sophie , Dr.
Studiengänge
Abschluss Studiengang Semester Prüfungsversion Kommentar LP BP ECTS
Master (KB) Entrep. Cybersecurity - 20181
Master (KB) Embedded Systems - 20161
Master (KB) Mathematik und Informatik - 20161
Bachelor (KB) Mathematik und Informatik - 20161
Bachelor (KB) Informatik - 20151
Master (KB) Medieninformatik - 20131
LA Sekundarstufe I und II Informatik - 20121
Bachelor (KB) Medieninformatik - 20131
Master (KB) Informatik - 20151
Zuordnung zu Einrichtungen
Informatik

Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SoSe 2019 , Aktuelles Semester: SoSe 2024