Kursens utveckling
På denna sida publicerar kursansvarig eller examinator kursanalyser med kursdata för en kursomgång. När kursanalysen är publicerad visas kursdata, kurs-PM och kursplan. Alla kursplaner och publicerade kurs-PM visas på sidan Arkiv.
Presumtiva, nuvarande, och tidigare studenter kan ta del av informationen som hjälp vid kursval, eller för att följa upp sitt eget deltagande. Lärare, kursansvariga, examinatorer m.fl. kan använda sidan som ett stöd vid kursutveckling.
2024
När kursanalysen är publicerad visas kursdata, kurs-PM och kursplan.
2023
När kursanalysen är publicerad visas kursdata, kurs-PM och kursplan.
2022
När kursanalysen är publicerad visas kursdata, kurs-PM och kursplan.
2021
När kursanalysen är publicerad visas kursdata, kurs-PM och kursplan.
2020
När kursanalysen är publicerad visas kursdata, kurs-PM och kursplan.
2019
semant19 ( Start date 18/03/2019, English )
Kursplan DD2457 ( VT 2019 - VT 2021 )Inget kurs-PM tillagtKursanalys: 2020-09-08| Kursansvarig | Examinator | Studenter | Examination | Resultat | Förändringar som har införts till den här kursomgången |
|---|---|---|---|---|---|
| Dilian Gurov | Dilian Gurov | 32 | HEM1 (2.0) P, F LAB1 (2.0) P, F TEN1 (2.0) A, B, C, D, E, FX, F | 43.8 % * | The main thing that needs to be changed is to align the material on Axiomatic Semantics (aka Hoare logic) to the corresponding material about this in the Formal Methods course. This course should focus on the theoretical aspects, and the relationship between axiomatic semantics to the other semantics. |
Kursdata har registrerats manuellt
Ytterligare data om kursanalysen
Kursanalysen gäller för följande kursomgångar
Obligatorisk inom program
Ingen information tillagd
Publicerad första gången
2020-09-08
Senaste ändrad
ej ändrad efter publicering