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