Αθήνα 14.7.2010, 14:23

Θέσεις φοιτητών στο διατμηματικό πρόγραμμα μεταπτυχιακών σπουδών "Λογική και Θεωρία Αλγορίθμων και Υπολογισμού", για το ακαδηµαϊκό έτος 2010-2011 και για απόκτηση Μεταπτυχιακού Διπλώµατος Ειδίκευσης, προκηρύσσουν τα σνεργαζόμενα τμήματα.

Στη λειτουργία του προγράµµατος συµµετέχουν:
1) το Τµήµα Μαθηµατικών, το Τµήµα ΜΙΘΕ και το Τµήµα Πληροφορικής και
Τηλεπικοινωνιών του Πανεπιστηµίου Αθηνών,
2) η Σχολή Εφαρµοσµένων Μαθηµατικών και Φυσικών Επιστηµών και η Σχολή
Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών του ΕΜΠ,
3) το Τµήµα Μηχανικών Η/Υ και Πληροφορικής του Πανεπιστηµίου Πατρών.

Δικαίωµα υποβολής αιτήσεων έχουν πτυχιούχοι Τµηµάτων Μαθηµατικών,
Πληροφορικής και Μηχανικών Υπολογιστών ελληνικών ΑΕΙ ή αντίστοιχων της αλλοδαπής, καθώς και πτυχιούχοι Τµηµάτων Σχολών Θετικών Επιστηµών και Πολυτεχνικών Σχολών ελληνικών Α.Ε.Ι. ή αντίστοιχων της αλλοδαπής, οι οποίοι κατέχουν τις απαραίτητες γνώσεις για επιτυχή παρακολούθηση του Προγράµµατος.

Tο επιστηµονικό αντικείµενο του προγράµµατος είναι η Μαθηµατική Λογική και οι εφαρµογές της στη Θεωρητική Πληροφορική, και περιλαµβάνει τα εξής κύρια θέµατα:
α) Θεωρία Αλγορίθµων (κατασκευή και µελέτη αλγορίθµων στα Μαθηµατικά και την Πληροφορική)
β) Αποκρισιµότητα και Πολυπλοκότητα (ανάλυση και ταξινόµηση προβληµάτων και κλάσεων προβληµάτων ως προς την πολυπλοκότητά τους)
γ) Μαθηµατική Θεωρία Γλωσσών Προγραµµατισµού (σηµασιολογική, αλγοριθµική και λειτουργική ερµηνεία γλωσσών προγραµµατισµού)
δ) Θεωρία Αναδροµής (µελέτη αναδροµικών ορισµών και συναρτήσεων και των εφαρµογών τους, ιδιαίτερα στις γλώσσες προγραµµατισµού)
ε) Μαθηµατική Λογική (Θεωρία Αποδείξεων, Θεωρία $οµών, Θεωρία Συνόλων)
στ) Εφαρµογές της Λογικής στην Πληροφορική (λ-λογισµός, Λογικός
Προγραµµατισµός, Θεωρία Πεπερασµένων $οµών).

Για το ακαδηµαϊκό έτος 2010-2011 θα γίνουν δεκτοί µέχρι είκοσι (20) φοιτητές για απόκτηση Μεταπτυχιακού Διπλώµατος Ειδίκευσης, έντεκα (11) από τους οποίους έχουν ήδη επιλεγεί κατά τον πρώτο κύκλο επιλογής.

Οι υποψήφιοι µπορούν να υποβάλλουν τα δικαιολογητικά τους από 30
Αυγούστου 2010 έως 17 Σεπτεµβρίου 2010 στο γραφείο 204Β, Τµήµα Μαθηµατικών, καθηµερινά, 11:00 – 15:00. Περισσότερες πληροφορίες δίνονται από την κ. Χονδρού Χρυσαφίνα (τηλέφωνο: 210 727 6407, email: cchondro@math.uoa.gr) και από διαδίκτυο: http://mpla.math.uoa.gr.

Τα απαιτούµενα δικαιολογητικά είναι:
1. Αίτηση
2. Σύντοµη πρόταση σπουδών
3. Αντίγραφο πτυχίου
4. Πιστοποιητικό αναλυτικής βαθµολογίας
5. Βιογραφικό σηµείωµα
6. Φωτοτυπία δελτίου αστυνοµικής ταυτότητας
7. Αποδεικτικό γνώσης ξένης γλώσσας
8. Δυο συστατικές επιστολές από άτοµα που γνωρίζουν την εκπαίδευση του
υποψήφιου
9. Αντίγραφα επιστηµονικών δηµοσιεύσεων (αν υπάρχουν).

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