
Σκοπός του Εκπαιδευτικού Προγράμματος είναι η εξοικείωση των συμμετεχόντων με τη μαθηματική λογική σκέψη, καθώς και με ένα σημαντικό σύνολο από μαθηματικά γεγονότα και τρόπους εφαρμογής τους. Ειδικότερα, το πρόγραμμα σπουδών αποσκοπεί στην ανάπτυξη των μαθηματικών γνώσεων και δεξιοτήτων των εκπαιδευόμενων, έτσι ώστε να μπορούν να ανταποκριθούν στις απαιτήσεις θεματικών περιοχών στο πλαίσιο των οποίων τα Διακριτά Μαθηματικά βρίσκουν συγκεκριμένες εφαρμογές, π.χ. Κρυπτογραφία, Κωδικοποίηση, Ασφάλεια, Σχεδίαση και Ανάλυση Αλγορίθμων, Τηλεπικοινωνιακά Δίκτυα, Επιχειρησιακά Έρευνα, Λογική Σχεδίαση, Γραφικά, Γενετική, Θεωρία Παιγνίων.
Μέσα από τις ενότητες του προγράμματος οι εκπαιδευόμενοι θα αποκτήσουν το σχετικό μαθηματικό υπόβαθρο, μελετώντας βασικές έννοιες και τεχνικές των διακριτών μεθόδων, με σκοπό να μπορούν να τις εφαρμόσουν στην ανάλυση, στη μοντελοποίηση και στην επίλυση συγκεκριμένων προβλημάτων της Επιστήμης των Υπολογιστών, τα οποία κατά κύριο λόγο απαιτούν το χειρισμό διακριτών αντικειμένων.
-
Βασικές έννοιες και Δομές
-
Προτασιακή Λογική και εφαρμογές της
-
Προτασιακές ισοδυναμίες
-
Κατηγορήματα και Ποσοδείκτες
-
Μέθοδοι Αποδείξεων και Στρατηγική
-
-
Επαγωγή και Αναδρομή
-
Μαθηματική Επαγωγή
-
Ισχυρή Επαγωγή και Καλή Διάταξη
-
Αναδρομικοί Ορισμοί και Δομική Επαγωγή
-
-
Απαρίθμηση
-
Η Αρχή του Περιστερώνα
-
Διωνυμικοί Συντελεστές και Ταυτότητες
-
Γενικευμένες Μεταθέσεις και Συνδυασμοί
-
-
Διακριτή Πιθανότητα
-
Θεωρία Πιθανοτήτων
-
Το θεώρημα του Bayes
-
Αναμενόμενη τιμή και Διακύμανση
-
- Συνολικός χρόνος ενασχόλησης: 70 ώρες
- Online μαθήματα με τους εκπαιδευτές: 12 ώρες
- Διάρκεια: 2 μήνες