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.

SCQF Level: 7.

Credits: 15.