|
Modallogik (ML)
- Dozent/in
- Prof. Dr. Lutz Schröder
- Angaben
- Vorlesung mit Übung
Präsenz 4 SWS, ECTS-Studium, ECTS-Credits: 7,5
für FAU Scientia Gaststudierende zugelassen, Sprache Deutsch und Englisch
Zeit und Ort: Mo, Do 12:15 - 13:45, 02.133-113
- Studienfächer / Studienrichtungen
- WF M-MA ab 1 (ECTS-Credits: 7,5)
WF M-BA ab 3 (ECTS-Credits: 7,5)
WPF INF-MA ab 1 (ECTS-Credits: 7,5)
WPF INF-BA-V-THI ab 4 (ECTS-Credits: 7,5)
WPF DS-BA-DW ab 4 (ECTS-Credits: 7,5)
WPF AI-MA ab 1 (ECTS-Credits: 7,5)
- ECTS-Informationen:
- Credits: 7,5
- Zusätzliche Informationen
- Schlagwörter: Modallogik modal logic automatisches Schließen automatic reasoning and deduction temporale Spezifikation temporal logic and specificagtion
Erwartete Teilnehmerzahl: 20, Maximale Teilnehmerzahl: 25
www: https://www8.cs.fau.de/teaching/SS22/ml
- Verwendung in folgenden UnivIS-Modulen
- Startsemester SS 2022:
- Modallogik (ML)
- Institution: Lehrstuhl für Informatik 8 (Theoretische Informatik)
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|