Στόχοι Μαθήματος: Να δώσει μια πλατιά γνώση ως προς βασικές έννοιες των Διακριτών Μαθηματικών σε σχέση με μαθηματική λογική, άλγεβρα του Boole και θεωρίας των γράφων, οι οποίες μπορούν να καταστούν εργαλεία καλύτερης κατανόησης και επίλυσης σχετικών εφαρμογών πληροφορικής.

Μαθησιακά Αποτελέσματα: Απόκτηση επιπλέον σημαντικού υπόβαθρου για χρήση σε εφαρμογές στην Πληροφορική.

Περιεχόμενο Μαθήματος: Μαθηματική λογική, προτάσεις, κατηγορήματα, συμπερασματολογικοί κανόνες, Εισαγωγή στις αποδεικτικές μεθόδους, Ακολουθίες, αρχές επαγωγής, θεωρία αναδρομών, Θεωρία των συνόλων, Σχέσεις, συναρτήσεις, σχέσεις ισοδυναμίας, Άλγεβρα του Boole και εφαρμογές, Συνδυαστική, μεταθέσεις, συνδυασμοί, Αλγόριθμοι, θεμελιώδεις αρχές, αποδοτικότητα, Συστήματα αρίθμησης, Γράφοι, διαδρομές, αλγόριθμοι, δέντρα, παράγον δέντρο.