Introduction to Dependently Typed Programming (IDenT)- Dozent/in
- PD Dr. Sergey Goncharov
- Angaben
- Vorlesung mit Übung
4 SWS, Schein, ECTS-Studium, ECTS-Credits: 7,5
für FAU Scientia Gaststudierende zugelassen, Sprache Englisch
Zeit und Ort: Mo 14:15 - 15:45, 02.134-113; Mi 14:15 - 15:45, 00.131-128
- Studienfächer / Studienrichtungen
- WF M-BA ab 3 (ECTS-Credits: 7,5)
WPF INF-BA-V-THI ab 4 (ECTS-Credits: 7,5)
WPF INF-MA ab 1 (ECTS-Credits: 7,5)
WF M-MA ab 1 (ECTS-Credits: 7,5)
- ECTS-Informationen:
- Credits: 7,5
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 20, Maximale Teilnehmerzahl: 30
- Verwendung in folgenden UnivIS-Modulen
- Startsemester SS 2022:
- Introduction to Dependently Typed Programming (IDenT)
- Institution: Lehrstuhl für Informatik 8 (Theoretische Informatik)
|
|