University of St Andrews

Key information

SCOTCAT credits : 15

ECTS credits : 7

Level : SCQF level 9

Semester: 1

Planned timetable: To be confirmed

This module covers the foundations of logic that are relevant to computer scientists, with an emphasis on automatic reasoning and decidability. Topics include propositional and predicate calculus, various proof techniques, and Goedel's incompleteness theorem

Relationship to other modules

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

Anti-requisite(s): You cannot take this module if you take PY4612

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%

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

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

Personnel

Module coordinator: Dr M J Nederhof
Module teaching staff: TBC Module coordinator(s): Honours Coordinator - Computer Science (hons-coord-cs@st-andrews.ac.uk)
Module coordinator email mn31@st-andrews.ac.uk