Programming Theory

10 credits

Syllabus, Master's level, 1DT034

Code
1DT034
Education cycle
Second cycle
Main field(s) of study and in-depth level
Computer Science A1N, Embedded Systems A1N
Grading system
Pass with distinction, Pass with credit, Pass, Fail
Finalised by
The Faculty Board of Science and Technology, 30 August 2018
Responsible department
Department of Information Technology

Entry requirements

120 credits with 30 credits in mathematics and 30 credits in computer science, including basic programming, data structures, and elementary logic. Proficiency in English equivalent to the Swedish upper secondary course English 6.

Learning outcomes

On completion of the course, the student should be able to:

write rigorous descriptions of implementations and specifications of programs,

verify programs, i.e. prove that the implementation of a program meets its specification, and

synthesise programs, i.e. to derive a correct program from a given specification.

Content

The course will contain the following topics:

logical proofs, specification and correctness of programs, weakest preconditions, invariants, partial correctness, termination proofs, total correctness, and program synthesis.

Instruction

Lectures and tutorials.

Assessment

Written exam and assignments.

If there are special reasons for doing so, an examiner may make an exception from the method of assessment indicated and allow a student to be assessed by another method. An example of special reasons might be a certificate regarding special pedagogical support from the disability coordinator of the university.

FOLLOW UPPSALA UNIVERSITY ON

facebook
instagram
twitter
youtube
linkedin