ΔΠΜΣ: Αλγόριθμοι, Λογική και Διακριτά Μαθηματικά

το άρθρο ενημερώθηκε στις 03.10.2026

Σε ποιον ταιριάζει το ΠΜΣ Αλγόριθμοι, Λογική και Διακριτά Μαθηματικά;

Το Διιδρυματικό Πρόγραμμα Μεταπτυχιακών Σπουδών «Αλγόριθμοι, Λογική και Διακριτά Μαθηματικά» απευθύνεται σε αποφοίτους που επιδιώκουν βαθιά επιστημονική εμβάθυνση στα θεωρητικά θεμέλια της Πληροφορικής και των Μαθηματικών, με έμφαση στη σχεδίαση και ανάλυση αλγορίθμων, στη μαθηματική λογική, στη θεωρία υπολογισμού και στα διακριτά μαθηματικά. Το πρόγραμμα καλλιεργεί αυστηρή αναλυτική σκέψη και μεθοδολογική επάρκεια, προσφέροντας ισχυρό θεωρητικό υπόβαθρο που υποστηρίζει τόσο την ερευνητική δραστηριότητα αιχμής όσο και την ανάπτυξη προηγμένων υπολογιστικών και αλγοριθμικών εφαρμογών. Ιδιαίτερη έμφαση δίνεται στη φορμαλιστική σκέψη, στη μαθηματική απόδειξη, στη δομική κατανόηση της υπολογισιμότητας και της πολυπλοκότητας, καθώς και στη διασύνδεση θεωρίας και εφαρμογών.

Ταιριάζει ιδιαίτερα σε υποψηφίους που:

ενδιαφέρονται ουσιαστικά για τα θεωρητικά θεμέλια της πληροφορικής και των μαθηματικών,

επιδιώκουν να κατανοήσουν σε βάθος τη θεωρία αλγορίθμων, την υπολογισιμότητα και την υπολογιστική πολυπλοκότητα,

διαθέτουν ισχυρό υπόβαθρο σε μαθηματικά, πληροφορική ή συναφή γνωστικά αντικείμενα και επιθυμούν να το εμβαθύνουν περαιτέρω,

θέλουν να αναπτύξουν δεξιότητες αφαιρετικής σκέψης, μαθηματικής αυστηρότητας και τυπικής απόδειξης,

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

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

στοχεύουν είτε σε ακαδημαϊκή και ερευνητική σταδιοδρομία είτε σε εξειδικευμένους ρόλους που απαιτούν προηγμένη αλγοριθμική και θεωρητική κατάρτιση.

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

.

Συνεργαζόμενα τμήματα:

Τμήμα Πληροφορικής και Τηλεπικοινωνιών  του ΕΚΠΑ

Τμήμα Μαθηματικών του ΕΚΠΑ

Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών του ΕΜΠ

Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών του ΕΜΠ

.

ΔΠΜΣ: «Αλγόριθμοι, Λογική και Διακριτά Μαθηματικά»

Έδρα:

Διεύθυνση – Πόλη διεξαγωγής: Τμήμα Πληροφορικής και Τηλεπικοινωνιών, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών, Πανεπιστημιούπολη, 157 84, Αθήνα

Τηλέφωνα: 210 727 5192  E-mail: alma@di.uoa.gr

Γνωστικό Αντικείμενο – Σκοπός :

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

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

Σκοπός του ΔΠΜΣ είναι η παροχή εξειδικευμένων γνώσεων, η ανάπτυξη της έρευνας και η παραγωγή νέας γνώσης στις επιστημονικές περιοχές που σχετίζονται με τους Αλγόριθμους και την αλληλεπίδρασή τους με τη Μαθηματική Λογική και τα Διακριτά Μαθηματικά. Επίσης, το ΔΠΜΣ αποσκοπεί στη βελτίωση της ποιότητας του Ελληνικού επιστημονικού δυναμικού στο πλαίσιο του Ευρωπαϊκού και γενικότερα του διεθνούς χώρου.

Τίτλος Σπουδών:

Το ΔΠΜΣ οδηγεί στην απονομή Διπλώματος Μεταπτυχιακών Σπουδών (ΔΜΣ) στους «Αλγορίθμους, τη Λογική και τα Διακριτά Μαθηματικά», μετά την πλήρη και επιτυχή ολοκλήρωση των σπουδών με βάση το πρόγραμμα σπουδών. Ο τίτλος απονέμεται από το Τμήμα Πληροφορικής και Τηλεπικοινωνιών με αναφορά όλων των συνεργαζόμενων Τμημάτων και Σχολών.

Μαθησιακά αποτελέσματα του Προγράμματος Σπουδών

