School of Computer Science

Module 30180 (2019)

Module description - Logic and Computation

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

Module Title Logic and Computation
School School of Computer Science
Module Code 06-30180
Level 1/C
Member of Staff Benedikt Ahrens Rajesh Chitnis
Semester Semester 2 - 20 credits
Pre-requisites
  • 06-30181 - Mathematical Foundations of Computer Science
Delivery

Lectures, Unsupervised Labs

Contact hours: 33

Description

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.

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
Assessment

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