Students who undertake this unit should normally have at least 3 A-level passes, (or equivalent) at grades A,B,B or above.
Aims: To introduce logic and set theory, as used in computer science, and to give elementary explanations of the classical computational structures, such as the integers and the real numbers, and to indicate some of the applications.
Learning Outcomes:
1) To be able to understand and use the language of mathematics.
2) To be able to write simple proofs using, for example, induction.
Skills: Application of Number (T/F, A).
Content: Standard logical operators, predicates, quantifiers. Set-theoretic language. Maps, functions. Injective, surjective, bijective maps. Proof by induction and its relation to recursion. Cartesian products, relations, equivalence relations. Rational numbers. Cauchy sequences, real numbers. Partially ordered sets. Groups, rings, fields.
| |