ACSC191: Discrete Mathematics

Lecturer: Dr Savvas Pericleous

This is the home page for the course ACSC191 (Nicosia campus).

Here you will find a course outline and the timetable of the course, class anouncements, course notes and other related material. You are requested to check this site regularly.

NICOSIA - ACSC191 Spring 2014 Timetable
Hour (Period)
08:30-09:20 (1)
09:30-10:20 (2)
12:50-13:40 (5)

Class Anouncements



  • Test 2 is scheduled for Tuesday, 16th of May 2017. Examinable material: Lectures 7- 10 (see Practice Problems 2 below)

  • Test 1 is scheduled for Friday, 31st of March 2017. Examinable material: Lectures 1- 6 (see Practice Problems 1 below)

Material to be downloaded (pdf files)

Here you will find the syllabus of the course, the assessment method and recommended textbooks

Course Outline
(pdf file)

Notes are provided in pdf format and can be downloaded by right-clicking on the link.

Notes and supporting material will become available as the course progresses.

The notes provided must not be considered as a replacement of either attendance of lectures or study of the suggested textbooks.

Their purpose is to assist you in your studying and provide you with guidelines on what you should be focusing on.


Lecture 01: Introduction to Discrete Mathematics
(pdf file)

Lecture 02: Intro to Mathematical Logic
(2slides/p or 6slides/p)

Lecture 03: Boolean Algebra
(2slides/p or 6slides/p)

Lecture 04: Predicate Logic
(2slides/p or 6slides/p)

Lecture 05: Proof methods
(2slides/p or 6slides/p)

Lecture 06: Inductive Proofs
(2slides/p or 6slides/p)

Lecture 07: Set Theory
(2slides/p or 6slides/p)

Lecture 08: Relations
(2slides/p or 6slides/p)

Lecture 09: Functions
(2slides/p or 6slides/p)

Lecture 10: Graphs and Trees
(2slides/p or 6slides/p)

Revision Exercises:
To prepare students for test and final exam

Practice Problems 1 - Mathematical Logic (pdf file)

Practice Problems 2 - Sets, Relations, Functions, Graphs (pdf file)

Additional Notes

Notes by M A. Lerma, Discrete Mathematics, 2005
(pdf file)


If you have any comments or queries concerning this page, contact:

Savvas Pericleous
Department of Computer Science and Engineering
Frederick University Cyprus
7 Yianni Frederickou Str., Pallouriotissa,
Nicosia 1036, Cyprus

e-mail : s [DOT] pericleous [AT] frederick [DOT] ac [DOT] cy

Back to Main Page