Το Διιδρυματικό Πρόγραμμα Μεταπτυχιακών Σπουδών «Αλγόριθμοι, Λογική και Διακριτά Μαθηματικά – Α.Λ.ΜΑ.» παρέχει προηγμένη εκπαίδευση στη θεωρητική πληροφορική και στα διακριτά μαθηματικά, εστιάζοντας στις μαθηματικές δομές, στις υπολογιστικές μεθόδους και στις θεμελιώδεις αρχές που διέπουν τους αλγορίθμους και τον υπολογισμό. Ο υποχρεωτικός κορμός στους Αλγορίθμους συμπληρώνεται από οργανωμένες ομάδες κατ’ επιλογήν υποχρεωτικών μαθημάτων και ευρύ σύνολο μαθημάτων επιλογής, που καλύπτουν σχεδιασμό και ανάλυση αλγορίθμων, υπολογιστική και δομική πολυπλοκότητα, συνδυαστική βελτιστοποίηση, λογική, θεωρία συνόλων και αναδρομής, θεωρία γραφημάτων, συνδυαστική και στοχαστικές μεθόδους. Η ερευνητική εμβάθυνση επεκτείνεται σε αλγοριθμική θεωρία παιγνίων, παραμετρική πολυπλοκότητα, κρυπτογραφία, μοντέλα υπολογισμού, τυπικές γλώσσες και αυτόματα, σημασιολογία γλωσσών προγραμματισμού, υπολογιστική γεωμετρία, θεωρία πληροφορίας, αλγοριθμική επιστήμη δεδομένων, στατιστικούς αλγορίθμους και μηχανική μάθηση, καθώς και σε ειδικά θέματα που αντανακλούν σύγχρονες εξελίξεις του πεδίου. Η Μεταπτυχιακή Διπλωματική Εργασία ολοκληρώνει τον έντονα θεωρητικό και ερευνητικό χαρακτήρα του ΔΠΜΣ, καλλιεργώντας την ικανότητα αυστηρής μαθηματικής διατύπωσης, ανάπτυξης νέων αποδεικτικών ή αλγοριθμικών τεχνικών, κριτικής μελέτης της διεθνούς βιβλιογραφίας και αυτοδύναμης έρευνας στη διεπαφή Μαθηματικών και Επιστήμης Υπολογιστών.

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

Επιστημονικό πεδίο UNESCO ISCED-F: Μαθηματικά

