University of Malta

Study-Unit Description
UOM Main Page
Apply - Admissions 2016
Campus Map button


TITLE Discrete Mathematics for Computing Science

LEVEL 01 - Year 1 in Modular Undergraduate Course


DEPARTMENT Computer Science

DESCRIPTION The study-unit is primarily aimed to introduce fundamental mathematical tools that are required for the formal and rigorous treatment of the various aspects of computing. The importance of formal reasoning is emphasised in the study-unit, concentrating on syntax, and formal proofs. The study-unit builds upon the basic mathematical tools presented in CPS1002, and similarly explains various mathematical notions and structures that will be used in later study-units.

The study-unit introduces fundamental mathematical concepts - the use of axioms, rules of inference and syntactic definitions to express concepts in a precise mathematical notation, thus making them amenable to formal reasoning and proof.

- Natural Numbers and cardinality, including reasoning about infinite sets;
- Further sequences, multisets, graph theory;
- Principles of Induction and structured types.

Study-unit Aims:

The main aims of the study-unit are to continue to:
- Provide the students with an understanding of mathematical tools pertaining to discrete structures which will be required to reason and understand scientific and engineering notions later on in the degree programme;
- Build and strengthen the students' skills in decomposing and tackling abstract problems - indirectly applicable to many computing domains, from programming, to information management.

Learning Outcomes:

1. Knowledge & Understanding:

By the end of the study-unit the student will be able to:
- Understand further the underlying notions underneath many computing concepts, such as programming, complex data structures and databases;
- Reason formally about such concepts;
- Apply various mathematic tools (logic, set theory, etc.) and fundamental results which are used in later on in the programme of study.

2. Skills:

By the end of the study-unit the student will be able to:
- Use tools of proof and mathematical reasoning which will be applied in other study-units;
- Reason mathematically about programs and systems.

Main Text/s and any supplementary readings:

Main text:

- Gordon J. Pace, Mathematics of Discrete Structures for Computer Science, Springer-Verlag. ISBN 978-3-642-29839-4, 2012

Supplementary reading:

- Andrew Simpson, Discrete Mathematics by Example, McGraw-Hill, ISBN 0-07-709840-4, 2002
- John O'Donnell, Cordelia Hall, Rex Page, Discrete Mathematics Using a Computer, Springer-Verlag, 2006

ADDITIONAL NOTES Students taking this study-unit are assumed to have knowledge of the material covered in CPS1002.

STUDY-UNIT TYPE Lecture, Independent Study & Tutorial

Assessment Component/s Resit Availability Weighting
Examination (2 Hours) Yes 100%

LECTURER/S Gordon J. Pace

The University makes every effort to ensure that the published Courses Plans, Programmes of Study and Study-Unit information are complete and up-to-date at the time of publication. The University reserves the right to make changes in case errors are detected after publication.
The availability of optional units may be subject to timetabling constraints.
Units not attracting a sufficient number of registrations may be withdrawn without notice.
It should be noted that all the information in the study-unit description above applies to the academic year 2017/8, if study-unit is available during this academic year, and may be subject to change in subsequent years.
Study-unit Registration Forms 2017/8


For Undergraduate (Day) and Postgraduate students.


Academic Advisors 2017/8


Academic Advisors for ICT 1st year students (Intake 2017/8), NOW available

Faculty of ICT Timetables


ICT Timetables are available from Here.

Health and Safety Regulations for Labs Form

The Faculty of ICT Health and Safety Regulations for Laboratories form can be found here



Log In back to UoM Homepage