Τμήμα Μαθηματικών | Πανεπιστήμιο Πατρών


Διακριτά Μαθηματικά
Περιγραφή

(i) Λογική. Η γλώσσα της προτασιακής λογικής, αλφάβητο και σύνταξη. Τύποι και δενδροδιαγράμματα. Αποτίμηση αλήθειας και σημασιολογία των λογικών συνδέσμων. Πίνακες αληθείας. Κανονικές μορφές. Λογική συνεπαγωγή. Οι βασικές ισοδυναμίες. Εφαρμογές. Η εκφραστικότητα της προτασιακής λογικής. Ο προτασιακός λογισμός και η τυπική απόδειξη. Η σύνταξη των πρωτοβάθμιων τύπων και η χρήση τους στην απόδοση διαφόρων μαθηματικών προτάσεων.
(ii) Συνδυαστική. Μέτρηση διακριτών δομών. Ο προσθετικός και ο πολλαπλασιαστικός κανόνας. Μεταθέσεις, διατάξεις, συνδυασμοί χωρίς και με επανάληψη. Παραδείγματα. Μοντέλα σφαιριδίων σε κουτιά. Η αρχή του εγκλεισμού-αποκλεισμού. Γεννήτριες συναρτήσεις και αναδρομικές σχέσεις.
(iii) Εισαγωγή στην Θεωρία Γραφημάτων. Ορισμοί και είδη γραφημάτων. Συνδετικότητα σε απλά γραφήματα. Υπογραφήματα. Κύκλος Euler. Θεώρημα Euler. Κύκλος Hamilton. Πίνακες γραφημάτων. Ισόμορφα και ομόμορφα γραφήματα. Επίπεδα γραφήματα. Θεώρημα Kuratowski. Χρωματισμός γραφήματος. Δένδρα. Δυαδικά δένδρα. Κατευθυνόμενα γραφήματα.

Τομέας: Υπολογιστικών Μαθηματικών και Πληροφορικής
Διδάσκοντες:


Πρόγραμμα Σπουδών:
Προπτυχιακό Πρόγραμμα Σπουδών
Εξάμηνο: Β
Πιστωτικές Μονάδες (ECTS): 7
Ωρες Διδασκαλίας (Θ/Φ/Ε): 3/2/0
Κωδικός: IC103
Τύπος Μαθήματος: Υποχρεωτικό Κορμού
Κατεύθυνση ΓΝΜ: Υποχρεωτικό κορμού
Κατεύθυνση ΘΡΜ: Υποχρεωτικό κορμού
Κατεύθυνση ΕΦΜ: Υποχρεωτικό κορμού
Κατεύθυνση ΠΛΗ: Υποχρεωτικό κορμού
Κατεύθυνση ΣΠΕ: Υποχρεωτικό κορμού
Φοιτητές Erasmus: Όχι




keyboard_arrow_up