Conducted in
term:
2021/22_L
Erasmus code: 08.1
ISCED code: 0223
ECTS credits:
4
Language:
Polish
Organized by:
Institute of Philosophy
Logic of deductive theories (Metalogic) WF-FI-123-WMSFET-S21
This course has not yet been described...
(in Polish) E-Learning
(in Polish) E-Learning (pełny kurs)
Subject level
elementary
Learning outcome code/codes
FI1_W06; FI1_W08; FI1_W09; FI1_U10;
Preliminary Requirements
(in Polish) Wykład przeznaczony jest dla osób, które ukończyły podstawowy kurs logiki realizowany dla I roku (lub jego ekwiwalent) - tj. znają klasyczną logikę zdaniową, klasyczną logikę predykatów, rachunek zbiorów.
Course coordinators
Notes
Term 2021/22_L:
None |
Additional information
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: