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.
Assessment Methods: Due to covid, assessment methods for Academic Year 2021-22 may vary from those noted on the official course descriptor. Please see the Computer Science Course Weightings and the Maths Course Weightings for 2020-21 Semester 1 assessment methods.
SCQF Level: 11.
Credits: 15.