To provide the foundations for formal specification and modelling of computer systems. To provide the foundations for the use of computer technology for computations mathematics.

Outline Syllabus

a) Introduction to Discrete Mathematics: Sets and relations, logic, functions, graph theory. Introduction to formal languages, finite state automata and regular expressions.

(b) Introduction to the techniques available for differentiation, and integration and concepts of matrices, probability.