Γνώσεις
  • να ερμηνεύει τις θεμελιώδεις αρχές σχεδιασμού και ανάλυσης αλγορίθμων και να συσχετίζει ασυμπτωτική πολυπλοκότητα, δομές δεδομένων και υπολογιστικούς πόρους με την αποδοτικότητα επίλυσης προβλημάτων.
  • να αναλύει τεχνικές «διαίρει και βασίλευε», άπληστου σχεδιασμού και δυναμικού προγραμματισμού και να διακρίνει τις δομικές ιδιότητες προβλημάτων που επιτρέπουν την ορθή εφαρμογή τους.
  • να διερευνά αλγοριθμικά προβλήματα σε γραφήματα και δίκτυα και να συνδέει αναζητήσεις, συντομότερα μονοπάτια, συνδετικά δένδρα, ροές και τομές με γενικότερες αρχές συνδυαστικής βελτιστοποίησης.
  • να ερμηνεύει τη θεωρία υπολογιστικής πολυπλοκότητας και να διακρίνει κλάσεις προβλημάτων, αναγωγές, πληρότητα και όρια αποδοτικού υπολογισμού.
  • να εξετάζει δομικές και παραμετρικές προσεγγίσεις της πολυπλοκότητας και να αναγνωρίζει πώς διαφορετικές παράμετροι και λογικές περιγραφές επηρεάζουν την υπολογιστική δυσκολία.
  • να αναλύει τη θεωρία προσεγγιστικών αλγορίθμων και να συσχετίζει εγγυήσεις προσέγγισης με τη δυσκολία ακριβούς επίλυσης προβλημάτων βελτιστοποίησης.
  • να διερευνά τη μαθηματική δομή προβλημάτων συνδυαστικής βελτιστοποίησης και να συνδέει γραμμικό και ακέραιο προγραμματισμό, πολυεδρικές μεθόδους και τεχνικές διακλάδωσης με αλγοριθμικές λύσεις.
  • να ερμηνεύει τις βασικές έννοιες μαθηματικής λογικής και να συσχετίζει συντακτική, σημασιολογία, αποδειξιμότητα και μοντέλα με θεμελιώδη ερωτήματα των Μαθηματικών και της Πληροφορικής.
  • να εξετάζει τη θεωρία συνόλων και να αναγνωρίζει τον ρόλο αξιωματικών συστημάτων, πληθικοτήτων, διατακτικών και άλλων συνολοθεωρητικών δομών στη θεμελίωση των μαθηματικών.
  • να αναλύει τη θεωρία αναδρομής και να συνδέει υπολογίσιμες συναρτήσεις, αναδρομικά σύνολα και βαθμούς μη υπολογισιμότητας με τα θεωρητικά όρια του υπολογισμού.
  • να διερευνά θεωρία τύπων, περιγραφική πολυπλοκότητα και περιγραφική θεωρία συνόλων και να αναγνωρίζει τις αλληλεπιδράσεις λογικής, υπολογισμού και μαθηματικών δομών.
  • να ερμηνεύει τις αρχές θεωρίας γραφημάτων και να συσχετίζει συνεκτικότητα, επιπεδότητα, χρωματισμούς, αντιστοιχίσεις, κύκλους, δένδρα και άλλες δομές με συνδυαστικά και αλγοριθμικά προβλήματα.
  • να εξετάζει απαριθμητική συνδυαστική και να συνδέει γεννήτριες συναρτήσεις, αρχή εγκλεισμού-αποκλεισμού, μερικώς διατεταγμένα σύνολα και αντιστροφή Möbius με προβλήματα απαρίθμησης.
  • να αναλύει μοντέλα υπολογισμού, τυπικές γλώσσες και αυτόματα και να διακρίνει τη σχέση εκφραστικής ισχύος, αναγνωρισιμότητας και υπολογισιμότητας.
  • να διερευνά τη σημασιολογία γλωσσών προγραμματισμού και να συσχετίζει δηλωτικές, αξιωματικές και μαθηματικές περιγραφές προγραμμάτων με ιδιότητες ορθότητας και συμπεριφοράς.
  • να ερμηνεύει τις μαθηματικές αρχές της σύγχρονης κρυπτογραφίας και να συνδέει υπολογιστική δυσκολία, τυχαιότητα και θεωρία αριθμών με εγγυήσεις ασφάλειας.
  • να εξετάζει αλγοριθμική θεωρία παιγνίων και να συσχετίζει στρατηγική αλληλεπίδραση, ισορροπίες, κίνητρα και υπολογιστική πολυπλοκότητα με κατανεμημένα και οικονομικά συστήματα.
  • να αναλύει τις αρχές θεωρίας πληροφορίας και να συνδέει εντροπία, αμοιβαία πληροφορία, χωρητικότητα διαύλου και κωδικοποίηση με όρια συμπίεσης και αξιόπιστης μετάδοσης.
  • να διερευνά τις μαθηματικές και αλγοριθμικές βάσεις της επιστήμης δεδομένων, των στατιστικών αλγορίθμων και της μηχανικής μάθησης και να διακρίνει ζητήματα μάθησης, γενίκευσης και υπολογιστικής αποδοτικότητας.
  • να συνθέτει γνώσεις αλγορίθμων, λογικής, διακριτών μαθηματικών και θεωρίας υπολογισμού για την ερμηνεία σύνθετων προβλημάτων στη διεπαφή Μαθηματικών και Επιστήμης Υπολογιστών.
