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
Doktorand ( Start date 24/08/2020, English ) , Autumn 2020-1 ( Start date 24/08/2020, English )
Kursplan DD2452 ( VT 2019 - )Inget kurs-PM tillagtInget kurs-PM tillagtKursanalys: 2021-06-21Kursansvarig | Examinator | Studenter | Examination | Resultat | Förändringar som har införts till den här kursomgången |
---|---|---|---|---|---|
Dilian Gurov | Dilian Gurov | 12 * | HEMA (2.5) P, F LABA (2.5) A, B, C, D, E, FX, F TENA (2.5) A, B, C, D, E, FX, F | 20 % * | The second lab assignment has been simplified and adapted better to the course goals. |
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
2021-06-21
Senaste ändrad
ej ändrad efter publicering
2019
form19 ( Start date 26/08/2019, English )
Kursplan DD2452 ( VT 2019 - )Inget kurs-PM tillagtKursanalys: 2020-09-08Kursansvarig | Examinator | Studenter | Examination | Resultat | Förändringar som har införts till den här kursomgången |
---|---|---|---|---|---|
Dilian Gurov | Dilian Gurov | 15 | HEMA (2.5) P, F LABA (2.5) A, B, C, D, E, FX, F TENA (2.5) A, B, C, D, E, FX, F | 73.3 % * | The second lab assignment has been improved since last year, but will need further improvement. We plan to partially restructure the labs and tutorials to reduce the amount of routine work and to clarify their purpose and learning outcomes. We also plan to potentially either add a third lab (on theorem proving with Z3 for instance), or enlarge the first one. We also plan to add an invited lecture by a formal methods practitioner in industry. |
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