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
S
tartseite
A
nmelden
WiSe 2020/21
/
Sitemap
Studentisches Leben
Veranstaltungen
Hochschulstruktur
Räume und Gebäude
Personen
Sie sind hier:
Startseite
Advanced Coq Programming - Einzelansicht
Zurück
Funktionen:
belegen/abmelden
Seiteninhalt:
Grunddaten
Termine
Zugeordnete Person
Studiengänge
Hochschulstruktur
Strukturbaum
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:
Tag
Zeit
Turnus
Dauer
Raum
Raum-
plan
Lehrperson
Status
Bemerkung
fällt aus am
Max. Teilnehmer/-innen
-.
bis
Block
12.10.2020 bis 23.10.2020
on-site/online
Gruppe :
vormerken
jetzt belegen / abmelden
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:
Vorlesungsverzeichnis
MI Fakultät für Mathematik und Informatik
Informatik
Studiengang Medieninformatik
Bachelor, StO 2013
Wahlpflichtbereich
Vertiefungsvorlesungen
- - - 1
Master, StO 2013
Pflichtbereich aus dem Fachbereich Informatik oder Medieninformatik
Vertiefungsvorlesungen
- - - 2
Master, StO 2020
Vertiefungsvorlesungen (Wahlpflicht)
- - - 3
Bachelor, StO 2020
Vertiefungsvorlesungen
- - - 4
Studiengang Computer- und Kommunikationstechnik
Master Computer- und Kommunikationstechnik (PO 2007)
Vertiefungsvorlesungen der Informatik
- - - 5
Studiengang Eingebettete Systeme/Embedded Systems
Master Embedded Systems
Vertiefungsvorlesungen
- - - 6
Studiengang Informatik
Master, StO 2015
Vertiefungsvorlesungen
- - - 7
Bachelor, StO 2015
Vertiefungsvorlesungen
- - - 8
Bachelor, StO 2020
Vertiefungsvorlesungen
- - - 9
Studiengänge Cybersicherheit / Entrepreneurial Cybersecurity
Master Entrepreneurial Cybersecurity
Vertiefungsvorlesungen Informatik
- - - 10
Mathematik
Studiengang Master Mathematik und Informatik
Vertiefungsvorlesungen der Informatik
- - - 11
Studiengang Bachelor Mathematik und Informatik
Vertiefungsvorlesungen der Informatik
- - - 12
Bachelor (inkl. Optionalbereich)
Medieninformatik
Bachelor, StO 2013
Wahlpflichtbereich
Vertiefungsvorlesungen
- - - 13
Bachelor, StO 2020
Vertiefungsvorlesungen
- - - 14
Informatik (KB)
Bachelor, StO 2015
Vertiefungsvorlesungen
- - - 15
Bachelor, StO 2020
Vertiefungsvorlesungen
- - - 16
Mathematik und Informatik
Vertiefungsvorlesungen der Informatik
- - - 17
NT Naturwissenschaftlich-Technische Fakultät
Systems Engineering
Master-Studiengang Computer- und Kommunikationstechnik (PO 2007)
Vertiefungsvorlesungen der Informatik
- - - 18
Master
Master (konsekutiv)
Embedded Systems
Vertiefungsvorlesungen
- - - 19
Informatik
Vertiefungsvorlesungen
- - - 20
Computer- und Kommunikationstechnik
Vertiefungsvorlesung der Informatik
- - - 21
Medieninformatik
Master, StO 2020
Vertiefungsvorlesungen (Wahlpflicht)
- - - 22
Master, StO 2013
Pflichtbereich aus dem Fachbereich Informatik oder Medieninformatik
Vertiefungsvorlesungen
- - - 23
Entrepreneurial Cybersecurity
Vertiefungsvorlesungen Informatik
- - - 24
Mathematik und Informatik
Vertiefungsvorlesungen der Informatik
- - - 25
Lehramt (modularisiert)
Informatik (LAB, LAG, LS1+2)
Fachspezifische Bestimmungen 2012
Wahlpflichtbereich 2
- - - 26
Fachspezifische Bestimmungen 2020
Wahlpflichtbereich 3
- - - 27
Impressum
Service & Support
Bei Fragen, Fehlermeldungen oder Verbesserungsvorschlägen
nutzen Sie bitte unsere
zentrale Service-Kontaktestelle
.