University of St Andrews

Key information

SCOTCAT credits : 15

ECTS credits : 7

Level : SCQF level 10

Semester: 1

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 hr x 10 weeks lectures, 1 hr x 5 weeks tutorial/discussion.

Scheduled learning hours: 25

Guided independent study hours: 125

Assessment pattern

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


Re-assessment: 3-hour Examination = 40%, Coursework = 60%

Personnel

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