Ηλεκτρονική Διάθεση Μαθήματος
Μαθησιακά Αποτελέσματα
1. Εκμάθηση συνδυαστικών μεθόδων απαρίθμησης διακριτών δομών.
2. Εξοικείωση με μαθηματικούς τρόπους απόδειξης.
3. Κατανόηση θεμάτων προτασιακού λογισμού όπως τυπικές αποδείξεις.
4. Κατανόηση θεμάτων κατηγορηματικού λογισμού, όπως γλώσσες πρώτης τάξεως, εγκυρότητα και πληρότητα.
5. Πλήρης κατανόηση βασικών εννοιών θεωρίας γραφημάτων.
6. Εξοικείωση με την χρήση κατασκευαστικών και αλγοριθμικών αποδείξεων σε γραφήματα.
7. Κατανόηση θεμάτων σε δένδρα και αποστάσεις σε γραφήματα
8. Ανασκόπηση διάφορων θεμάτων σε γραφήματα όπως, επίπεδα γραφήματα, γραφήματα Hamilton και Euler, υψηλή συνεκτικότητα.
9. Κατανόηση θεμάτων σε θεωρία μητροειδών όπως αξιωματικά συστήματα, κλάσσεις μητροειδών, ελλάσονα μητροειδή και δυικότητα.
Περιεχόμενο Μαθήματος
Κανόνας γινομένου και αθροίσματος, γεννήτριες συναρτήσεις, θεωρία Polya, Τυπική προτασιακή γλώσσα, ταυτολογικές συνεπαγωγές, προτασικός λογισμός, πρωτοβάθμια γλώσσα, κανονική ποσοδεικτική μορφή, κατηγορηματικός λογισμός, εγκυρότητα και πληρότητα, βασικές έννοιες και ορισμοί θεωρίας γραφημάτων, πίνακες γραφημάτων, διαδρομές, συνεκτικότητα, κλάσσεις γραφημάτων, γραφικές ακολουθίες, κατασκευαστικές και αλγοριθμικές αποδείξεις, κατευθυνόμενα γραφήματα, δένδρα, δυαδικά δένδρα, χαρακτηρισμοί δένδρων, ριζωμένα δένδρα, αποστάσεις σε γραφήματα, γεννητορικά δένδρα, απαρίθμηση δένδρων, γραφήματα Hamilton και Euler, χρωματισμός γραφημάτων, αφηρημένη ανεξαρτησία, αξιωματικά συστήματα μητροειδών, γραφικά μητροειδή, αναπαραστήσιμα μητροειδή, θεωρήματα αποσύνθεσης μητροειδών, αλγόριθμος αναγνώρισης γραφικών μητροειδών.