F17LP Logic and Proof

Prof Mark LawsonDr Hind Zantout

Course co-ordinator(s): Prof Mark Lawson (Edinburgh), Dr Hind Zantout (Dubai).


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 2021/22 may vary from those noted on the official course descriptor. Please see:
- Maths (F1) Course Weightings 2021/22
- Computer Science (F2) Course Weightings 2021/22
- AMS (F7) Course Weightings 2021/22

SCQF Level: 7.

Credits: 15.