# CS138 Mathematics for Computer and Business Studies (No longer runs)

*CS138 15 CATS (7.5 ECTS) Term 1 *

## Availability

Core - CBS

## Academic Aims

To equip students with mathematical knowledge and skills relevant to their interests, and provide a foundation for modules in subsequent years of study.

## Learning Outcomes

By the end of the module the students should be able to:

- use logic and set theory to formalise and reason about properties of programs and databases.

- reason and calculate with basic probability.

- use effectively techniques for the analysis and transformation of vector spaces and the solution of sets of linear equations.

- perform operations of the differential and integral calculus with confidence and precision.

## Content

- Basic Logic: Statements, truth values, Boolean operators, laws of propositional logic, predicates, quantifiers, laws of predicate logic.
- Basic Probability: Definitions, conditional probability, Bayes' theorem, expectation.

- Linear Algebra: Vectors, linear independence, subspaces, basis, dimension.
- Matrix Algebra: Linear equations, inverses, linear transformations.
- Calculus: Limits, continuity, differentiable functions, integration, logarithms, exponentials.

## Books

- Rosen KH,
*Discrete Mathematics and its Applications (6th ed)*, McGraw-Hill, 2006. - Jeffrey A,
*Mathematics for Engineers and Scientists (6th ed)*, Chapman and Hall, 2005.

## Assessment

Three-hour examination (80%) and problem sheets (20%)

## Teaching

30 lectures and 9 seminars