Programming Theory
Syllabus, Bachelor's level, 1DT007
This course has been discontinued.
- Code
- 1DT007
- Education cycle
- First cycle
- Main field(s) of study and in-depth level
- Computer Science G2F, Technology G2F
- Grading system
- Fail (U), Pass (3), Pass with credit (4), Pass with distinction (5)
- Finalised by
- The Faculty Board of Science and Technology, 19 March 2007
- Responsible department
- Department of Information Technology
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 tutorials.
Assessment
The theoretical part covers 4.5 credits and is examined with exam. The practical part covers 3 credits and is examined with assignments.