Skip to main content

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

CS138 15 CATS (7.5 ECTS) Term 1


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.


  • 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.


  • 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.


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


30 lectures and 9 seminars