Non-classical logics and applications WM-I-S1-E6-LIZ
This course has not yet been described...
(in Polish) Dyscyplina naukowa, do której odnoszą się efekty uczenia się
(in Polish) E-Learning
Term 2021/22_L: (in Polish) E-Learning (pełny kurs) z podziałem na grupy | Term 2022/23_L: (in Polish) E-Learning (pełny kurs) z podziałem na grupy | Term 2024/25_L: (in Polish) E-Learning | Term 2023/24_L: (in Polish) E-Learning |
(in Polish) Grupa przedmiotów ogólnouczenianych
(in Polish) Opis nakładu pracy studenta w ECTS
Term 2022/23_L: (in Polish) Wykład:
uczestnictwo w zajęciach, 30h
praca własna, lektury, pogłębienie wiedzy, 40h
Razem: 70h, 3 ECTS.
Laboratorium
uczestnictwo w zajęciach, 30h
praca własna, nauka programów wykonujących model checking, tworzenie modeli w tych programach, 40h
Razem: 70h, 3 ECTS | Term 2023/24_L: (in Polish) Wykład:
uczestnictwo w zajęciach, 30h
praca własna, lektury, pogłębienie wiedzy, 45h
Razem: 75h, 3 ECTS.
Laboratorium
uczestnictwo w zajęciach, 30h
praca własna, nauka programów wykonujących model checking, tworzenie modeli w tych programach, 45h
Razem: 75h, 3 ECTS |
Subject level
Learning outcome code/codes
Type of subject
Preliminary Requirements
Course coordinators
Term 2021/22_L: | Term 2023/24_L: | Term 2024/25_L: | Term 2022/23_L: |
Assessment criteria
For all learning outcomes, the following assessment criteria are adopted for all forms of verification:
grade 5: fully achieved (no obvious shortcomings),
grade 4.5: achieved almost fully and criteria for awarding a higher grade are not met,
grade 4: largely achieved and the criteria for a higher grade are not met,
grade 3.5: largely achieved - with a clear majority of positives - and the criteria for granting a higher grade are not met,
grade 3: achieved for most of the cases covered by the verification and criteria for a higher grade are not met,
grade 2: not achieved for most of the cases covered by the verification.
Additional information
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: