Πρόκειται για προπτυχιακό μάθημα του 2ου εξαμήνου, του τμήματος Εφαρμοσμένης Πληροφορικής. Οι μαθησιακοί στόχοι του μαθήματος είναι η μελέτη και κατανόηση διακεκριμένων αντικειμένων και των μεταξύ τους σχέσεων, όπως επίσης και η μελέτη και υλοποίηση υπολογιστικών μεθόδων σε πεπερασμένες αλγεβρικές δομές.
Χαρακτηριστικά παραδείγματα αλγορίθμων.
Εισαγωγή, λογικές πράξεις & τελεστές. Προτασιακός λογισμός, κατηγορήματα & ποσοδείκτες, μέθοδοι απόδειξης.
Συνοπτική θεωρία συνόλων. Κανόνες του αθροίσματος και του γινομένου.
Πείραμα τύχης & ενδεχόμενα. Πράξεις με ενδεχόμενα. Πιθανότητα & δεσμευμένη πιθανότητα.
Διμελείς σχέσεις. Αναπαράσταση των διμελών σχέσεων. Ιδιότητες των σχέσεων. Σχέσεις ισοδυναμίας και μερικές διατάξεις. Διμελείς Πράξεις. Εσωτερική πράξη και κλάσεις ισοδυναμίας.
Διαιρετότητα, ευκλείδειος αλγόριθμος, κατάλοιπα.