Διακριτά Μαθηματικά

Πληροφορίες Μαθήματος
ΤίτλοςΔιακριτά Μαθηματικά / Discrete Mathematics
Κωδικός023
ΣχολήΠολυτεχνική
ΤμήμαΗλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών
Κύκλος / Επίπεδο1ος / Προπτυχιακό
Περίοδος ΔιδασκαλίαςΕαρινή
Υπεύθυνος/ηΛεωνίδας Πιτσούλης
Χαρακτηρισμός ΜαθήματοςΓΝΩΣΗ Η/Υ
ΚοινόΌχι
ΚατάστασηΕνεργό
Course ID600000971

Πρόγραμμα Σπουδών: Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών

Εγγεγραμμένοι φοιτητές: 55
ΚατεύθυνσηΤύπος ΠαρακολούθησηςΕξάμηνοΈτοςECTS
ΚΟΡΜΟΣΕπιλογής426

Πληροφορίες Τάξης
ΤίτλοςΔιακριτά Μαθηματικά
Ακαδημαϊκό Έτος2017 – 2018
Περίοδος ΤάξηςΕαρινή
Διδάσκοντες μέλη ΔΕΠ
Class ID
600111253

Πρόγραμμα Τάξης

ΚτίριοΠολυτεχνείο (πτέρυγα Γ)
ΌροφοςΌροφος 1
ΑίθουσαΑ3 (2)
ΗμερολόγιοΔευτέρα 09:00 έως 11:00
ΚτίριοΠολυτεχνείο (πτέρυγα Γ)
ΌροφοςΌροφος 1
ΑίθουσαΑ5 (7)
ΗμερολόγιοΠέμπτη 14:00 έως 16:00
Τύπος Μαθήματος
  • Υποβάθρου
Κατηγορία Μαθήματος
Γενικού Υποβάθρου
Τρόπος Παράδοσης
  • Πρόσωπο με πρόσωπο
Ηλεκτρονική Διάθεση Μαθήματος
Γλώσσα Διδασκαλίας
  • Ελληνικά (Διδασκαλία, Εξέταση)
Προαπαιτήσεις
Γενικές Προαπαιτήσεις
1. Γραμμική Άλγεβρα 2. Λογισμός Ι 3. Θεωρία Συνόλων 4. Στοιχειώδης γνώση αλγορίθμων
Μαθησιακά Αποτελέσματα
1. Εκμάθηση συνδυαστικών μεθόδων απαρίθμησης διακριτών δομών. 2. Εξοικείωση με μαθηματικούς τρόπους απόδειξης. 3. Κατανόηση θεμάτων προτασιακού λογισμού όπως τυπικές αποδείξεις. 4. Κατανόηση θεμάτων κατηγορηματικού λογισμού, όπως γλώσσες πρώτης τάξεως, εγκυρότητα και πληρότητα. 5. Πλήρης κατανόηση βασικών εννοιών θεωρίας γραφημάτων. 6. Εξοικείωση με την χρήση κατασκευαστικών και αλγοριθμικών αποδείξεων σε γραφήματα. 7. Κατανόηση θεμάτων σε δένδρα και αποστάσεις σε γραφήματα 8. Ανασκόπηση διάφορων θεμάτων σε γραφήματα όπως, επίπεδα γραφήματα, γραφήματα Hamilton και Euler, υψηλή συνεκτικότητα. 9. Κατανόηση θεμάτων σε θεωρία μητροειδών όπως αξιωματικά συστήματα, κλάσσεις μητροειδών, ελλάσονα μητροειδή και δυικότητα.
Γενικές Ικανότητες
  • Αυτόνομη εργασία
  • Προαγωγή της ελεύθερης, δημιουργικής και επαγωγικής σκέψης
Περιεχόμενο Μαθήματος
Κανόνας γινομένου και αθροίσματος, γεννήτριες συναρτήσεις, θεωρία Polya, Τυπική προτασιακή γλώσσα, ταυτολογικές συνεπαγωγές, προτασικός λογισμός, πρωτοβάθμια γλώσσα, κανονική ποσοδεικτική μορφή, κατηγορηματικός λογισμός, εγκυρότητα και πληρότητα, βασικές έννοιες και ορισμοί θεωρίας γραφημάτων, πίνακες γραφημάτων, διαδρομές, συνεκτικότητα, κλάσσεις γραφημάτων, γραφικές ακολουθίες, κατασκευαστικές και αλγοριθμικές αποδείξεις, κατευθυνόμενα γραφήματα, δένδρα, δυαδικά δένδρα, χαρακτηρισμοί δένδρων, ριζωμένα δένδρα, αποστάσεις σε γραφήματα, γεννητορικά δένδρα, απαρίθμηση δένδρων, γραφήματα Hamilton και Euler, χρωματισμός γραφημάτων, αφηρημένη ανεξαρτησία, αξιωματικά συστήματα μητροειδών, γραφικά μητροειδή, αναπαραστήσιμα μητροειδή, θεωρήματα αποσύνθεσης μητροειδών, αλγόριθμος αναγνώρισης γραφικών μητροειδών.
Τύποι Εκπαιδευτικού Υλικού
  • Σημειώσεις
  • Βιβλίο
Χρήση Τεχνολογιών Πληροφορίας και Επικοινωνιών
Χρήση Τ.Π.Ε.
  • Χρήση Τ.Π.Ε. στην Επικοινωνία με τους φοιτητές
Οργάνωση Μαθήματος
ΔραστηριότητεςΦόρτος ΕργασίαςECTSΑτομικάΟμαδικάErasmus
Διαλέξεις1204
Εκπόνηση μελέτης (project)301
Εξετάσεις301
Σύνολο1806
Αξιολόγηση Φοιτητών
Περιγραφή
1. Γραπτή εξέταση μέγιστης διάρκειας 180 λεπτών 2. Προαιρετικές ασκήσεις και θέματα κατά την διάρκεια του εξαμήνου
Μέθοδοι Αξιολόγησης Φοιτητών
  • Γραπτή Εργασία (Διαμορφωτική)
  • Γραπτή Εξέταση με Επίλυση Προβλημάτων (Διαμορφωτική)
Βιβλιογραφία
Βιβλιογραφία μαθήματος (Εύδοξος)
1. Στοιχεία Διακριτών Μαθηματικών, Liu C.L., Πανεπιστημιακές εκδόσεις Κρήτης, 2010. 2. Discrete Mathematics, Biggs N. Oxford University Press, 2003. 3. Discrete Mathematics, Aigner M., American Mathematical Society, 2007.
Τελευταία Επικαιροποίηση
23-12-2015