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