CSU12002 – Mathematics II

Module CodeCSU12002
Module NameMathematics II
ECTS Weighting[1]5 ECTS
Semester taughtSemester 2
Module Coordinator/s  Dr. Meriel Huggard

Module Learning Outcomes

On successful completion of this module, students will be able to:
LO1. Use the language, notation and methods of symbolic logic, set theory and number theory.
LO2. Produce coherent, convincing mathematical proofs using formal symbol manipulation and logical reasoning.
LO3. Distinguish valid from invalid arguments.
LO4. Demonstrate the use of set theory in applications to computer science.
LO5. State and prove theorems in number theory.
LO6. 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

Assessment ComponentBrief DescriptionLearning Outcomes Addressed% of totalWeek setWeek Due
Examination 2 hour time limited in-person examinationLO1, LO2, LO3,
LO4, LO5, LO6
Mid-semester testMid- semester testLO1, LO2, LO3,20%66
AssignmentsQuizzes and assignments (roughly every two weeks), participation LO1, LO2, LO3, LO4,
LO5, LO6

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

Contact Hours (scheduled hours per student over full module), broken down by:44 hours
Lecture33 hours
Tutorial or seminar11 hours
Independent study (outside scheduled contact hours), broken down by:72  hours
Preparation for classes and review of material (including preparation for examination, if applicable36 hours
Completion of assessments (including examination, if applicable)36 hours
Total Hours116 hours

Required Reading List

  1. Discrete Mathematics and its Applications, Kenneth Rosen (McGraw Hill)

Module Pre-requisites

Prerequisite modules: None.

Other/alternative non-module prerequisites: none

Module Co-requisites


Module Website