Programme And Module Handbook
Course Details in 2024/25 Session

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

Module Title LC Mathematical and Logical Foundations of Computer Science
SchoolComputer Science
Department Computer Science
Module Code 06 35324
Module Lead Vincent Rahli
Level Certificate Level
Credits 20
Semester Semester 1
Restrictions Incoming exchange students should have the equivalent of grade A at A-level in Mathematics.
Contact Hours Lecture-44 hours
Practical Classes and workshops-22 hours
Guided independent study-134 hours
Total: 200 hours
Description Mathematical and logical reasoning underpins almost all of Computer Science, from linear algebra in graphics and machine learning, to algebra in cryptography and logic in verification. This module introduces essential topics in mathematics and logic including linear algebra; abstract algebra; set theory (a fundamental language of mathematics); and propositional and predicate logic. The key ideas will be illustrated with applications across a range of topics in computer science.
Learning Outcomes By the end of the module students should be able to:
  • Solve mathematical problems in algebra and set theory
  • Understand and apply algorithms for key problems in logic such as satisfiability.
  • Write formal proofs for propositional and predicate logic
  • Apply mathematical and logical techniques to solve a problem within a computer science setting
Assessment 35324-01 : Continuous Assessment : Coursework (20%)
35324-03 : Examination : Exam (Centrally Timetabled) - Written Unseen (80%)
Assessment Methods & Exceptions

Examination (80%),
Continuous Assessment (20%)

Examination (100%)
Other (Edgbaston version of Dubai module 35391)
Reading List