mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Home page Anonymously browsing from 54.147.50.227 at 04:44:38, 29-09-2016. login

Latest posts

ΦΕΚ ΜΠ ΑΛΜΑ

Το ΦΕΚ του Μεταπτυχιακού Προγράμματος «Αλγόριθμοι, Λογική και Διακριτά Μαθηματικά» έχει δημοσιευτεί στις 7 Σεπτεμβρίου.

Παρακαλούνται οι ενδιαφερόμενοι/ες φοιτητές/τριες να επικοινωνήσουν με την Γραμματεία του Τμήματος Πληροφορικής και Τηλεπικοινωνιών. Το ΦΕΚ, η πρόσκληση, το υπόδειγμα αίτησης, και η προσκληση ενδιαφέροντος είναι διαθέσιμα στη σελίδα: http://files.thilikos.info/data/various/ALMA/

published by Dimitrios M. Thilikos,
2 weeks, 2 days ago.

Ακαδημαϊκό Έτος 2016-2017

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

published by Secretary MPLA,
2 months, 3 weeks ago.

Παρουσίαση Διδακτορικής Διατριβής Βασιλείου Πασχάλη

Ημερομηνία: Τρίτη, 28 Ιούν 2016

Ώρα: 14:00-16:00

Τόπος: Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών, Τμήμα Πληροφορικής και Τηλεπικοινωνιών, Αίθουσα Τηλεδιασκέψεων

Τίτλος Διατριβής:

End extensions of models of arithmetic

Σύνοψη:

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

«Υπάρχει, για κάθε αριθμήσιμο μοντέλο της Σ1 συλλογής γνήσια τελική επέκτασή του που ικανοποιεί την Δ0 επαγωγή;»

παραμένει ανοικτό. Το πρόβλημα μελέτησαν οι J. Paris και A. Wilkie (1989), οι οποίοι απέδειξαν ότι ικανή συνθήκη για θετική απάντηση είναι το μοντέλο να είναι ΙΔ0-πλήρες (όπου με ΙΔ0 συμβολίζεται η θεωρία της Δ0-επαγωγής). Αποδεικνύουμε ότι η χρήση της έννοιας της ΙΔ0-πληρότητας μπορεί να παρακαμφθεί και στη θέση της να χρησιμοποιηθεί τυποποίηση του κλασικού επιχειρήματος του θεωρήματος πληρότητας (θεώρημα Hilbert-Bernays), με χρήση σημασιολογικών πινάκων (semantic tableaux).

Επταμελής Επιτροπή:

Κωνσταντίνος Χατζηκυριάκου
Κωνσταντίνος Δημητρακόπουλος
Ali Enayat
Παναγής Καραζέρης
Χαράλαμπος Κορνάρος
Θανάσης Φειδάς
Αθανάσιος Τζουβάρας
published by Dimitrios M. Thilikos,
3 months, 1 week ago.

Ορκομωσία 28/06/2016 10:30

Η επόμενη ορκομωσία του ΜΠΛΑ θα γίνει την Τρίτη 28 Ιουνίου, 2016 και θα αρχίσει στις 10:30 ακριβώς. Παρακαλούνται οι ενδιαφερόμενοι/ες φοιτητές/τριες να κάνουν αίτηση ορκομωσίας. Οι αιτήσεις θα πρέπει να κατατεθούν για έγκριση πριν την την επόμενη συνέλευση της Ε.Δ.Ε. του ΜΠΛΑ που θα γίνει την Παρασκευή 24/06/2016.

published by Dimitrios M. Thilikos,
3 months, 3 weeks ago.

Δηλώσεις Μαθημάτων Εαρινού Εξάμηνου Α.Ε. 2015-2016

Οι δηλώσεις μαθημάτων για το εαρινό εξάμηνο του Α.Ε. 2015-2016 θα γίνουν στο διάστημα 05/06/2015 - 20/06/2015

Παρακαλούνται οι φοιτητές του ΜΠΛΑ να κάνουν το συντομότερο τις δηλώσεις τους χρησιμοποιώντας την ιστοσελίδα του ΜΠΛΑ http://mpla.math.uoa.gr/el/login/

published by Secretary MPLA,
3 months, 3 weeks ago.

Μαθηματα Εαρινού Εξαμήνου Α.Ε. 2015-2016

Σύμφωνα με την απόφαση της Ε.Δ.Ε. την 28/01/2016, τα μαθήματα που θα διδαχτούν κατά το εαρινό εξάμηνο του Α.Ε. 2015-2016 είναι τα εξής:

