Nonclassical Logics in Computer Science (NoCL) [Import]- Dozentinnen/Dozenten
- PD Dr. Tadeusz Litak, Akad. ORat, Prof. Dr. Lutz Schröder
- Angaben
- Vorlesung mit Übung
Online/Präsenz
4 SWS, Schein, ECTS-Studium, ECTS-Credits: 7,5
geeignet als Schlüsselqualifikation, Sprache Deutsch und Englisch
Zeit und Ort: Mo, Di 12:15 - 13:45, 01.255-128; Bemerkung zu Zeit und Ort: Raumreservierung bleibt zunächst bestehen. Veranstaltung wird nach Möglichkeit in Präsenz angeboten, bei Bedarf mit digitalem Zusatzangebot, etwa Liveübertragung per Zoom.
- Studienfächer / Studienrichtungen
- WF Ph-MA ab 1 (ECTS-Credits: 7,5)
WF IIS-MA 1 (ECTS-Credits: 7,5)
WF M-BA ab 3 (ECTS-Credits: 7,5)
WF INF-BA ab 6 (ECTS-Credits: 7,5)
WF INF-MA ab 1 (ECTS-Credits: 7,5)
WPF INF-BA-V-THI ab 5 (ECTS-Credits: 7,5)
WF M-MA ab 1 (ECTS-Credits: 7,5)
WF WINF-BA ab 5 (ECTS-Credits: 7,5)
WF MT-MA ab 1 (ECTS-Credits: 7,5)
WF Ph-BA ab 5 (ECTS-Credits: 7,5)
- ECTS-Informationen:
- Credits: 7,5
- Zusätzliche Informationen
- Schlagwörter: Modal logic; intuitionistic logic; linear logic; sequent calculi
Erwartete Teilnehmerzahl: 15, Maximale Teilnehmerzahl: 25
www: https://www8.cs.fau.de/teaching/WS20/nocl
- Verwendung in folgenden UnivIS-Modulen
- Startsemester WS 2020/2021:
- Nonclassical Logics in Computer Science (NoCL)
|