Knowledge and Understanding
Having successfully completed the module, you will be able to demonstrate knowledge and understanding of:
A1. Principles of mathematical proof and sound logical reasoning
A2. The interplay of syntax and semantics in mathematics, logic and computer science
A3. The language of set theory and common operations on sets, including infinite sets.
A4. Functions and relations as fundamental structures in computer science.
A5. Logical systems and the concept of formal proof.
A6. Basic counting techniques and their applications to common data structures.
A7. Elementary ideas of probability theory and statistics.
A8. Elementary concepts of linear algebra.
Having successfully completed the module, you will be able to:
B1. Use the language of logic and set theory in order to make precise formal statements.
B2. Recognise, understand and construct rigorous mathematical proofs.
B3. Critically analyse and solve counting problems on finite, discrete structures.
B4. Apply operations on vectors and matrices and solve systems of linear equations.
B5. Calculate probabilities of events and recognise probability distributions
B6. Use statistical analysis, including sampling, hypothesis testing and regression
Referral Method: By examination