Course development
On this page, the course coordinator or examiner will publish course analyses with course data for a course offering. When the course analysis has been published, the course data, the course memo, and the course syllabus are displayed. All course syllabuses and course memos are shown on the page Archive.
The information can help prospective, current, and former students with course selection, or to follow up on their own participation. Teachers, course coordinators, examiners, etc. can use the page as support in course development.
2025
When the course analysis has been published, the course data, course memo and course syllabus are displayed.
2024
When the course analysis has been published, the course data, course memo and course syllabus are displayed.
2023
When the course analysis has been published, the course data, course memo and course syllabus are displayed.
2022
When the course analysis has been published, the course data, course memo and course syllabus are displayed.
2021
When the course analysis has been published, the course data, course memo and course syllabus are displayed.
2020
When the course analysis has been published, the course data, course memo and course syllabus are displayed.
2019
semant19 ( Start date 18/03/2019, English )
Course syllabus DD2457 ( Spring 2019 - Spring 2021 )No course memo addedCourse analysis: 8 Sept 2020| Coordinator | Examiners | Students | Examination | Result | Changes of the course before this course offering |
|---|---|---|---|---|---|
| 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. |
Course data has been registered manually
Additional data about the course analysis
The course analysis applies to following course offerings
Compulsory within programme
No information inserted
Published first time
8 Sept 2020
Last time changed
No changes since first published.