Λ1. Μαθηματική Λογική: Κ. Κούτρας

Π05Β. Μοντέλα υπολογισμού και πολυπλοκότητα: Ε. Ζάχος

Π17. Μαθηματικά και κρυπτογραφία: Ε. Ράπτης

Μ06Μ. Αλγεβρική Συνδυαστική: Χ. Αθανασιάδης

Λ07Ν. Παραμετρική Πολυπλοκότητα και Αλγόριθμοι : Α. Γιαννοπούλου

Π02Δ. Υπολογιστική Γεωμετρία: Ι. Εμίρης και Ι. Χαμόδρακας.

Π03Ζ. Αλγοριθμοι στη Δομική Βιοπληροφορική: Ι. Εμίρης και Ε. Χρυσίνα.

Π08Α. Αλγοριθμική Θεωρία Παιγνίων: Δ. Φωτάκης

Λ07Γ. Λογική, Αυτόματα και Πάιγνια: Ε. Ζάχος και Α. Αχιλλέως

Το εξάμηνο τυπικά αρχίζει από την 1η Φεβρουαρίου. Για το κάθε ένα από τα παραπάνω μαθήματα η έναρξη θα οριστεί από τον/τη διδάσκοντα.

published by Dimitrios M. Thilikos,
8 months ago.

Δηλώσεις μαθημάτων για το Χειμερινό Εξάμηνο του Α.Ε. 2015-2016

Οι δηλώσεις μαθημάτων για το Α.Ε. 2015-2016 θα γίνουν στο διάστημα 01/11/2015 - 01/12/2015

Παρακαλούνται οι φοιτητές του ΜΠΛΑ να κάνουν το συντομότερο τις δηλώσεις τους χρησιμοποιώντας την ιστοσελίδα του ΜΠΛΑ http://mpla.math.uoa.gr/el/login/

published by Dimitrios M. Thilikos,
11 months ago.

Πρόγραμμα μαθημάτων

Το πρόγραμμα μαθημάτων του ΜΠΛΑ για το Χειμερινό Εξάμηνο Α.Ε. 2015-2016 βρίσκεται στο σύνδεσμο http://mpla.math.uoa.gr/el/schedule/ στον οποίον θα γίνεται και η ενημέρωση αν υπάρξουν αλλαγές.

published by Dimitrios M. Thilikos,
1 year ago.

Μη ανανέωση του ΜΠΛΑ

Κατά τη συνεδρίαση της την Δευτέρα 06/072015 η Ε.Δ.Ε. του ΜΠΛΑ ομόφωνα κατέληξε στα εξής:

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

  2. Με βάση τα παραπάνω, το ΜΠΛΑ δεν μπορεί να εγγράψει φοιτητές μετά από την 31/08/2015 και η λειτουργία του θα συνεχιστεί μέχρι την αποφοίτηση και του τελευταίου φοιτητή του. Με βάση τον κανονισμό, αυτό σημαίνει ότι οι υπάρχοντες φοιτητές, προκειμένου να ολοκληρώσουν τις σπουδές τους, πρέπει να έχουν περάσει όλα τα απαιτούμενα μαθήματα και να έχουν υποστηρίξει την διπλωματική τους εργασία μέχρι και την 28η Φεβρουαρίου του 2018 η οποία ορίζεται ως ημερομηνία λήξης του προγράμματος. Όσοι φοιτητές δεν έχουν συμπληρώσει τις σπουδές τους μέχρι και αυτή την ημερομηνία, θα διαγραφούν αυτόματα.

published by Dimitrios M. Thilikos,
1 year, 2 months ago.

Τελετή Ορκωμοσίας

Tην Τρίτη 7 Ιουλίου 2015 στην αίθουσα συνελεύσεων του Τμήματος Μαθηματικών θα διεξαχθεί τελετή ορκωμοσίας φοιτητών του προγράμματός μας.

Περισσότερες πληροφορίες βρίσκονται στον ακόλουθο σύνδεσμο.

published by Secretary MPLA,
1 year, 3 months ago.

Graduation Ceremony

Graduation ceremony Date: Thursday, 23 Apr 2015 Time: 10:00-10:30 Location: Department of Mathematics, University of Athens, Hall of assemblies

More info: http://mpla.math.uoa.gr/el/graduations/2015/4/23/graduation:568/

published by Dimitrios M. Thilikos,
1 year, 5 months ago.

Παράταση δηλώσεων μαθημάτων εαρινού εξαμήνου

