|
Modallogik (ML)
- Dozent/in
- Daniel Hausmann
- Angaben
- Vorlesung mit Übung
4 SWS, ECTS-Studium, Sprache Deutsch oder Englisch
Zeit und Ort: Mi, Do 16:15 - 17:45, Raum n.V.; Bemerkung zu Zeit und Ort: Voraussichtliche Termine SS17: Mi, 16:15 und Do, 16:15 jeweils in Raum 00.131, Cauerstraße 11
- Studienfächer / Studienrichtungen
- WF M-MA ab 1 (ECTS-Credits: 7,5)
WPF INF-MA ab 1 (ECTS-Credits: 7,5)
WPF INF-BA-V-THI ab 4 (ECTS-Credits: 7,5)
WF M-BA ab 3 (ECTS-Credits: 7,5)
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 20, Maximale Teilnehmerzahl: 25
- Verwendung in folgenden UnivIS-Modulen
- Startsemester SS 2017:
- Modallogik (ML)
- Institution: Lehrstuhl für Informatik 8 (Theoretische Informatik)
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|