|
|
Nonclassical Logics in Computer Science (NoCL) [Import]- Lecturers
- PD Dr. Tadeusz Litak, Akad. ORat, Prof. Dr. Lutz Schröder
- Details
- Vorlesung mit Übung
Online/Präsenz
4 cred.h, certificate, ECTS studies, ECTS credits: 7,5
geeignet als Schlüsselqualifikation, Sprache Deutsch und Englisch
Time and place: Mon, Tue 12:15 - 13:45, 01.255-128; comments on time and place: Raumreservierung bleibt zunächst bestehen. Veranstaltung wird nach Möglichkeit in Präsenz angeboten, bei Bedarf mit digitalem Zusatzangebot, etwa Liveübertragung per Zoom.
- Fields of study
- 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 information:
- Credits: 7,5
- Additional information
- Keywords: Modal logic; intuitionistic logic; linear logic; sequent calculi
Expected participants: 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)
- Department: Center for Applied Philosophy of Science and Key Qualifications
|
|
|