School of Computer Science

Module 06-30180 (2018)

Logic and Computation

Level 1/C

Dan Ghica David Parker Semester 2 20 credits
Co-ordinator: Dan Ghica
Reviewer: David Parker

The Module Description is a strict subset of this Syllabus Page.

Outline

Logic is the study of the principles of reasoning, and lies at the foundations of computation. This module introduces logic and a variety of techniques for proving the correctness of logical arguments. This is illustrated with applications across a range of topics in computer science, including methods to ensure the correctness of programs in a principled way.


Aims

The aims of this module are to:


Learning Outcomes

On successful completion of this module, the student should be able to:

  • Write formal proofs for propositional and predicate logic
  • Understand and apply algorithms for key problems in logic such as satisfiability
  • Understand the connections between logic, types and reasoning about functional programming languages

Restrictions


Pre-requisites

  • 06-30181 - Mathematical Foundations of Computer Science

Teaching methods

Lectures, Unsupervised Labs

Contact hours: 33


Assessment

Assessments: 2hr Examination (80%), Continuous Assessment (20%) Reassessment: 2hr Examination (100%)


Detailed Syllabus


Programmes containing this module