Programme And Module Handbook
Course Details in 2019/20 Session

If you find any data displayed on this website that should be amended, please contact the Curriculum Management Team.

Module Title LC Logic & Computation
SchoolComputer Science
Department Computer Science
Module Code 06 30399
Module Lead TBC
Level Certificate Level
Credits 20
Semester Semester 2
Pre-requisites LC Mathematical Foundations of Computer Science - (06 30395)
Restrictions None
Contact Hours Lecture-33 hours
Practical Classes and workshops-11 hours
Guided independent study-156 hours
Total: 200 hours
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.
Learning Outcomes By the end of the module students 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 30399-01 : Examination : Exam (Centrally Timetabled) - Written Unseen (80%)
30399-02 : Continuous Assessment : Coursework (20%)
Assessment Methods & Exceptions Assessment:
2hr Examination (80%),
Continuous Assessment (20%)

2hr Examination (100%)
Other Duplicate of Birmingham-based module 30180
Reading List