Course co-ordinator(s): Prof Mark Lawson (Edinburgh), Dr Hind Zantout (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.
Assessment Methods: Due to covid, assessment methods for Academic Year 2020-21 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: 7.
Credits: 15.