Δεξιότητες
  • να διατυπώνει υπολογιστικά και διακριτά μαθηματικά προβλήματα με ακριβείς ορισμούς, σαφείς υποθέσεις και κατάλληλα κριτήρια ορθότητας και αποδοτικότητας.
  • να σχεδιάζει αλγορίθμους επιλέγοντας κατάλληλες τεχνικές και δομές δεδομένων και να αποδεικνύει την ορθότητα και τον τερματισμό τους.
  • να υπολογίζει και να συγκρίνει ασυμπτωτικά χρονική και χωρική πολυπλοκότητα και να αξιολογεί την πρακτική σημασία θεωρητικών ορίων.
  • να κατασκευάζει αναγωγές μεταξύ προβλημάτων και να τις χρησιμοποιεί για την τεκμηρίωση αποτελεσμάτων δυσκολίας, πληρότητας ή μη προσεγγισιμότητας.
  • να αναπτύσσει προσεγγιστικούς και παραμετρικούς αλγορίθμους και να τεκμηριώνει τις αντίστοιχες εγγυήσεις απόδοσης ή εξάρτησης από παραμέτρους.
  • να μοντελοποιεί προβλήματα δικτύων, χρονοπρογραμματισμού, κατανομής πόρων και άλλων εφαρμογών ως προβλήματα συνδυαστικής βελτιστοποίησης.
  • να εφαρμόζει τεχνικές γραμμικού και ακέραιου προγραμματισμού, διακλάδωσης και αποτίμησης και άλλες ακριβείς ή ευριστικές μεθόδους σε σύνθετα διακριτά προβλήματα.
  • να χρησιμοποιεί αποδεικτικές τεχνικές λογικής και να κατασκευάζει τυπικά επιχειρήματα σχετικά με συνέπεια, πληρότητα, εκφραστικότητα και υπολογισιμότητα.
  • να εφαρμόζει μεθόδους θεωρίας γραφημάτων και συνδυαστικής για την απόδειξη δομικών ιδιοτήτων και την επίλυση απαριθμητικών και αλγοριθμικών προβλημάτων.
  • να χρησιμοποιεί γεννήτριες συναρτήσεις, αντιστροφή Möbius και άλλες συνδυαστικές τεχνικές για την ακριβή ή ασυμπτωτική απαρίθμηση διακριτών αντικειμένων.
  • να κατασκευάζει και να αναλύει αυτόματα, τυπικές γραμματικές και άλλα μοντέλα υπολογισμού και να εξετάζει τις γλώσσες και τα προβλήματα που αυτά περιγράφουν.
  • να διατυπώνει σημασιολογίες προγραμμάτων και να χρησιμοποιεί μαθηματικές δομές και θεωρήματα σταθερού σημείου για τη μελέτη αναδρομικών υπολογισμών.
  • να εφαρμόζει κρυπτογραφικές έννοιες και αποδεικτικές τεχνικές για την ανάλυση της ασφάλειας πρωτοκόλλων και αλγοριθμικών κατασκευών.
  • να μοντελοποιεί στρατηγικές αλληλεπιδράσεις και να αναλύει αλγοριθμικά ισορροπίες και μηχανισμούς σε προβλήματα θεωρίας παιγνίων.
  • να εφαρμόζει πληροφοριοθεωρητικά εργαλεία για την ποσοτικοποίηση πληροφορίας και την ανάλυση προβλημάτων συμπίεσης, κωδικοποίησης και επικοινωνίας.
  • να αναπτύσσει και να αξιολογεί αλγορίθμους επιστήμης δεδομένων και μηχανικής μάθησης με έμφαση στη μαθηματική θεμελίωση, στη στατιστική συμπεριφορά και στην υπολογιστική πολυπλοκότητα.
  • να αξιοποιεί πιθανοτικές και στοχαστικές τεχνικές στον σχεδιασμό και στην ανάλυση τυχαιοποιημένων αλγορίθμων και διακριτών μοντέλων.
  • να αναζητά, να μελετά και να συνθέτει σύγχρονη διεθνή ερευνητική βιβλιογραφία και να αναγνωρίζει ανοικτά προβλήματα και ενεργές ερευνητικές κατευθύνσεις.
  • να παρουσιάζει σύνθετες μαθηματικές αποδείξεις και αλγοριθμικά αποτελέσματα με ακριβή συμβολισμό, σαφή λογική δομή και πλήρη τεκμηρίωση των παραδοχών.
  • να εκπονεί αυτοδύναμη Μεταπτυχιακή Διπλωματική Εργασία, διατυπώνοντας ερευνητικό πρόβλημα, επιλέγοντας κατάλληλα μαθηματικά και αλγοριθμικά εργαλεία και τεκμηριώνοντας πρωτότυπα ή συνθετικά αποτελέσματα.
Ικανότητες
  • να διαμορφώνει αυτόνομες και αυστηρά τεκμηριωμένες κρίσεις για σύνθετα θεωρητικά προβλήματα αλγορίθμων, λογικής και διακριτών μαθηματικών.
  • να αναγνωρίζει τη βαθύτερη μαθηματική δομή ενός υπολογιστικού προβλήματος και να επιλέγει το κατάλληλο επίπεδο αφαίρεσης πριν από την ανάπτυξη λύσης.
  • να συνδυάζει αλγοριθμική, συνδυαστική, λογική και πιθανοτική σκέψη σε ενιαίες προσεγγίσεις προβλημάτων που δεν εντάσσονται σε ένα μόνο υποπεδίο.
  • να κρίνει αν ένα πρόβλημα επιδέχεται ακριβή πολυωνυμική λύση ή απαιτεί προσεγγιστική, παραμετρική, τυχαιοποιημένη ή άλλη εναλλακτική προσέγγιση.
  • να σταθμίζει ορθότητα, υπολογιστική πολυπλοκότητα, ποιότητα λύσης και μαθηματική γενικότητα κατά τη σύγκριση αλγοριθμικών μεθόδων.
  • να διακρίνει μεταξύ εμπειρικής αποτελεσματικότητας και θεωρητικά αποδεδειγμένων εγγυήσεων και να αποφεύγει συμπεράσματα που δεν υποστηρίζονται από τη μαθηματική ανάλυση.
  • να αναθεωρεί υποθέσεις και αποδεικτικές στρατηγικές όταν αντιπαραδείγματα, όρια πολυπλοκότητας ή νέα θεωρητικά αποτελέσματα αναιρούν την αρχική προσέγγιση.
  • να μεταφέρει έννοιες και τεχνικές μεταξύ θεωρητικής πληροφορικής και καθαρών διακριτών μαθηματικών και να αναγνωρίζει νέες συνδέσεις μεταξύ φαινομενικά διαφορετικών προβλημάτων.
  • να αξιολογεί κριτικά νέα αποτελέσματα στη μηχανική μάθηση και στην επιστήμη δεδομένων με βάση τη μαθηματική τους θεμελίωση, τις υποθέσεις και τις αποδεδειγμένες εγγυήσεις τους.
  • να αναπτύσσει νέες αποδεικτικές, συνδυαστικές ή αλγοριθμικές προσεγγίσεις όταν οι καθιερωμένες τεχνικές δεν επαρκούν για το εξεταζόμενο πρόβλημα.
  • να οργανώνει αυτοδύναμη θεωρητική έρευνα, από τη διατύπωση ερωτήματος και τη βιβλιογραφική χαρτογράφηση έως την ανάπτυξη λημμάτων, αποδείξεων και νέων συμπερασμάτων.
  • να αξιολογεί κριτικά επιστημονικές εργασίες και να εντοπίζει μη δηλωμένες υποθέσεις, κενά επιχειρηματολογίας, περιορισμούς και δυνατότητες γενίκευσης.
  • να συνεργάζεται αποτελεσματικά με μαθηματικούς και επιστήμονες υπολογιστών και να γεφυρώνει διαφορετικές ορολογίες και ερευνητικές παραδόσεις.
  • να επικοινωνεί αφηρημένα μαθηματικά και αλγοριθμικά αποτελέσματα σε εξειδικευμένο και διεπιστημονικό κοινό με σαφήνεια, ακρίβεια και αυστηρή διάκριση μεταξύ εικασίας και αποδεδειγμένου αποτελέσματος.
  • να ανανεώνει αυτόνομα το επιστημονικό του υπόβαθρο και να παρακολουθεί κριτικά τις εξελίξεις στους αλγορίθμους, στη θεωρία πολυπλοκότητας, στη λογική, στα διακριτά μαθηματικά και στις μαθηματικές βάσεις σύγχρονων υπολογιστικών μεθόδων.

Σημείωση τεκμηρίωσης:
Η παρουσίαση βασίζεται στον ισχύοντα Κανονισμό Σπουδών. Η επιλογή, η ομαδοποίηση και η διατύπωση των μαθησιακών αποτελεσμάτων αποτελούν συνθετική επεξεργασία του mysep, σύμφωνα με το Ελληνικό Πλαίσιο Προσόντων και τους περιγραφικούς δείκτες του Δουβλίνου.

Διάρκεια σπουδών :

Η χρονική διάρκεια φοίτησης στο ΠΜΣ που οδηγεί στη λήψη Διπλώματος Μεταπτυχιακών Σπουδών (ΔΜΣ) ορίζεται σε τρία (3) ακαδημαϊκά εξάμηνα, στα οποία περιλαμβάνεται και ο χρόνος εκπόνησης διπλωματικής εργασίας. Ο ανώτατος επιτρεπόμενος χρόνος ολοκλήρωσης των σπουδών, ορίζεται στα έξι (6) ακαδημαϊκά εξάμηνα.

Ένας μεταπτυχιακός φοιτητής μπορεί, με αιτιολογημένη αίτησή του και για σοβαρούς λόγους, να ζητήσει την αναστολή φοίτησης του για χρονικό διάστημα που δεν υπερβαίνει τα δύο συνεχόμενα εξάμηνα. Τα εξάμηνα αναστολής της φοιτητικής ιδιότητας δεν προσμετρούνται στην προβλεπόμενη ανώτατη διάρκεια κανονικής φοίτησης.

Γλώσσα Διδασκαλίας: Τα μαθήματα οργανώνονται σε εξάμηνα, πραγματοποιούνται σε εβδομαδιαία βάση και διεξάγονται στην Ελληνική γλώσσα. Μετά από απόφαση της ΕΔΕ, μπορούν να προσφερθούν μαθήματα και στην Αγγλική γλώσσα.

Δίδακτρα: –

Κατηγορίες και αριθμός εισακτέων:

