Εισαγωγή στην Επιστήμη των Υπολογιστών (ΣΗΜΜΥ)
εαρινό εξάμηνο 2009-2010
Μέρος Α: Εισαγωγή σε Αλγόριθμους, Πολυπλοκότητα, Υπολογισιμότητα, Μοντέλα Προγραμματισμού
Για την σελίδα του Μέρους Β δείτε εδώ.
Γενικά
Διδάσκοντες (για το Μέρος Α)
- Στάθης Ζάχος, Καθηγητής ()
- Κωνσταντίνος Σαγώνας, Αναπλ. Καθηγητής ()
- Άρης Παγουρτζής, Λέκτορας ()
Ώρες γραφείου
Κάθε Τρίτη 16:00-18:00 και Πέμπτη 14:00-16:00, στο Corelab (Κτ. Ηλεκτρολόγων, αίθ. 1.1.30).
Ανακοινώσεις
- [30/01/11] Χαριστική εξέταση: Θα πραγματοποιηθεί στις 4/2, ώρα 13:00, στην αίθουσα 1.1.29. Επίλυση αποριών στο CoReLab, Τρίτη 1/2, ώρα 16:00-18:00.
- [22/11/10] 2η ημερομηνία επίδειξης γραπτών: Όσοι δεν μπόρεσαν να έρθουν στις 19/11 λόγω συμμετοχής στο συνέδριο ΣΦΗΜΜΥ, ή για άλλο σοβαρό λόγο, μπορούν να έρθουν την Τετάρτη 24/11, ώρα 16:00-18:00 στο CoReLab.
- [08/11/10]
Αποτελέσματα επαναληπτικής εξέτασης 2009-10:
[εδώ]
Μπορείτε να δείτε τα γραπτά σας την Παρασκευή 19/11/10, ώρα 14:00-16:00, στο Corelab (1.1.30). - [16/09/10] Κατανομή αιθουσών επαναληπτικής εξέτασης: [εδώ]
- [16/09/10] Οδηγίες επαναληπτικής εξέτασης: Η εξέταση γίνεται με κλειστά βιβλία και σημειώσεις. Δεν επιτρέπεται η χρήση βοηθημάτων, κινητών τηλεφώνων, αριθμομηχανών, ή άλλων ηλεκτρονικών συσκευών. Επιτρέπεται η χρήση μολυβιού. Δεν θα διορθωθούν γραπτά φοιτητών που γράφουν σε άλλη αίθουσα από αυτή που ορίζει η κατανομή. Αλλαγή αίθουσας επιτρέπεται μόνο κατόπιν συνεννόησης με διδάσκοντα που βεβαιώνεται με την υπογραφή του στο γραπτό. Η κατανομή θα ανακοινωθεί στο site το βράδυ της 16/9 (έως ώρα 20:00), και θα τοιχοκολληθεί έξω από το Αμφ. 1. Ελάχιστος χρόνος παραμονής στην αίθουσα: 1 ώρα.
- [12/07/10]
Αποτελέσματα κανονικής εξέτασης 2009-10:
[εδώ]
Μπορείτε να δείτε τα γραπτά σας την Τετάρτη 14/07/10, ώρα 13:00-15:00, στο Corelab (1.1.30). - [16/6/10] Διόρθωση: στη σελίδα 63 των σημειώσεων υπάρχει λάθος σε ένα σχήμα. Το σωστό σχήμα είναι αυτό που βρίσκεται στη διαφάνεια 66 της 6ης ενότητας (δείτε την τελική έκδοση).
- [16/6/10] Αναρτήθηκε η τελική έκδοση των διαφανειών της 6ης και της 7ης ενότητας.
- [15/6/10] Οι απαντήσεις της 2ης σειράς ασκήσεων αναρτήθηκαν: δείτε στο κάτω μέρος της σελίδας.
- [14/6/10] Στην εξέταση της 18/6/2010 οι εξεταζόμενοι δεν θα φέρουν μαζί τους τυπολόγιο. Θα δοθεί τυπολόγιο από τους διδάσκοντες μαζί με τα θέματα.
- [14/6/10] Οι απαντήσεις της 1ης σειράς ασκήσεων αναρτήθηκαν: δείτε στο κάτω μέρος της σελίδας.
- [15/5/10] Η δεύτερη σειρά ασκήσεων ανακοινώθηκε: δείτε στο κάτω μέρος της σελίδας.
- [20/4/10] Η ημερομηνία παρουσίασης της πρώτης σειράς ασκήσεων μεταφέρεται στις 28/4, την ίδια ώρα (15:00-17:00). ΠΡΟΣΟΧΗ: Η προθεσμία της ηλεκτρονικής υποβολής παραμένει ίδια (21/4, 14:00).
- [18/4/10] Η προθεσμία υποβολής της πρώτης σειράς ασκήσεων παρατείνεται έως Τετάρτη 21/4, ώρα 14:00. Οι ώρες προσέλευσης για παρουσίαση των απαντήσεων παραμένουν ίδιες (όποιος θέλει μπορεί να παρουσιάσει την Τρίτη 20/4, αρκεί να έχει υποβάλει τις απαντήσεις πριν την προσέλευσή του). ΠΡΟΣΟΧΗ: δεν θα δοθεί άλλη παράταση.
- [14/4/10] Για τον τρόπο υποβολής της πρώτης σειράς ασκήσεων και την σωστή ημερομηνία υποβολής δείτε τις νέες οδηγίες στην εκφώνηση.
- [1/4/10] Η πρώτη σειρά ασκήσεων ανακοινώθηκε: δείτε στο κάτω μέρος της σελίδας.
- [31/03/10] Η πρώτη σειρά ασκήσεων θα ανακοινωθεί αύριο.
Υλικό μαθήματος
Διαφάνειες παραδόσεων
- 1η ενότητα - Εισαγωγή
- Διαφάνειες [pdf]
- 2η ενότητα - Γλώσσες Προγραμματισμού: Θεωρητικό Υπόβαθρο και Μοντέλα
- Διαφάνειες [pdf]
- Διαφάνειες (σε Α/Μ μορφή) [pdf]
- Από που να διαβάσετε για Haskell: http://learnyouhaskell.com
Διαβάστε τις ενότητες 1 έως 6 (μέχρι την ενότητα "Lambdas") εκτός της ενότητας 3.3 ("Typeclasses 101").
Συμπληρωματικά (καθώς και για Prolog) δείτε και το Αρχές Γλωσσών Προγραμματισμού (Σημειώσεις) (Χ. Νομικός, Παν. Ιωαννίνων).
- 3η ενότητα - Υπολογιστικά Προβλήματα, Υπολογισιμότητα και Πολυπλοκότητα
- Διαφάνειες [pdf]
- 4η ενότητα - Αλγοριθμικές Τεχνικές - Αριθμητικοί Υπολογισμοί
- Διαφάνειες [pdf]
- 5η ενότητα - Γράφοι: Προβλήματα και Αλγόριθμοι
- Διαφάνειες [pdf]
- 6η ενότητα - Αυτόματα, Γλώσσες, Γραμματικές
- Διαφάνειες (τελική μορφή, προστέθηκαν slides 39,40,81-83,92, διόρθωση στο slide 66 (πρώην 64)) [pdf]
- 7η ενότητα - Λογική, Μοντέλα Υπολογισμού, Κλάσεις Πολυπλοκότητας
- Διαφάνειες [pdf]