# Course Details

Course Information Package

Course Unit TitleDISCRETE MATHEMATICS
Course Unit CodeACSC191
Course Unit DetailsBSc Computer Engineering (Required Courses) - BSc Computer Science (Required Courses) -
Number of ECTS credits allocated5
Learning Outcomes of the course unitBy the end of the course, the students should be able to:
1. Discuss the core principles of mathematical logic and its applicability to computer science.
2. Use symbolic logic and truth tables to prove equivalence of statements by determining the validity of arguments and formulate statements into symbolic form using logical connectives and quantifiers.
3. Identify and correctly employ different methods of proofs including direct proofs, proofs by contradiction and mathematical induction.
4. Develop ability of dealing with abstract notions and reasoning through the introduction and manipulation of basic ideas from the theory of sets, functions and relations.
5. Apply Boolean combination of sets and operations on such expressions, examine various characterisations of functions and relations, analyse their properties and ways of combining them; and compare matrix and graphical methods for their representation.
6. Describe main counting techniques including the Inclusion-Exclusion and Pigeonhole principle and employ them to solve problems of combinatorial nature.
7. Discuss basic concepts of Elementary Graph Theory, decide whether a graph is Eulerian or not and employ Kruskall’s algorithm for finding minimal spanning trees in related problem situations.
Mode of DeliveryFace-to-face
PrerequisitesNONECo-requisitesNONE
Recommended optional program componentsNONE
Course Contents

Mathematical logic: Propositional Algebra; Logical Operators; Basic logic Equivalences; Predicates; Quantifiers.

Proof Methods: Direct Proofs; Mathematical Induction; Contradiction and Contraposition.

Sets: Basic Definitions; Set operations; Venn diagrams; Set Identities

Relations and Functions: Relations; Equivalence Relations; Equivalence Classes; Definition and Properties of Functions; Inverse Functions; Composition of Functions.

Combinatorics: Basic counting principles; Permutations and Combinations.

Graph Theory: Terminology, Graph Representation and Isomorphism; Connectivity; Traversability; Eulerian graphs; Kruskall’s algorithm for finding Minimal Spanning Trees.