Διδάσκων: Μιχάλης Πλεξουσάκης, Γ-118, Λευκό Κτήριο. E-mail: plex [at] tem uoc gr
Ώρες γραφείου: Δευτέρα 11-1, Τετάρτη 11-1 ή με rendez-vous.
Στοιχεία θεωρίας συνόλων. Μαθηματική επαγωγή. Προτασιακός λογισμός. Τυπικές γλώσσες. Διακριτές πιθανότητες. Σχέσεις και συναρτήσεις. Γραφήματα. Δένδρα. Χρονική περιπλοκότητα αλγορίθμων. Διακριτές αριθμητικές συναρτήσεις και γεννήτριες συναρτήσεις.
Ώρες διαλέξεων: Τρίτη 11:00-13:00, Παρασκευή 9:00-11:00, Θ-206
Ώρες ασκήσεων: Πέμπτη 15:00-17:00, Λ-202
Διδακτικό υλικό
Για τις ανάγκες του μαθήματος θα χρησιμοποιηθεί το βιβλίο του C. L. Liu Στοιχεία Διακριτών Μαθηματικών, Πανεπιστημιακές Εκδόσεις Κρήτης, Ηράκλειο 2007.
Αξιολόγηση
Ο τελικός βαθμός, Β, του μαθήματος θα υπολογιστεί από τον τύπο B = 0.2 * A + 0.2 * Π + 0.60 * T. Εδώ A είναι ο μέσος όρος των ασκήσεων, Π ο βαθμός της προόδου και T ο βαθμός στο τελικό διαγώνισμα. Ο ίδιος τύπος υπολογισμού του τελικού βαθμού ισχύει και για την εξεταστική περίοδο του Σεπτεμβρίου. Η ημερομηνία διεξαγωγής της προόδου θα ανακοινωθεί σύντομα.
Ανακοινώσεις
2012-12-27 Παραδώστε τις ασκήσεις 6.8, 6.10 και 6.13 μέχρι τις 10 Ιανουαρίου 2013, 13:00.
2012-12-12 Οι λύσεις των ασκήσεων του 3ου φυλλαδίου.
2012-12-02 Παραδώστε τις ασκήσεις 5.20, 5.28 και 5.38 (εκτός το τρίτο ερώτημα) μέχρι τις 11 Δεκεμβρίου 2012, 11:00.
2012-12-02 Οι λύσεις των ασκήσεων του 2ου φυλλαδίου και η βαθμολογία.
2012-11-12 Δείτε τους βαθμούς του 1ου φυλλαδίου ασκήσεων και της προόδου.
2012-11-09 Παραδώστε τις ασκήσεις 9.9(β), 9.27(ζ) και 10.1(α) μέχρι τις 16 Νοεμβρίου 2012, 9:00. Για την 10.1(α) χρησιμοποιήστε γεννήτριες συναρτήσεις.
2012-11-09 Οι λύσεις των θεμάτων της προόδου.
2012-10-19 Η πρόοδος του μαθήματος θα γίνει το Σάββατο 3 Νοεμβρίου 2012 στις 13:00 στο Αμφ. Β. Η εξεταζόμενη ύλη περιλαμβάνει τα Κεφάλαια 1 και 4 (μέχρι και τις σχέσεις μερικής διάταξης).
2012-10-19 Οι λύσεις των ασκήσεων του 1ου φυλλαδίου. Μπορείτε να χρησιμοποιήσετε τοn αντίστοιχο κώδικα LaTeX για τις δικές σας ανάγκες.
2012-10-15 Ασκήσεις σταλμένες με fax δεν θα γίνονται δεκτές. Δεν μπορούμε να χρησιμοποιούμε το fax της γραμματείας του τμήματος για τις ανάγκες του μαθήματος!!
2012-10-09 Παραδώστε τις ασκήσεις 1.47, 1.54, 1.56 και 1.59 μέχρι τις 16 Οκτωβρίου 2012, 11:00. Λύσεις των ασκήσεων γραμμένες σε LaTeX θα εκτιμηθούν. Προϊόντα αντιγραφής θα μηδενιστούν ενώ προϊόντα συνεργασίας θα μοιραστούν τη βαθμολογία.
2012-09-27 Το μάθημα της Παρασκευής 28 Σεπτεμβρίου δεν θα γίνει λόγω απουσίας του διδάσκοντα. Θα αναπληρωθεί σε ώρα που θα ανακοινωθεί την Τρίτη 2 Οκτωβρίου.
Ημερολόγιο
2012-11-13 Αναδρομικές σχέσεις. Ομογενείς και ειδικές λύσεις (συνέχεια).
2012-11-09 Αναδρομικές σχέσεις. Ομογενείς και ειδικές λύσεις.
2012-11-06 Αναδρομικές σχέσεις. Λύση με τη μέθοδο των γεννητριών συναρτήσεων.
2012-11-02 Γεννήτριες συναρτήσεις. Αναδρομικές σχέσεις.
2012-10-30 Γεννήτριες συναρτήσεις.
2012-10-26 Εφαρμογές της αρχής του περιστερώνα.
2012-10-23 Συναρτήσεις. Η αρχή του περιστερώνα και εφαρμογές.
2012-10-19 Ασκήσεις πάνω στις διμελείς σχέσεις.
2012-10-16 Διμελείς σχέσεις. Σχέσεις ισοδυναμίας και σχέσεις μερικής διάταξης.
2012-10-12 Προτασιακός λογισμός (συνέχεια). Ασκήσεις: 1.68-1.74. Σχέσεις και συναρτήσεις.
2012-10-09 Δεν έγινε μάθημα λόγω αναστολής λειτουργίας του Πανεπιστημίου.
2012-10-05 Προτασιακός λογισμός. Ασκήσεις: 1.55-1.67.
2012-10-02 Άπειρα σύνολα (συνέχεια). Αρχή του εγκλεισμού/αποκλεισμού. Επαγωγή. Ασκήσεις: 1.30-1.54.
2012-09-25 Εισαγωγή στη θεωρία συνόλων. Συνδιασμοί συνόλων. Πεπερασμένα και άπειρα σύνολα. Ασκήσεις: 1.3-1.16.