Semantics and the Verification of Software WM-MA-SWP
- https://e.uksw.edu.pl/course/view.php?id=14642
- https://kpi.fei.tuke.sk/sk/person/william-steingartner (term 2022/23_Z)
- https://kpi.fei.tuke.sk/sk/person/william-steingartner (term 2023/24_Z)
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_Z: (in Polish) E-Learning (pełny kurs) z podziałem na grupy | 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 2020/21_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: LECTURE
Estimated student workload:
- participation in classes 30 hours,
- participation in the exam 1 hour,
- consultations with the host for 2 hours,
- preparation for classes 5 hours,
- 14-hour exam preparation,
a total of 52 hours, which corresponds to 2 ECTS.
LABORATORIES
Estimated student workload:
- participation in classes 30 hours,
- consultations with the host for 3 hours,
- housework 30 hours,
- preparation for verification 15 hours,
a total of 78 hours, which corresponds to 3 ECTS. | Term 2022/23_Z: (in Polish) WYKŁAD
Szacunkowy nakład pracy studenta:
- uczestnictwo w zajęciach 30 h,
- uczestnictwo w egzaminie 1 h,
- konsultacje z prowadzącym 2 h,
- przygotowanie do zajęć 5 h,
- przygotowanie do egzaminu 14 h,
razem 52 h, co odpowiada 2 ECTS.
LABORATORIA
Szacunkowy nakład pracy studenta:
- uczestnictwo w zajęciach 30 h,
- konsultacje z prowadzącym 3 h,
- prace domowe 30 h,
- przygotowanie do weryfikacji 15 h,
razem 78 h, co odpowiada 3 ECTS. |
Subject level
Learning outcome code/codes
Type of subject
Preliminary Requirements
Course coordinators
Term 2023/24_Z: | Term 2019/20_Z: | Term 2021/22_Z: | Term 2020/21_Z: | Term 2022/23_Z: | Term 2024/25_Z: |
Learning outcomes
Lecture
Lecture: MA2_W01, MA2_W02, MA2_W11; laboratory: MA2_U01, MA2_U02, MA2_U19, MA2_K01
W1 - knows and understands the basics of the theory of formal languages and automata with applications (MA2_W01)
W2 - The student knows and understands the theoretical basis for deriving the strings in formal languages (MA2_W02)
W3 - The student knows and understands methods for verifying program syntax, as well as the concepts of program correctness and techniques and formalisms for proving them (MA2_W11)
Lab
U1 - can use selected mathematical methods to analyze the correctness of algorithms (MA2_U01),
U2 - can use various types of analysis to reason about the correct forms of strings according to the grammars (MA2_U19),
U3 - can independently apply the learned methods to similar structures in formal languages (MA2_U02),
K1 - is ready to actively participate in the laboratory and creatively solve problems (MA2_K01).
Assessment criteria
The following evaluation criteria are adopted for all effects in all forms of verification:
rating 5: fully achieved (no noticeable shortcomings),
rating 4.5: almost fully achieved and the criteria for awarding a higher rating are not met,
grade 4: achieved to a significant extent and the criteria for awarding a higher grade are not met,
grade 3.5: achieved to a significant extent - with a clear predominance of positives - and the criteria for awarding a higher grade are not met,
rating 3: achieved for most cases covered by the verification and the criteria for awarding a higher rating are not met,
grade 2: not achieved for most cases under review.
Bibliography
|
Term 2022/23_Z:
None |
Term 2023/24_Z:
None |
Additional information
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: