F17LP Logic and Proof

Prof Mark LawsonDr Hind Zantout

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 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.