University of St Andrews - Scotland's first university, founded 1413

Module Catalogue

For information on which modules are specific to your programme, please see : Programme requirements index 2019-2020.

Curricular information may be subject to change.

CS3050 Logic and Reasoning

Academic year(s): 2019-2020

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 lectures (x 10 weeks), 1 lab session (x 5 weeks)

Scheduled learning hours: 25

Guided independent study hours: 121

Assessment pattern

As used by St Andrews: 40% Coursework, 60% Written Exam

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

Re-assessment: 40% Coursework (using existing coursework), 60% Written Exam (using exam resit)

Personnel

Module coordinator: Dr M J Nederhof
Module teaching staff: Dr Susmit Sarkar
Module coordinator email mn31@st-andrews.ac.uk