Course co-ordinator(s): Dr Kathrin Stark (Edinburgh), Dr Filip Sieczkowski (Edinburgh).
Aims:
- To gain working knowledge on formal proof verification and proof assistants
- To develop skills in analytical reasoning, systematic problem-solving and the development and clear communication of ideas
- To apply mathematical skills in the area of programming languages
Detailed Information
Course Description: Link to Official Course Descriptor.
Pre-requisite course(s): F17LP Logic and Proof .
Location: Edinburgh.
Semester: 1.
SCQF Level: 11.
Credits: 15.