# CSU12002 – Mathematics II

## Module Learning Outcomes

On successful completion of this module, students will be able to:

1. Use the language, notation and methods of symbolic logic, set theory and number theory;
2. Produce coherent, convincing mathematical proofs using formal symbol manipulation and logical reasoning;
3. Distinguish valid from invalid arguments;
4. Demonstrate the use of set theory in applications to computer science;
5. State and prove theorems in number theory;
6. Relate and apply concepts from number theory to practical application in computer science.

## Module Content

Mathematics is of interest to computer scientists due to the fact that it is both practical and theoretical in nature. Not only does it have a myriad of applications (e.g. in machine learning and cryptography), it is also of intrinsic interest to theoretical computer scientists. This module aims to reflect these properties by providing students with an introduction to the discrete mathematics which lies at the foundation of all reasoning about computer systems.

The module aims to develop student skills in propositional and predicate logic, set theory and number theory. Students are actively encouraged to exercise these skills in applications that arise in computer science and discrete mathematics. In particular, students should develop some key skills in formal mathematical proof construction.

The module also aims to encourage and foster the development of independent, reflective learning skills. During the module it is expected that students will adapt their learning style to become more independent, self-motivated learners.

## Teaching and Learning Methods

The module will employ a variety of teaching and learning methods including formal lectures, large group problem solving classes and small group tutorials.

## Assessment Details

Note that it may be necessary to reduce the number of assessed assignments (if insufficient demonstrators are available). The weights of these assignments will be redistributed over the other assignments in the semester.

## Reassessment Details

In-Person Examination (Time-Limited), 2 hours, 100%.

## Contact Hours and Indicative Student Workload

• Discrete Mathematics and Its Applications, Kenneth Rosen (McGraw Hill).

## Module Pre-requisites

Prerequisite modules: CSU11001

Other/alternative non-module prerequisites: N/A

N/A

Blackboard