Introduction to Finite Model Theory (FMT) [Import]- Dozent/in
- PD Dr. Tadeusz Litak
- Angaben
- Vorlesung mit Übung
4 SWS, benoteter Schein, ECTS-Studium, ECTS-Credits: 7,5
geeignet als Schlüsselqualifikation, Sprache Englisch
Zeit und Ort: Mi 14:15 - 15:45, 00.131-128; Do 16:15 - 17:45, 01.255-128; Bemerkung zu Zeit und Ort: Do, 14.15-15.45 Uhr im Raum 00.131-128, Cauerstraße 11
- Studienfächer / Studienrichtungen
- WPF INF-MA ab 1 (ECTS-Credits: 7,5)
WPF INF-BA-V-THI ab 4 (ECTS-Credits: 7,5)
WPF INF-BA-V-THI ab 4 (ECTS-Credits: 7,5)
WF M-BA ab 4 (ECTS-Credits: 7,5)
WF M-MA ab 1 (ECTS-Credits: 7,5)
WF IIS-MA ab 1 (ECTS-Credits: 7,5)
WF WINF-BA ab 4 (ECTS-Credits: 7,5)
- ECTS-Informationen:
- Credits: 7,5
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 20, Maximale Teilnehmerzahl: 25
www: https://www8.cs.fau.de/course:fmt
- Verwendung in folgenden UnivIS-Modulen
- Startsemester WS 2019/2020:
- Introduction to Finite Model Theory (FMT)
- Institution: Department Mathematik
|
|