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
Introduction to Discrete Mathematics: Sets and relations, logic, functions, graph theory.
Introduction to the techniques available for numerical differentiation and integration and basic concept of error analysis and iteration using Matlab/Scilab.