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: Mathematical Proofs with Lean - Einzelansicht

Zurück
  • Funktionen:
Grunddaten
Veranstaltungsart Seminar Langtext
Veranstaltungsnummer 137684 Kurztext
Semester SoSe 2022 SWS 2
Erwartete Teilnehmer/-innen Max. Teilnehmer/-innen
Turnus Veranstaltungsanmeldung Keine Veranstaltungsbelegung im LSF
Credits Je nach PO LP
Weitere Links https://www.uni-saarland.de/universitaet/organisation/fakultaeten/professuren/neu/bartholdi.html
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 		Di. 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 Je nach PO LP
Master (KB) Mathematik und Informatik - 20161 Je nach PO LP
Bachelor (KB) Mathematik und Informatik - 20161 Je nach PO LP
Master (KB) Mathematik - 20161 Je nach PO LP
Zuordnung zu Einrichtungen
Fakultät MI: Fakultät für Mathematik und Informatik
Inhalt
Kurzkommentar

 

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