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