Οι δηλώσεις μαθημάτων του εαρινού εξαμήνου θα τελειώσουν την Παρασκευή 20 Μαρτίου.

published by Secretary MPLA,
1 year, 6 months ago.

Δηλώσεις μαθημάτων εαρινού εξαμήνου

Οι δηλώσεις μαθημάτων του εαρινού εξαμήνου ξεκινούν την Κυριακή 1 Μαρτίου και τελειώνουν την Κυριακή 15 Μαρτίου.

published by Secretary MPLA,
1 year, 7 months ago.

Γραμματειακή υποστήριξη

Οι ώρες και μέρες επικοινωνίας των φοιτητών με την γραμματεία του προγράμματος (κα. Ελισάβετ Λέκκα, γραμματεία Τμήματος Μαθηματικών) είναι οι εξής:

Δευτέρα 11:00-14:00

Τετάρτη 11:00-14:00

Παρασκευή 11:00-14:00

Εναλλακτικά για ζητήματα που αφορούν την γραμματειακή υποστήριξη του ΜΠΛΑ μπορείτε να απευθύνεστε στην διεύθυνση: secr.mpla@gmail.com

published by Dimitrios M. Thilikos,
1 year, 7 months ago.

Μαθήματα Εαρινού Εξαμήνου Α.Ε. 2014-2015

Τα μαθήματα που θα διδαχτούν κατά το Εαρινό Εξάμηνο του Ακαδημαϊκού Έτους 2014-2015 είναι τα εξής:

  1. Π03Β: Σημασιολογία Γλωσσών Προγραμματισμού, Διδάσκων: Παναγιώτης Ροντογιάννης

  2. Λ1: Μαθηματική Λογική, Διδάσκοντες: Γεώργιος Κολέτσος, Γιώργος Σταυρινός

  3. Λ14: λ-λογισμός, Διδάσκοντες: Κολέτσος, Γιώργος Σταυρινός

  4. Π02Δ: Υπολογιστική Γεωμετρία, Διδάσκων: Ιωάννης Εμίρης

  5. Π03Ζ: Αλγόριθμοι στη δομική Βιοπληροφορική, Διδάσκοντες: Ιωάννης Εμίρης, Ευαγγελία Χρυσίνα

  6. Λ99Γ: Τροπική Λογική, Διδάσκων: Κωνσταντίνος Κούτρας

  7. Π17: Μαθηματικά και Κρυπτογραφία, Διδάσκων: Ευάγγελος Ράπτης

  8. Λ05Δ: Θεωρία Γραφημάτων, Διδάσκοντες: Δημήτριος Μ. Θηλυκός, Ιωάννης Γιώτης

  9. Π03Ε. Αλγόριθμοι Δικτύων και Πολυπλοκότητα, Διδάσκων: Άρης Παγουρτζής

  10. Μ6. Θεωρία συνόλων, Διδάσκων: Αθανάσιος Τσαρπαλιάς

  11. Π12. Αλγοριθμικά Θέματα Κοινωνικών Δικτύων, Διδάσκοντες: Δημήτρης Φωτάκης, Στάθης Ζάχος

  12. Π05Β. Μοντέλα υπολογισμού και πολυπλοκότητα, Διδάσκων: Στάθης Ζάχος

published by Dimitrios M. Thilikos,
1 year, 7 months ago.

Λειτουργία Γραμματείας

Για το μήνα Νοέμβριο χρέη γραμματείας θα εκτελεί η κα Ελένη Κλη. Οι ώρες λειτουργίας της γραμματείας και υποδοχής φοιτητών θα είναι Τετάρτη και Παρασκευή, 13.00-15.00 (αποκλειστικά) (Τμήμα Μαθηματικών, Γραφείο 302, 3ος όροφος).

published by Eleni Kli,
1 year, 10 months ago.

Πρόγραμμα Χειμερινού Εξαμήνου

Το πρόγραμμα των μαθημάτων του ΜΠΛΑ για το χειμερινό εξάμηνο του Α.Ε. 2014-2015 είναι διαθέσιμο στον παρακάτω σύνδεσμο.

http://users.uoa.gr/~sedthilk/data/MPLA_program_14.pdf

published by Dimitrios M. Thilikos,
1 year, 11 months ago.

Reporter

Page updates

No recent updates.

Feeds RSS and Atom feeds

posts
all posts RSS
news RSS
announcements RSS
website news RSS
events
all events RSS
defenses RSS
exams RSS
seminars RSS
graduations RSS
Web standards: XHTML1.0, CSS3.
© 1996 – 2016 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.