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
SoSe 2024
/
Sitemap
Studentisches Leben
Veranstaltungen
Hochschulstruktur
Räume und Gebäude
Personen
Sie sind hier:
Startseite
Proseminar: Computer-Assisted proofs in LEAN - Einzelansicht
Zurück
Funktionen:
Seiteninhalt:
Grunddaten
Termine
Zugeordnete Person
Studiengänge
Hochschulstruktur
Inhalt
Strukturbaum
Grunddaten
Veranstaltungsart
Proseminar
Langtext
Veranstaltungsnummer
151239
Kurztext
Semester
SoSe 2024
SWS
2
Erwartete Teilnehmer/-innen
Max. Teilnehmer/-innen
Turnus
Veranstaltungsanmeldung
Keine Veranstaltungsbelegung im LSF
Credits
5 CP
Weitere Links
https://www.math.uni-sb.de/ag/bartholdi/
Sprache
Deutsch/Englisch
Termine Gruppe:
Tag
Zeit
Turnus
Dauer
Raum
Raum-
plan
Lehrperson
Status
Bemerkung
fällt aus am
Max. Teilnehmer/-innen
Mi.
14:00 bis 16:00
woch
online
Gruppe :
vormerken
Zugeordnete Person
Zugeordnete Person
Zuständigkeit
Bartholdi, Laurent , Prof. Dr.
Studiengänge
Abschluss
Studiengang
Semester
Prüfungsversion
Kommentar
LP
BP
ECTS
Bachelor (KB)
Medieninformatik
-
20201
5
Bachelor (KB)
Medieninformatik
-
20131
5
Bachelor (KB)
Informatik
-
20201
5
Bachelor (KB)
Informatik
-
20151
5
Bachelor (KB)
Cybersicherheit
-
20201
5
Bachelor (KB)
Cybersecurity (engl.)
-
20211
5
Bachelor (KB)
Computer Science (engl.)
-
20211
5
Bachelor (KB)
Mathematik und Informatik
-
20161
5
Bachelor (KB)
Mathematik
-
20161
5
Zuordnung zu Einrichtungen
Fakultät MI: Fakultät für Mathematik und Informatik
Inhalt
Kurzkommentar
Die Veranstaltung findet online statt.
Strukturbaum
Die Veranstaltung wurde
19
mal im Vorlesungsverzeichnis SoSe 2024 gefunden:
Vorlesungsverzeichnis
Bachelor (inkl. Optionalbereich)
Medieninformatik
Bachelor, StO 2013
Pflichtbereich aus dem Fachbereich Informatik
Proseminare
- - - 1
Bachelor, StO 2020
Proseminare
- - - 2
Cybersicherheit (KB)
Bachelor, StO 2016
Pflichtbereich
Proseminare
- - - 3
Informatik (KB)
Bachelor, StO 2015
Proseminare
- - - 4
Bachelor, StO 2020
Proseminare
- - - 5
Computer Science (English)
Proseminare (Wahlpflicht)
- - - 6
Cybersecurity (English)
Proseminare
- - - 7
MI Fakultät für Mathematik und Informatik
Informatik
Studiengang Medieninformatik
Bachelor, StO 2013
Pflichtbereich aus dem Fachbereich Informatik
Proseminare
- - - 8
Bachelor, StO 2020
Proseminare
- - - 9
Studiengänge Cybersicherheit / Entrepreneurial Cybersecurity
Bachelor Cybersicherheit, StO 2016
Pflichtbereich
Proseminare
- - - 10
Bachelor Cybersicherheit, StO 2020
Proseminare
- - - 11
Studiengang Bachelor Computer Science (English)
Proseminare (Wahlpflicht)
- - - 12
Studiengang Bachelor Cybersecurity (English)
Proseminare
- - - 13
Studiengang Informatik
Bachelor, StO 2015
Proseminare
- - - 14
Bachelor, StO 2020
Proseminare
- - - 15
Mathematik
Bachelor
Mathematik und Informatik / Mathematics and Computer Science
FR Mathematik / Mathematics
StO 2021
Proseminare der Mathematik / Proseminars in Mathematics
- - - 16
StO 2016
Proseminare der Mathematik / Proseminars in Mathematics
- - - 17
Mathematik / Mathematics
StO 2021
Proseminare der Mathematik / Proseminars in Mathematics
- - - 18
StO 2016
Proseminare der Mathematik / Proseminars in Mathematics
- - - 19
Impressum
Service & Support
Bei Fragen, Fehlermeldungen oder Verbesserungsvorschlägen
nutzen Sie bitte unsere
zentrale Service-Kontaktestelle
.