Conducted in
term:
2026/27_Z
Erasmus code: 08.1
ISCED code: 0223
ECTS credits:
4
Language:
Polish
Organized by:
Institute of Philosophy
SP: Branching-Time Logics WF-FI-212-SPSWIET26
This course has not yet been described...
(in Polish) E-Learning
(in Polish) E-Learning (pełny kurs) z podziałem na grupy
(in Polish) Grupa przedmiotów ogólnouczenianych
(in Polish) nie dotyczy
Course coordinators
Subject level
advanced
Learning outcome code/codes
FI2_W04; FI2_W09; FI2_U03; FI2_U05; FI2_K02; FI2_K04
Type of subject
obligatory
Preliminary Requirements
(in Polish) Uczestnicy seminarium powinni ukończyć kurs logiki na pierwszym roku studiów filozoficznych oraz kurs metalogiki. Aby w pełni korzystać z proponowanego seminarium pożądana jest także wiedza z zakresu teorii modeli logik temporalnych oraz wiedza na temat nieskończonych systemów dowodzeniowych.
Bibliography
|
Term 2026/27_Z:
None |
Additional information
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: