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 2020/21_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 2022/23_Z: (in Polish) E-Learning (pełny kurs) z podziałem na grupy | Term 2023/24_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
Course coordinators
Term 2023/24_Z: | Term 2026/27_Z: | Term 2024/25_Z: | Term 2019/20_Z: | Term 2021/22_Z: | Term 2020/21_Z: | Term 2025/26_Z: | Term 2022/23_Z: |
(in Polish) Opis nakładu pracy studenta w ECTS
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. | 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 |
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.
Additional information
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: