Academic year(s): 2018-2019
SCOTCAT credits : 15
ECTS credits : 7
Level : SCQF Level 10
Availability restrictions: Not automatically available to General Degree students
This module introduces constraint-based reasoning as a powerful mechanism for knowledge representation and inference. It provides a thorough grounding in the constraint satisfaction/constrained optimisation problem formalism, and covers both basic techniques for implementing constraint solvers and the use of advanced techniques with a modern solver.
Pre-requisite(s): Before taking this module you must pass CS2002 and ( pass CS2001 or pass CS2101 )
Weekly contact: 2 lectures (x 11 weeks) and fortnightly tutorial.
Scheduled learning hours: 28
Guided independent study hours: 122
As used by St Andrews: 2-hour Written Examination = 60%, Coursework = 40%
As defined by QAA
Written examinations : 60%
Practical examinations : 0%
Re-assessment: 2-hour Written Examination = 60%, Existing Coursework = 40%