CS138 15 CATS (7.5 ECTS) Term 1
Core - CBS
To equip students with mathematical knowledge and skills relevant to their interests, and provide a foundation for modules in subsequent years of study.
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