Gwybodaeth Modiwlau

Computer Science students have very diverse mathematical experiences and abilities. Less well prepared students struggle with basic concepts, even in part I, and we find ourselves advising part II students to avoid some of our most exciting part II offerings.

This module aims to provide students with the basic skills needed for successful completion of part I, and will ensure that all Computer Science students are provided with the mathematical skills needed to ensure accessibility of all our part II modules.

This module is mandatory for all computer science schemes except those taking computer science as a minor part of their degree or as part of a joint degree.

CS10410 will provide students with a range of fundamental skills in mathematics and logical reasoning, which will support their learning in programming, architecture, communications, artificial intelligence, robotics and multimedia.

1. Sets: what are sets and how do we describe them; cardinality; subset; power set; set union, intersection and difference; Cartesian product; disjoint union; universal set; complement of a set.

2. Relations and Functions: relations and their representation; injection, surjection, bijection; functions; commutativity, associativity, identity.

3. Numbers: natural numbers, integers, rational numbers, real numbers, complex numbers; arithmetic in different bases; fractions; expressing numbers to a given number of significant figures and to a given number of decimal places; graphs of functions; rates of growth of functions.

4. Basic Algebra: simplification of algebraic expressions; factors; arithmetic involving symbolic fractions; formula transposition; linear and quadratic equations.

5. Exponents and Logarithms: simplifying exponential expressions; logarithms to any base; the log and exponential functions; equations involving e and ln.

6. Logic and reasoning: truth tables for Boolean operators; unquantified propositions; using quantifiers to express statements about collections of values; manipulating quantified statements; axioms and theories; logical argument; valid and invalid reasoning.