University of St Andrews

Key information

SCOTCAT credits : 15

ECTS credits : 7

Level : SCQF level 10

Semester: 2

Availability restrictions: Not automatically available to General Degree students

Planned timetable: To be arranged.

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.

Relationship to other modules

Pre-requisite(s): Before taking this module you must pass CS2002 and ( pass CS2001 or pass CS2101 )

Learning and teaching methods and delivery

Weekly contact: 2 lectures (x 11 weeks) and fortnightly tutorial.

Scheduled learning hours: 28

Guided independent study hours: 122

Assessment pattern

As used by St Andrews: 2-hour Written Examination = 60%, Coursework = 40%

As defined by QAA
Written examinations : 60%
Practical examinations : 0%
Coursework: 40%

Re-assessment: 2-hour Written Examination = 60%, Existing Coursework = 40%

Personnel

Module teaching staff: TBC Module coordinator(s): Honours Coordinator - Computer Science (hons-coord-cs@st-andrews.ac.uk)