Στο ΔΠΜΣ «Α.Λ.ΜΑ.» γίνονται δεκτοί κάτοχοι τίτλου του Α΄ κύκλου σπουδών ΑΕΙ της ημεδαπής ή ομοταγών, αναγνωρισμένων από τον ΔΟΑΤΑΠ, ιδρυμάτων της αλλοδαπής. Το Πρόγραμμα απευθύνεται κυρίως σε υποψηφίους προερχόμενους από Τμήματα ή Σχολές Μαθηματικών, Πληροφορικής, Πληροφορικής και Τηλεπικοινωνιών, Επιστήμης Υπολογιστών, Μηχανικών Υπολογιστών και Πληροφορικής, Ηλεκτρολόγων Μηχανικών. Εφόσον γίνουν δεκτοί, υποψήφιοι προερχόμενοι από άλλα Τμήματα (και σε ειδικές περιπτώσεις, υποψήφιοι προερχόμενοι από τα προαναφερθέντα Τμήματα) θα περάσουν από ειδικό προπαρασκευαστικό κύκλο προπτυχιακών μαθημάτων ενίσχυσης του υποβάθρου τους. Για τους μεταπτυχιακούς φοιτητές οι οποίοι έγιναν δεκτοί για αρχική φοίτηση στον κύκλο προκαταρκτικών μαθημάτων προκειμένου να γίνουν δεκτοί στον κύκλο μεταπτυχιακών μαθημάτων, ο χρόνος παρακολούθησης των προκαταρκτικών μαθημάτων δεν προσμετράται στο χρόνο φοίτησης για την κτήση του ΔΜΣ.

Γίνονται δεκτοί ως υπεράριθμοι υπότροφοι και μέλη των κατηγοριών ΕΕΠ, ΕΔΙΠ και ΕΤΕΤ σύμφωνα με την παρ. 8 του άρ. 34 του ν. 4485/2017.

Ο αριθμός των εισακτέων στο ΔΠΜΣ ορίζεται κατ’ ανώτατο όριο σε τριάντα (30) άτομα ανά ακαδημαϊκό έτος.

Διαδικασία επιλογής και εγγραφή επιτυχόντων

Η επιλογή των φοιτητών/τριών γίνεται σύμφωνα με το ν. 4485/2017 και τις προβλέψεις του παρόντος Κανονισμού Μεταπτυχιακών Σπουδών. Δικαίωμα αίτησης έχουν και νυν φοιτητές οι οποίοι βρίσκονται στο τελευταίο εξάμηνο υποχρεωτικής φοίτησης και αναμένεται να αποκτήσουν το πτυχίο τους μέχρι την περίοδο εγγραφών.  Κατά τη διάρκεια του εαρινού εξαμήνου με απόφαση της ΣΕ του ΔΠΜΣ δημοσιεύεται στην ιστοσελίδα του Τμήματος προκήρυξη για την εισαγωγή μεταπτυχιακών φοιτητών στο ΔΠΜΣ. Οι σχετικές αιτήσεις μαζί με τα απαραίτητα δικαιολογητικά κατατίθενται σε προθεσμία που ορίζεται κατά την προκήρυξη και μπορεί να παραταθεί με απόφαση της ΣΕ.

Απαραίτητα δικαιολογητικά είναι:

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

Η γνώση της Αγγλικής γλώσσας αποδεικνύεται με βάση όσα ορίζει η από 25/2/2016 σχετική απόφαση του ΑΣΕΠ. Με απόφαση της ΕΔΕ συγκροτείται Επιτροπή Επιλογής (εφεξής ΕΕ) μεταπτυχιακών φοιτητών. Κατά τη διαδικασία επιλογής οι υποψήφιοι κρίνονται ως προς τρεις άξονες:

Α. Απόδοση. Για τους ήδη αποφοίτους είναι ο βαθμός πτυχίου. Για τους νυν φοιτητές είναι ο μέχρι τότε μέσος όρος βαθμολογίας τους.

Β. Υπόβαθρο. Κρίνεται με βάση τα μαθήματα που έχει πάρει ο υποψήφιος και την υπόλοιπη δραστηριότητά του. Αντιπροσωπεύεται από τον μέσο όρο των 5 καλύτερων βαθμών που έχει πάρει ο υποψήφιος σε μαθήματα που ανήκουν στο συγκεκριμένο σύνολο που έχει οριστεί για κάθε μεταπτυχιακή ειδίκευση.

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

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

Πρόγραμμα Σπουδών (Μαθήματα – ECΤS)

Το ΠΜΣ ξεκινά το χειμερινό εξάμηνο εκάστου ακαδημαϊκού έτους. Για την απόκτηση ΔΜΣ απαιτούνται
συνολικά ενενήντα (90) πιστωτικές μονάδες (ECTS). Η διδασκαλία των μαθημάτων γίνεται διά ζώσης αλλά και με μέσα εξ αποστ άσεως εκπαίδευσης σε ποσοστό όμως που δεν υπερβαίνει το 35% (παρ. 3, αρ. 30, ν. 4485/2017).

Α. Στο πλαίσιο του ΔΠΜΣ προσφέρονται οι ακόλουθες κατηγορίες μαθημάτων:

Υποχρεωτικό μάθημα

      • Αλγόριθμοι

Κατ’ επιλογήν υποχρεωτικά μαθήματα. Τα κατ’ επιλογήν υποχρεωτικά μαθήματα χωρίζονται στις παρακάτω 3 ομάδες:

