Programming Theory
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 (5), Pass with credit (4), Pass (3), Fail (U)
- Finalised by
- The Faculty Board of Science and Technology, 4 October 2007
- Responsible department
- Department of Information Technology
Entry requirements
Bachelor's degree with 30 credits in mathematics and 30 credits in computer science, including basic programming, data structures, and elementary logic.
Learning outcomes
After completing this courses students will understand what it means 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.