Computer Science (3 Years) [BSc]

Logic and Modelling

Unit code: COMP21111
Credit Rating: 10
Unit level: Level 2
Teaching period(s): Semester 1
Offered by School of Computer Science
Available as a free choice unit?: Y



Additional Requirements

Students who are not from the School of Computer Science must have permission from both Computer Science and their home School to enrol.


To enrol students are required to have taken COMP11120 or one of the following: MATH10111, MATH10131 , MATH10212, MATH10232.


This course intends to build an understanding of fundamentals of (mathematical) logic as well as some of the applications of logic in modern computer science, including hardware verification, finite domain constraint satisfaction and verification of concurrent systems.


This is a unique course developed at the University of Manchester. It explains how implementations of logic can be used to solve a number a number of problems, such as solving hardest Sudoku puzzles in no time, analysing two-player games, or finding serious errors in computer systems

Teaching and learning methods


22 in total, 2 per week, including some feedback sessions on exercises

Learning outcomes

Learning outcomes are detailed on the COMP21111 course unit syllabus page on the School of Computer Science's website for current students.

Employability skills

  • Analytical skills
  • Innovation/creativity
  • Problem solving
  • Research

Assessment methods

  • Written exam - 80%
  • Written assignment (inc essay) - 20%


  • Propositional logic
  • Conjunctive normal form (CNF)
  • DPLL satisfiability algorithm
  • Randomized satisfiability algorithms
  • Compact representations of Boolean functions using BDTs/BDDs/OBDDs
  • Quantified Boolean Logic (QBF) Splitting and DPLL algorithms for QBF 
  • Propositional logic of finite domains
  • State-changing systems 
  • Linear temporal logic (LTL)
  • Model checking

Recommended reading

COMP21111 reading list can be found on the School of Computer Science website for current students.

Feedback methods

My Website of this course will contain a lot of material, including solutions to exercises

Study hours

  • Assessment written exam - 2 hours
  • Lectures - 24 hours
  • Practical classes & workshops - 9 hours
  • Independent study hours - 65 hours

Teaching staff

Konstantin Korovin - Unit coordinator

▲ Up to the top