Formal methods in computer science WM-I-S1-E5-MFI
This course has not yet been described...
(in Polish) Dyscyplina naukowa, do której odnoszą się efekty uczenia się
(in Polish) E-Learning
Term 2024/25_Z: (in Polish) E-Learning | Term 2023/24_Z: (in Polish) E-Learning (pełny kurs) z podziałem na grupy | Term 2022/23_Z: (in Polish) E-Learning (pełny kurs) z podziałem na grupy | Term 2021/22_Z: (in Polish) E-Learning (pełny kurs) z podziałem na grupy |
(in Polish) Grupa przedmiotów ogólnouczenianych
(in Polish) Opis nakładu pracy studenta w ECTS
Term 2023/24_Z: (in Polish) Wykład
udział w zajęciach, 30h
nauka własna zagadnień z wykładu, 20h,
studia nad literaturą, 25h,
suma: 75h (3 p. ECTS)
Laboratoria
udział w zajęciach, 30h,
nauka własna, 20h,
przygotowanie projektów informatycznych, 30h
Suma: 80h (3 p. ECTS) | Term 2022/23_Z: (in Polish) Wykład
udział w zajęciach, 30h
nauka własna zagadnień z wykładu, 20h,
studia nad literaturą, 25h,
Suma: 75h (3 p. ECTS),
Laboratoria
udział w zajęciach, 30h,
nauka własna, 20h,
przygotowanie projektów informatycznych, 30h
Suma: 80h (3 p. ECTS) |
Subject level
Learning outcome code/codes
Type of subject
Term 2023/24_Z: optional with limited choices | Term 2024/25_Z: obligatory | Term 2022/23_Z: optional with limited choices |
Preliminary Requirements
Course coordinators
Term 2023/24_Z: | Term 2024/25_Z: | Term 2022/23_Z: | Term 2021/22_Z: |
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: