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

Advance Coq Programming - Einzelansicht

Zurück
  • Funktionen:
Grunddaten
Veranstaltungsart Blockvorlesung Langtext
Veranstaltungsnummer 123596 Kurztext
Semester SoSe 2020 SWS
Erwartete Teilnehmer/-innen Max. Teilnehmer/-innen
Turnus Veranstaltungsanmeldung Keine Veranstaltungsbelegung im LSF
Credits
Weitere Links https://courses.ps.uni-saarland.de/acp_20/
Sprache Englisch


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Smolka, Gert , Univ.-Prof. Dr. rer. nat.
Studiengänge
Abschluss Studiengang Semester Prüfungsversion Kommentar LP BP ECTS
Master (KB) Informatik - 20151 6 6
Bachelor (KB) Medieninformatik - 20131 6 6
LA Sekundarstufe I und II Informatik - 20121 6 6
Master (KB) Medieninformatik - 20131 6 6
Bachelor (KB) Informatik - 20151 6 6
Bachelor (KB) Mathematik und Informatik - 20161 6 6
Master (KB) Mathematik und Informatik - 20161 6 6
Master (KB) Embedded Systems - 20161 6 6
Master (KB) Entrep. Cybersecurity - 20181 6 6
Zuordnung zu Einrichtungen
Informatik
Inhalt
Kurzkommentar

Block course (March - Mid of April 2020)


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