Ομάδα Α (Αλγόριθμοι):

      • Προσεγγιστικοί αλγόριθμοι
      • Συνδυαστική βελτιστοποίηση
      • Υπολογιστική πολυπλοκότητα

Ομάδα Β (Λογική):

      • Θεωρία αναδρομής
      • Θεωρία συνόλων
      • Λογική

Ομάδα Γ (Διακριτά Μαθηματικά):

      • Θεωρία γραφημάτων
      • Στοχαστικές διαδικασίες
      • Συνδυαστική

Μαθήματα επιλογής

      • Ακραία συνδυαστική
      • Άλγεβρα και κρυπτογραφία
      • Αλγοριθμικά θέματα κοινωνικών δικτύων
      • Αλγοριθμική θεωρία γραφημάτων
      • Αλγοριθμική θεωρία παιγνίων
      • Αλγόριθμοι δικτύων και πολυπλοκότητα
      • Αλγόριθμοι στη δομική βιοπληροφορική
      • Ανάλυση γεωμετρικών δεδομένων
      • Αναλυτική συνδυαστική
      • Απεικόνιση γραφημάτων
      • Απειροσυνδυαστική
      • Διακριτή ανάλυση
      • Δομική πολυπλοκότητα
      • Δομική θεωρία γραφημάτων
      • Δυναμικός προγραμματισμός
      • Ειδικά θέματα αλγορίθμων
      • Ειδικά θέματα διακριτών μαθηματικών
      • Ειδικά θέματα λογικής
      • Επιχειρησιακή έρευνα
      • Θεωρία αποδείξεων
      • Θεωρία γραμμικού προγραμματισμού
      • Θεωρία κόμβων και εφαρμογές
      • Θεωρία μητροειδών
      • Θεωρία μοντέλων
      • Θεωρία ουρών αναμονής
      • Θεωρία παιγνίων
      • Θεωρία πληροφορίας
      • Κρυπτογραφία
      • Κυρτή ανάλυση
      • Λάμδα λογισμός
      • Μοντέλα υπολογισμού, τυπικές γλώσσες και αυτόματα
      • Παραμετρικοί πολυπλοκότητα και αλγόριθμοι
      • Πιθανοτικές μέθοδοι
      • Προσθετική συνδυαστική
      • Σημασιολογία γλωσσών προγραμματισμού
      • Στοχαστικά μοντέλα
      • Συστήματα τύπων των γλωσσών προγραμματισμού
      • Τροπική λογική
      • Τυπικές μέθοδοι
      • Τυχαιοποιημένοι αλγόριθμοι
      • Υπολογιστική άλγεβρα
      • Υπολογιστική γεωμετρία
      • Υπολογιστική επιστήμη και τεχνολογία
      • Υπολογιστική κρυπτογραφία

Σεμιναριακά μαθήματα: αφορούν προχωρημένα θέματα και διδάσκονται συνήθως από επισκέπτες καθηγητές.

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

Το υποχρεωτικό, κάθε κατ’ επιλογήν υποχρεωτικό μάθημα και κάθε μάθημα επιλογής διδάσκεται για τέσσερις (4) ώρες εβδομαδιαίως, από τις οποίες η μία (1) μπορεί να αφορά φροντιστηριακές ή εργαστηριακές ασκήσεις, και αντιστοιχεί σε έξι (6) πιστωτικές μονάδες (ECTS). Κάθε σεμιναριακό μάθημα διδάσκεται για τουλάχιστον είκοσι (20) ώρες ανά εξάμηνο και αντιστοιχεί σε τέσσερις (4) πιστωτικές μονάδες. Κάθε μάθημα μελέτης διδάσκεται για δύο (2) ώρες εβδομαδιαίως και αντιστοιχεί σε τέσσερις (4) πιστωτικές μονάδες.

Κάθε φοιτητής μπορεί, κατόπιν εγκρίσεως της Ε.Δ.Ε.,

α. να συγκεντρώσει μέχρι δώδεκα (12) πιστωτικές μονάδες από επιτυχή παρακολούθηση μαθημάτων άλλων ΠΜΣ συναφούς αντικειμένου και

β. να ζητήσει την αναγνώριση μεταπτυχιακών μαθημάτων που παρακολούθησε επιτυχώς πριν από την εγγραφή του στο ΔΠΜΣ.

Κάθε φοιτητής μπορεί να συγκεντρώσει συνολικά το πολύ τριάντα (30) πιστωτικές μονάδες από μαθήματα των παραπάνω περιπτώσεων (α) και (β).

