Conducted in
terms:
2023/24_Z, 2024/25_Z, 2025/26_Z, 2026/27_Z
ECTS credits:
5
Language:
Polish
Semantics and the Verification of Software WM-I-S2-E1-SWP
This course has not yet been described...
(in Polish) Dyscyplina naukowa, do której odnoszą się efekty uczenia się
information and communication technology
(in Polish) E-Learning
Term 2023/24_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 | Term 2020/21_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 2024/25_Z: (in Polish) E-Learning | Term 2025/26_Z: (in Polish) E-Learning (pełny kurs) |
(in Polish) Grupa przedmiotów ogólnouczenianych
(in Polish) nie dotyczy
(in Polish) Opis nakładu pracy studenta w ECTS
Term 2023/24_Z: LECTURE
Estimated student workload:
- participation in classes 30 hours,
- participation in the exam 1 hour,
- 2-hour consultations with the tutor,
- preparation for classes 5 hours,
- preparation for the exam 14 hours,
a total of 52 hours, which corresponds to 2 ECTS.
LABORATORIES
Estimated student workload:
- participation in classes 30 hours,
- consultations with the teacher 3 hours,
- homework 30 hours,
- preparation for verification 15 hours,
in total 78 hours, which corresponds to 3 ECTS. | Term 2025/26_Z: LECTURE
Estimated student workload:
- class participation: 30 hours,
- exam participation: 2 hours,
- consultations with the instructor: 3 hours,
- class preparation: 5 hours,
- exam preparation: 10 hours,
total: 50 hours, equivalent to 2 ECTS.
LABORATORIES
Estimated student workload:
- class participation: 30 hours,
- consultations with the instructor: 3 hours,
- homework: 10 hours,
- class preparation: 5 hours,
- assessment preparation: 12 hours,
- project preparation: 15 hours,
total: 75 hours, equivalent to 3 ECTS. | Term 2026/27_Z: (in Polish) WYKŁAD
uczestnictwo w zajęciach: 30 godz.
udział w egzaminach poza zajęciami: 3 godz.
udział w konsultacjach: 4 godz.
przygotowanie do zajęć: 2 godz.
przygotowanie do egzaminu: 11 godz.
Łącznie 50 godz.
1,5 ECTS - kontakt bezpośredni z prowadzącym
0,5 ECTS - praca własna
LABORATORIUM
uczestnictwo w zajęciach: 30 godz.
udział w konsultacjach: 4 godz.
przygotowanie do zajęć: 30 godz.
przygotowanie do zaliczenia: 11 godz.
Łącznie 75 godz.
1,4 ECTS - kontakt bezpośredni z prowadzącym
1,6 ECTS - praca własna | Term 2022/23_Z: LECTURE
Estimated student workload:
- participation in classes 30 hours,
- participation in the exam 1 hour,
- 2-hour consultations with the tutor,
- preparation for classes 5 hours,
- preparation for the exam 14 hours,
a total of 52 hours, which corresponds to 2 ECTS.
LABORATORIES
Estimated student workload:
- participation in classes 30 hours,
- consultations with the teacher 3 hours,
- homework 30 hours,
- preparation for verification 15 hours,
in total 78 hours, which corresponds to 3 ECTS. |
Subject level
advanced
Learning outcome code/codes
(in Polish) wykład: I2_W01, I2_W05
laboratorium: I2_U01, I2_U02, I2_U04, I2_U08, I2_K05
OPIS SYMBOLI
wykład - Absolwent:
I2_W01 - w pogłębionym stopniu zna i rozumie teoretyczne podstawy informatyki i technologii informatycznych,
I2_W05 - w pogłębionym stopniu zna i rozumie metody weryfikacji semantyki programów, a także pojęcia poprawności programów oraz techniki i formalizmy dla ich dowodzenia.
laboratorium - Absolwent:
I2_U01 - potrafi stosować matematyczne metody analizy algorytmów i procesów,
I2_U02 - potrafi stosować wiedzę matematyczną i techniczną do formułowania, analizowania i rozwiązywania zadań związanych z informatyką,
I2_U04 - potrafi posługiwać się semantyką formalną przy wnioskowaniu o poprawności programów,
I2_U08 - potrafi określić kierunki dalszego uczenia się i realizować proces samokształcenia,
I2_K05 - jest gotowy do myślenia i działania w sposób kreatywny i przedsiębiorczy.
Type of subject
obligatory
Preliminary Requirements
(in Polish) Znajomość podstaw logiki matematycznej, matematyki dyskretnej oraz programowania.
Course coordinators
Term 2026/27_Z: | Term 2023/24_Z: | Term 2019/20_Z: | Term 2021/22_Z: | Term 2020/21_Z: | Term 2022/23_Z: | Term 2024/25_Z: | Term 2025/26_Z: |
Additional information
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: