Kursens utveckling
DD2457 Programsemantik och programanalys 6,0 hp
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.
2019
semant19 ( Start date 18/03/2019, English )
Förändringar som införs till nästa kursomgång
Ingen information tillagd
Kursansvarig
Dilian GurovExaminator
Dilian GurovStudenter
32Kurs-PM
Inget kurs-PM tillagtObligatorisk inom program
Ingen information tillagdKursanalys
Kursanalys DD2457: 2020-09-08Förändringar som har införts till den här kursomgången
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
Examinationsgrad
43.8%*