Για την απονομή του ΔΜΣ κάθε φοιτητής οφείλει να συγκεντρώσει ενενήντα (90) πιστωτικές μονάδες ως εξής:

    • είκοσι τέσσερις (24) πιστωτικές μονάδες μέσω επιτυχούς παρακολούθησης του υποχρεωτικού μαθήματος «Αλγόριθμοι» και τριών (3) κατ’ επιλογήν υποχρεωτικών μαθημάτων, ένα από κάθε μία από τις Ομάδες Α. Αλγόριθμοι, Β. Λογική και Γ. Διακριτά Μαθηματικά.
    • τριάντα έξι (36) πιστωτικές μονάδες μέσω επιτυχούς παρακολούθησης λοιπών μαθημάτων.
    • τριάντα (30) πιστωτικές μονάδες μέσω επιτυχούς συγγραφής μεταπτυχιακής διπλωματικής εργασίας.

Τα μαθήματα, η κατανομή τους σε εξάμηνα και οι προϋποθέσεις για τη λήψη του διπλώματος μπορούν
να τροποποιηθούν με απόφαση της ΕΔΕ. Στις οποιεσδήποτε τροποποιήσεις που αφορούν το υποχρεωτικό, τα κατ’ επιλογήν υποχρεωτικά και τα λοιπά μαθήματα θα πρέπει να τηρείται μια ισορροπία μεταξύ των τριών επιστημονικών περιοχών του προγράμματος (Αλγόριθμοι, Λογική, Διακριτά Μαθηματικά), καθώς και να εξασφαλίζεται ο κεντρικός ρόλος των Αλγορίθμων, όπως στο παρόν πρόγραμμα. Επίσης τυχόν τροποποιήσεις θα είναι εφαρμοστέες από το επόμενο ακαδημαϊκό έτος από αυτό κατά το οποίο αποφασίζονται από την ΕΔΕ.

Ο παρακάτω πίνακας εμφανίζει μια ενδεικτική κατανομή μαθημάτων ανά εξάμηνο και ανά κατηγορία, αναφέροντας για κάθε μάθημα τις αντίστοιχες πιστωτικές μονάδες:

Α’ ΕΞΑΜΗΝΟ
ΜΑΘΗΜΑ

      • ΑΛΓΟΡΙΘΜΟΙ (ΥΠΟΧΡΕΩΤΙΚΟ)
      • ΥΠΟΧΡΕΩΤΙΚΟ ΚΑΤ’ ΕΠΙΛΟΓΗ ΟΜΑΔΑΣ Α
      • ΥΠΟΧΡΕΩΤΙΚΟ ΚΑΤ’ ΕΠΙΛΟΓΗ ΟΜΑΔΑΣ Β
      • ΥΠΟΧΡΕΩΤΙΚΟ ΚΑΤ’ ΕΠΙΛΟΓΗ ΟΜΑΔΑΣ Γ
      • ΜΑΘΗΜΑ ΕΠΙΛΟΓΗΣ

Β’ ΕΞΑΜΗΝΟ
ΜΑΘΗΜΑ

      • ΜΑΘΗΜΑ ΕΠΙΛΟΓΗΣ
      • ΜΑΘΗΜΑ ΕΠΙΛΟΓΗΣ
      • ΜΑΘΗΜΑ ΕΠΙΛΟΓΗΣ
      • ΜΑΘΗΜΑ ΕΠΙΛΟΓΗΣ
      • ΜΑΘΗΜΑ ΕΠΙΛΟΓΗΣ

Γ’ ΕΞΑΜΗΝΟ
ΜΑΘΗΜΑ

      • ΔΙΠΛΩΜΑΤΙΚΗ ΕΡΓΑΣΙΑ.

Τι άλλο πρέπει να ξέρω :

Χρήσιμα Έντυπα:

Προκήρυξη : Πρόσκληση εκδήλωσης ενδιαφέροντος (ακαδ. έτος 2026-2027)

ΦΕΚ Ίδρυσης : ΦΕΚ 3037 τ.Β΄/27.07.2018

Κανονισμός Σπουδών : ΦΕΚ 3141 τ.Β’/31.07.2018  & ΦΕΚ 2076 τ.Β’/07.04.2024

Περισσότερα στοιχεία :

Ηλεκτρονική διεύθυνση ΠΜΣ: http://alma.di.uoa.gr/

Διάρκεια Λειτουργίας

Το ΠΜΣ θα λειτουργήσει μέχρι το ακαδημαϊκό έτος 2027 – 2028 εφόσον πληροί τα κριτήρια της εσωτερικής και εξωτερικής αξιολόγησης, σύμφωνα με την παρ. 8 του άρθρου 32 και την παρ. 6 του άρθρου 44 του ν. 4485/2017.

Έλεγχος Καταλληλότητας
Δες αν το Δ.Π.Μ.Σ.: «Αλγόριθμοι, Λογική και Διακριτά Μαθηματικά», του Εθνικού Μετσόβιου Πολυτεχνείου (Ε.Μ.Π.) ταιριάζει στις δικές σου φιλοδοξίες;