Course co-ordinator(s): Prof Mark Lawson (Edinburgh), Dominic Miller (Dubai).
Aims:
To give an introduction to and an appreciation of the basic principles and techniques of logic and proof fundamental to Computer Science.
Detailed Information
Course Description: Link to Official Course Descriptor.
Pre-requisites: none.
Location: ALP, Dubai, Edinburgh.
Semester: 1.
SCQF Level: 7.
Credits: 15.