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

Seminar: Computer-Assisted proofs in LEAN - Einzelansicht

Zurück
  • Funktionen:
Grunddaten
Veranstaltungsart Seminar Langtext
Veranstaltungsnummer 151099 Kurztext
Semester SoSe 2024 SWS 2
Erwartete Teilnehmer/-innen Max. Teilnehmer/-innen
Turnus Veranstaltungsanmeldung Keine Veranstaltungsbelegung im LSF
Credits LP je nach PO
Weitere Links https://www.math.uni-sb.de/ag/bartholdi/
Termine Gruppe: iCalendar Export für Outlook
  Tag Zeit Turnus Dauer Raum Raum-
plan		 Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export für Outlook 		Mi. 14:00 bis 16:00 woch       online  
Gruppe :
 
 


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Bartholdi, Laurent , Prof. Dr.
Studiengänge
Abschluss Studiengang Semester Prüfungsversion Kommentar LP BP ECTS
Bachelor (KB) Mathematik - 20161 LP je nach PO
Master (KB) Mathematik und Informatik - 20161 LP je nach PO
Bachelor (KB) Mathematik und Informatik - 20161 LP je nach PO
Master (KB) Mathematik - 20161 LP je nach PO
Bachelor (KB) Computer Science (engl.) - 20211 7
Master (KB) Cybersecurity - 20211 7
Bachelor (KB) Cybersecurity (engl.) - 20211 7
Bachelor (KB) Cybersicherheit - 20201 7
Master (KB) Embedded Systems - 20161 7
Master (KB) Entrep. Cybersecurity - 20181 7
Master (KB) Informatik - 20151 7
Bachelor (KB) Informatik - 20151 7
Bachelor (KB) Informatik - 20201 7
Bachelor (KB) Medieninformatik - 20131 7
Master (KB) Medieninformatik - 20131 7
Bachelor (KB) Medieninformatik - 20201 7
Master (KB) Medieninformatik - 20201 7
LA Sekundarstufe I und II Informatik - 20121 7
Zuordnung zu Einrichtungen
Fakultät MI: Fakultät für Mathematik und Informatik
Inhalt
Kurzkommentar

Die Veranstaltung findet online statt.

Strukturbaum
Die Veranstaltung wurde 32 mal im Vorlesungsverzeichnis SoSe 2024 gefunden:
Die Überschrift Seminare aufklappen Seminare  - - - 1
Die Überschrift Seminare aufklappen Seminare  - - - 4
Die Überschrift Seminare aufklappen Seminare  - - - 5
Die Überschrift Seminare aufklappen Seminare  - - - 6
Die Überschrift Seminare aufklappen Seminare  - - - 7
Die Überschrift Seminare aufklappen Seminare  - - - 8
Die Überschrift Seminare aufklappen Seminare  - - - 10
Die Überschrift Seminare aufklappen Seminare  - - - 11
Die Überschrift Seminare aufklappen Seminare  - - - 13
Die Überschrift Seminare aufklappen Seminare  - - - 14
Die Überschrift Seminare aufklappen Seminare  - - - 15
Die Überschrift Seminare aufklappen Seminare  - - - 16
Die Überschrift Seminare aufklappen Seminare  - - - 17
Die Überschrift Seminare aufklappen Seminare  - - - 18
Die Überschrift Seminare aufklappen Seminare  - - - 20
Die Überschrift Seminare aufklappen Seminare  - - - 25
Die Überschrift Seminare aufklappen Seminare  - - - 26
Die Überschrift Seminare aufklappen Seminare  - - - 27
Die Überschrift Seminare aufklappen Seminare  - - - 28
Die Überschrift Seminare aufklappen Seminare  - - - 29
Die Überschrift Seminare aufklappen Seminare  - - - 30
Die Überschrift Seminare aufklappen Seminare  - - - 32