Conducted in
terms:
2021/22_L, 2022/23_L, 2023/24_L, 2024/25_L
ECTS credits:
unknown
Language:
Polish
Non-classical logics and applications WM-MA-S1-E6-LIZ
This course has not yet been described...
(in Polish) Dyscyplina naukowa, do której odnoszą się efekty uczenia się
mathematics
(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) nie dotyczy
(in Polish) Opis nakładu pracy studenta w ECTS
(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
Subject level
elementary
Learning outcome code/codes
Lecture: MA1_W01, MA1_W04
Laboratory: MA1_K01, MA1_K02, MA1_K07
Type of subject
obligatory
Preliminary Requirements
(in Polish) Podstawy logiki i teorii mnogości. Podstawy programowania.
Course coordinators
Term 2021/22_L: | Term 2024/25_L: | Term 2023/24_L: | Term 2022/23_L: |
Additional information
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: