Skip to content

Module Catalogue

Breadcrumbs navigation

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