Διαλέξεις
Section outline
-
Παρασκευή 23/2/2018
- Διαδικαστικά θέματα, εισαγωγή.
- Σύνολα και Πράξεις συνόλων.
- Λογαριασμός στο Gradiance.
Δευτέρα 26/2/2018- Στοιχεία Προτασιακής Λογικής.
- Προτασιακός Λογισμός.
Παρασκευή 2/3/2018- Προτασιακός Λογισμός
- Στοιχεία Κατηγορηματικής Λογικής.
Δευτέρα 5/3/2018
Παρασκευή 9/3/2018- Στοιχεία Κατηγορηματικής Λογικής.
- Αριθμήσιμα και μη Αριθμήσιμα σύνολα.
Παρασκευή 16/3/2018
- Μη υπολογισιμότητα. Το παράδοξο του Russel.
Δευτέρα 19/3/2018
- Διμελείς Σχέσεις: Βασικοί ορισμοί και ιδιότητες, σχεσιακό μοντέλο Βάσεων Δεδομένων.
- Κλειστότητες, μεταβατική κλειστότητα.
Παρασκευή 23/3/2018- Κλειστότητες: αλγόριθμος Warshall.
- Σχέσεις Ισοδυναμίας.
Δευτέρα 26/3/2018Παρασκευή 30/3/2018
Δευτέρα 16/4/2018
Παρασκευή 20/4/2018
- Βασικές έννοιες θεωρίας γραφημάτων: βαθμός κορυφής, διμερή γραφήματα, υπογραφήματα, μονοπάτια και συνεκτικότητα, αριθμοί Ramsey, συνεκτικότητα
Δευτέρα 23/4/2018
- Γραφήματα: Κύκλος Euler
- Γραφήματα: κύκλος Hamilton
Παρασκευή 27/4/2018Δευτέρα 30/4/2018
- Επίπεδα γραφήματα
- Χρωματικός αριθμός γραφημάτων
Παρασκευή 4/5/2018
- Χρωματικός Αριθμός, Κάλυμμα κορυφών, Ταίριασμα
- Δέντρα: Συνδετικό δέντρο, Ελάχιστα Συνδετικό Δέντρο.
Δευτέρα 7/5/2018
- Αρχή Εγκλεισμού-Αποκλεισμού
- Συνδυαστική Απαρίθμηση: κανόνες γινομένου αθροίσματος, διατάξεις.
Παρασκευή 11/5/2018
- Συνδυαστική Απαρίθμηση: συνδυασμοί.
Δευτέρα 14/5/2018
- Συνδυαστική Απαρίθμηση: παραδείγματα, ασκήσεις
- Χρήση συνδυαστικής για τον υπολογισμό πιθανοτήτων σε διακριτούς δειγματοχώρους.
- Βασικές ιδιότητες δυωνυμικών συντελεστών.
Παρασκευή 18/5/2018
- Γεννήτριες Συναρτήσεις: ορισμός και βασικές ιδιότητες
- Γεννήτριες Συναρτήσεις: εφαρμογές στην απαρίθμηση συνδυασμών
Δευτέρα 21/5/2018
- Γεννήτριες Συναρτήσεις: εφαρμογές στην απαρίθμηση συνδυασμών
- Εκθετικές Γεννήτριες Συναρτήσεις και απαρίθμηση διατάξεων
Τετάρτη 23/5/2018
- Συνδυαστική-Γεννήτριες: Παραδείγματα,ασκήσεις
Παρασκευή 25/5/2018
- Διατύπωση αναδρομικών σχέσεων
- Επίλυση αναδρομικών σχέσεων
Παρασκευή 1/6/2018