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
