## Mathematics for Computing

**Module code:** COS4014-B

### Module Aims

To provide the foundations for formal specification and modelling of computer systems

### Outline Syllabus

- Introduction to Discrete Mathematics: Sets and relations, logic, functions, graph theory
- Introduction to Computer Theory: Basic concepts of formal language theory; alphabets, strings, languages, operations on strings and languages, recursive definitions, regular expressions, Finite automata, Deterministic and non-deterministic finite automata, Kleene's theorem, Pushdown automata, Context-free grammars, Turing machines, Computability, Decidability
- Introduction to Probability and Statistics: Averages, standard deviation, probability and conditional probability of events, probability distribution