Kursens utveckling
På denna sida kan du följa hur kursen har utvecklats över tid. När kursanalysen har publicerats visas kursdata för varje kurstillfälle, inklusive examination, antal registrerade studenter, kursresultat samt planerade förändringar inför nästa kurstillfälle. 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, programansvariga m.fl. kan använda sidan som ett stöd vid kursutveckling.
2020
Doktorand ( Start date 24/08/2020, English ) , Autumn 2020-1 ( Start date 24/08/2020, English )
Förändringar som införs till nästa kursomgång
Ingen information tillagd
Kursansvarig
Dilian GurovExaminator
Dilian GurovStudenter
12*Kursplan
Kursplan DD2452 ( VT 2019 - )Kurs-PM
Inget kurs-PM tillagtInget kurs-PM tillagtObligatorisk inom program
Ingen information tillagdKursanalys
Kursanalys DD2452: 2021-06-21Förändringar som har införts till den här kursomgången
The second lab assignment has been simplified and adapted better to the course goals.Kursdata har registrerats manuellt
Examinationsgrad
20%*
2019
form19 ( Start date 26/08/2019, English )
Förändringar som införs till nästa kursomgång
Ingen information tillagd
Kursansvarig
Dilian GurovExaminator
Dilian GurovStudenter
15Kursplan
Kursplan DD2452 ( VT 2019 - )Kurs-PM
Inget kurs-PM tillagtObligatorisk inom program
Ingen information tillagdKursanalys
Kursanalys DD2452: 2020-09-08Förändringar som har införts till den här kursomgången
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
Examinationsgrad
73.3%*