Μαθηματικά Πληροφορικής

Τμήμα Πληροφορικής και Τηλεπικοινωνιών
Πανεπιστήμιο Αθηνών
Εαρινό Εξάμηνο 2016-2017

Ώρες διδασκαλίας: Τρίτη 15:00-17:00, & Πέμπτη 15:00-17:00, Αίθουσα Z.
Διδάσκων: Σταύρος Κολλιόπουλος
Email: id@host.uoa.gr όπου id sgk και host di
Ώρες επικοινωνίας: Τρίτη, 13:00 - 14:00 στο γραφείο Β6 ή με ραντεβού.

Φροντιστήριο: Τετάρτη 13:00-14:00, Αίθουσα ΣΤ.
Υπεύθυνη φροντιστηρίου: 'Ολγα Φουρτουνέλλη.




 
Το φροντιστήριο θα ξεκινήσει την Τετάρτη 1.03.2017. (προσθήκη Tue Feb 28 14:32:06 EET 2017)
 


 
Η δήλωση του μαθήματος την κατάλληλη εξεταστική περίοδο είναι υποχρέωση του φοιτητή. Ο διδάσκων δεν αναλαμβάνει καμία ευθύνη για την έκδοση ή αρχειοθέτηση αποτελεσμάτων για όσους/όσες δεν εμφανίζονται στις επίσημες καταστάσεις. H ένδειξη "εκτός λίστας" δεν εξαντλεί απαραίτητα όλες τις σχετικές περιπτώσεις.

Η τελική βαθμολογία του Φεβρουαρίου 2017 βρίσκεται εδώ.

Η τελική βαθμολογία του Iουνίου 2017 βρίσκεται εδώ. Αν έχετε σοβαρό λόγο μπορείτε να δείτε το γραπτό σας την Πέμπτη 13.07.2017, ώρα 13:30. Για οποιαδήποτε τιμή του Χ, δεν θεωρείται σοβαρός λόγος ότι απέχει κάποιος X μαθήματα από τη λήψη πτυχίου (προσθήκη Wed Jul 12 13:52:28 EEST 2017).

 


Γενικές Πληροφορίες

Ιστοσελίδα μαθήματος: http://www.di.uoa.gr/~sgk/teaching/Math4CS/. (Επίσης μέσω http://eclass.uoa.gr/).
Περιέχει χρήσιμες πληροφορίες, συνιστάται να την επισκέπτεστε συχνά. Εκεί θα βρίσκετε πληροφορίες για το μάθημα, σημειώσεις, ασκήσεις, ανακοινώσεις, κλπ.

Περιγραφή μαθήματος:

Σκοπός του μαθήματος είναι η μελέτη βασικών αρχών και τεχνικών των Μαθηματικών που είναι απαραίτητες στην Πληροφορική. Πιο φιλόδοξος στόχος είναι να αναδειχθεί, στο μέτρο του δυνατού, η κομψότητα των Μαθηματικών, απόγονος της οποίας είναι η κομψότητα της Πληροφορικής.

Η μεθοδολογία που ακολουθείται σκοπεύει να παρουσιάσει κάποια βασικά αποτελέσματα δίνοντας έμφαση στις κατάλληλες τεχνικές. Τα θέματα που καλύπτονται περιλαμβάνουν συνήθως: Μέθοδοι αποδείξεων με έμφαση στην επαγωγή και στις αποδείξεις ύπαρξης. Εφαρμογές των μεθόδων στις ακολουθίες Fibonacci και στη στοιχειώδη Θεωρία Αριθμών. Αριθμήσιμα και μη αριθμήσιμα σύνολα. Θεωρία γραφημάτων, ελάσσονα γραφήματα. Σχέσεις ισοδυναμίας και σχέσεις μερικής διάταξης. Θεωρήματα Sperner και Dilworth. Εργαλεία από τη Θεωρία Πιθανοτήτων.



Συγγράμματα: Τα επίσημα συγγράμματα είναι

Υπάρχουν επίσης πολλά καλά εγχειρίδια στην Αγγλική γλώσσα που καλύπτουν μεγάλο μέρος της ύλης του μαθήματος, όπως:

Η ύλη του μαθήματος καλύπτεται εν μέρει και από αυτές τις σημειώσεις.

Οι σημειώσεις και η αρχική εκδοχή ενός υποσυνόλου των διαφανειών έχουν γραφτεί από τους Ι. Εμίρη και Η. Κουτσουπιά.


Διαδικαστικά

Εξετάσεις - Ασκήσεις - Βαθμολογία: Θα έχουμε κάποια σύνολα ασκήσεων (με συντελεστή 5% συνολικά), και ένα τελικό διαγώνισμα (95%). Για να περάσετε όμως το μάθημα πρέπει να έχετε τουλάχιστον 5 στο τελικό διαγώνισμα, ακόμα και αν ο βαθμός στις ασκήσεις είναι πολύ καλός. Ο ίδιος τρόπος βαθμολόγησης ισχύει και για την περίοδο Σεπτεμβρίου.

Διαφάνειες

Προειδοποίηση 1: Οι διαφάνειες δεν καλύπτουν πλήρως ούτε την ύλη του μαθήματος ούτε ό,τι λέγεται στην τάξη. Προειδοποίηση 2: οι διαφάνειες κωδικοποιούν ευσύνοπτα σημαντικό μέρος της παράδοσης. Η μελέτη τους είναι χρήσιμη. Προειδοποίηση 3: οι παρακάτω διαφάνειες ενδέχεται να τροποποιηθούν στη διάρκεια του εξαμήνου.

Συνοδευτικό υλικό: Εκτενής επισκόπηση του ερωτήματος P =? NP από τον S. Aaronson. Για την κατανόηση των πρώτων 15+ σελίδων αρκούν στοιχειώδεις γνώσεις αλγορίθμων.

Ασκήσεις

Πρώτη άσκηση (Ανακοίνωση: Thu Apr 6 17:10:52 EEST 2017, παράδοση μέχρι: 25.04.2017, ώρα 15:00)

Δεύτερη άσκηση (Ανακοίνωση: Tue May 9 16:14:59 EEST 2017, παράδοση μέχρι: 18.05.2017 ώρα 15:00)

Για τεκμηριωμένες απορίες σχετικά με τη βαθμολόγηση παρακαλούμε απευθυνθείτε στο διορθωτή που διόρθωσε το γραπτό σας, τα αρχικά του βρίσκονται στην τελευταία σελίδα. Λίστα διορθωτών: Χριστίνα Κατσαμάκη (ch.katsamaki ΑΤ gmail), Παναγιώτης Τσακιργιάννης (tsaki ΑΤ di ).




http://www.di.uoa.gr/~sgk/teaching/Math4CS/index.html
Τελευταία ανανέωση: Wed Jul 12 13:52:28 EEST 2017