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 
Hochschul-Informations-System eG
Startseite    Anmelden    WiSe 2020/21      Umschalten in deutsche Sprache / Switch to english language      Sitemap

Advanced Coq Programming - Einzelansicht

Zurück
Grunddaten
Veranstaltungsart Blockvorlesung Langtext
Veranstaltungsnummer 126794 Kurztext
Semester WiSe 2020/21 SWS
Erwartete Teilnehmer/-innen Max. Teilnehmer/-innen
Turnus Veranstaltungsanmeldung Veranstaltungsbelegung im LSF
Credits
Weitere Links https://courses.ps.uni-saarland.de/acp_20/
Sprache englisch
Termine Gruppe: iCalendar Export für Outlook
  Tag Zeit Turnus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
iCalendar Export für Outlook -.  bis  Block 12.10.2020 bis 23.10.2020        on-site/online  
Gruppe :
 


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) 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 beruf.Schulen Informatik - 20121
LA Sekundarstufe I und II Informatik - 20121
Bachelor (KB) Medieninformatik - 20131
Master (KB) Informatik - 20151
Bachelor (KB) Mathematik und Informatik - 20201
LA beruf.Schulen Informatik - 20201
LA Sekundarstufe I und II Informatik - 20201
Bachelor (KB) Informatik - 20201
Bachelor (KB) Medieninformatik - 20201
Master (KB) Medieninformatik - 20201
Zuordnung zu Einrichtungen
Informatik

Strukturbaum
Die Veranstaltung wurde 27 mal im Vorlesungsverzeichnis WiSe 2020/21 gefunden:
Die Überschrift Wahlpflichtbereich 2 aufklappen Wahlpflichtbereich 2  - - - 26
Die Überschrift Wahlpflichtbereich 3 aufklappen Wahlpflichtbereich 3  - - - 27