mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Posts Anonymously browsing from 54.204.211.128 at 04:22:40, 26-03-2017. login

Latest posts

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

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

  • Μαθηματική Λογική, Λευτέρης Κυρούσης
  • Σημασιολογία Γλωσσών Προγραμματισμού, Παναγιώτης Ροντογιάννης
  • Αλγόριθμοι Δυκτύων και Πολυπλοκότητα, Αριστείδης Παγουρτζής
  • Υπολογιστική Γεωμετρία: Χρήστος Κοναξής
  • Αλγόριθμοι στη Δομική Βιοπληροφορική, Ευαγγελία Χρυσίνα
  • Μοντέλα υπολογισμού και πολυπλοκότητα, Ευστάθιος Ζάχος
  • Προχωρημένα Θέματα Λογικής, Ευστάθιος Ζάχος*
  • Προχωρημένα Θέματα Αλγορίθμων και Πολυπλοκότητας, Ευστάθιος Ζάχος, Αριστείδης Παγουρτζής*

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

*Εκκρεμεί έγκριση από την ΕΔΕ του προγράμματος.

Published by: Γραμματεία ΜΠΛΑ,
1 month, 1 week ago.

Ανακοίνωση μαθήματος Λ1. Μαθηματική Λογική

Οι φοιτητές που θα παρακολουθήσουν το μεταπτυχιακό μάθημα «Μαθηματική Λογική» πρέπει ΑΠΑΡΑΙΤΗΤΩΣ να εγγραφούν στο μάθημα

«Μαθηματική Λογική (μεταπτυχιακό μάθημα) MATH 348»

στο η-τάξη του ΕΚΠΑ και να φροντίσουν να έχουν καταγεγραμμένη ισχύουσα ηλεκτρονική διεύθυνση.

Η εγγραφή στο η-τάξη του ΕΚΠΑ προϋποθέτει εγγραφή στις ηλεκτρονικές υπηρεσίες του ΕΚΠΑ.

Συμβουλευτείτε την ιστοσελίδα: https://webadm.uoa.gr/katsika/users/src/index.php

Το μεταπτυχιακό πρόγραμμα που θα δηλώσετε στην αίτηση είναι:

  • Για τους φοιτητές της ΘΚ του ΠΜΣ του Τμ. Μαθηματικών: ΠΜΣ από το Τμ. Μαθηματικών > ΠΜΣ Μαθηματικών > Κατεύθυνση ΘΜ

  • Για τους φοιτητές του ΜΠΛΑ: ΠΜΣ από το Τμ. Μαθηματικών > ΠΜΣ Λογική & Θεωρία Αλγορίθμων & Υπολογισμού.

  • Για τους φοιτητές του ΑΛΜΑ: ΠΜΣ από το ΤΠΤ > ΠΜΣ Αλγόριθμοι, Λογική & Διακριτά Μαθηματικά.

Στη συνέχεια πρέπει να σφραγίσετε την αίτηση στην αντίστοιχη γραμματεία και να τη στείλετε ηλεκτρονικά σαρωμένη ή τηλεομοιοτυπικά στο ΚΛΕΙΔΙ.

Λ. Κυρούσης

Published by: Γραμματεία ΜΠΛΑ,
1 month, 1 week ago.

Ανακοίνωση αλλαγής έναρξης του μαθήματος «Μαθηματική Λογική»

Οι παραδόσεις του μεταπτυχιακού μαθήματος «Μαθηματική Λογική» θα αρχίσουν την Τετάρτη, 15 Φεβρουαρίου 2017, στην αίθουσα Α31 του κτιρίου Μαθηματικών.

Οδηγίες για πρόσβαση στο κτίριο Μαθηματικών και την αίθουσα Α31 μπορείτε να βρείτε στο τέλος της σελίδας.

Η παρουσία στις παραδόσεις είναι απαραίτητη.

Λ. Κυρούσης

Published by: Γραμματεία ΜΠΛΑ,
2 months ago.

Διδασκαλία του μαθήματος Λ1. Μαθηματική Λογική

Έναρξη μαθημάτων: 6 Φεβρουαρίου 2017

Λήξη: 26 Μαΐου 2017

Μέρες και ώρες διδασκαλίας: Τετάρτη 3.00 - 5.00 μμ, Παρασκευή 1.00 - 3.00 μμ

Τόπος: Κτίριο Μαθ. Πανεπιστημιούπολη

Published by: Γραμματεία ΜΠΛΑ,
2 months, 1 week ago.

Ομιλία Σεμιναρίου ΜΠΛΑ/ΑΛΜΑ

Ομιλητής: Κωνσταντίνος Τσαπρούνης (Τμήμα Μαθηματικών και Εφαρμοσμένων Μαθηματικών, Πανεπιστήμιο Κρήτης)

Title: Αξιώματα μεγάλων πληθαρίθμων

Ημερομηνία: Τετάρτη 11/01/2017, 16:00-17:00

Αίθουσα: A22, Τμήμα Μαθηματικών, ΕΚΠΑ

Περίληψη

Το αξιωματικό σύστημα της ZFC συνολοθεωρίας, όπως αυτό διαμορφώθηκε κατά τον προηγούμενο αιώνα, αποτελεί, κατά γενική ομολογία, την τρέχουσα θεμελίωση των μαθηματικών. Ωστόσο, παρά την εκφραστική και αποδεικτική ισχύ αυτού του συστήματος, είναι πλέον γνωστό πως πολλά μαθηματικά προβλήματα, από διάφορα πεδία των μαθηματικών, είναι (αποδεδειγμένα) ανεξάρτητα από τα αξιώματα της ZFC.

Προς την κατεύθυνση της περαιτέρω ενίσχυσης αυτής της βασικής θεωρίας, μία κυρίαρχη κατηγορία (επιπλέον) αξιωμάτων είναι τα αξιώματα μεγάλων πληθαρίθμων, τα οποία έχουν μελετηθεί εντατικά και εκτενώς κατά τις τελευταίες δεκαετίες. Τα αξιώματα αυτά, σε γενικές γραμμές, διατείνονται την ύπαρξη ολοένα και ισχυρότερων (ως προς τις ιδιότητες που ικανοποιούν) άπειρων συνόλων, δημιουργώντας έτσι μία ιεραρχία ισχυρών υποθέσεων που επεκτείνει τη ZFC.

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

Published by: Γραμματεία ΜΠΛΑ,
2 months, 4 weeks ago.

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

Η περίοδος δηλώσεων μαθημάτων για το χειμερινό εξάμηνο του Α.Ε. 2016-2017 θα διαρκέσει από 04/11/2016 μέχρι 21/11/2016.

Published by: Γραμματεία ΜΠΛΑ,
4 months, 2 weeks ago.

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

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

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

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

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

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

Published by: Δημήτριος Μ. Θηλυκός,
4 months, 3 weeks ago.

Ορκωμοσίες ΜΠΛΑ

H επόμενη ορκωμοσία φοιτητών του ΜΠΛΑ έχει οριστεί να διεξαχθεί την Τρίτη 20/12/2016. Οι επόμενες (και τελευταίες) ορκωμοσίες έχουν προγραμματιστεί να γίνουν τον Ιούλιο του 2017 και τον Δεκέμβριο του 2017.

Published by: Γραμματεία ΜΠΛΑ,
5 months ago.

ΦΕΚ ΜΠ ΑΛΜΑ

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

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

Published by: Δημήτριος Μ. Θηλυκός,
6 months, 2 weeks ago.

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

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

Published by: Γραμματεία ΜΠΛΑ,
8 months, 2 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: Δημήτριος Μ. Θηλυκός,
9 months, 1 week ago.

Ομιλία Ali Enayat

Ομιλητής: Ali Enayat, University of Gothenburg (Sweden)

Title: Leibnizian motifs in set theory

Ημερομηνία: Τετάρτη, 22/6/2016, 6-7 μ.μ.

Αίθουσα: Γ. Γκουνταρούλη (στο ισόγειο του κτηρίου γραφείων), Τμήμα ΜΙΘΕ (δίπλα στην κεντρική πύλη της Παν/πολης)

Abstract

Leibniz's principle of identity of indiscernibles stipulates that no two distinct substances exactly resemble each other; a principle that can be construed as prescribing a logical relationship between objects and properties: any two distinct objects must differ in at least one property. In this talk I will describe how Leibniz's principle, surprisingly, connects to the metamathematics of set theory. As we shall see, a natural model-theoretic formulation of Leibniz's principle holds for finite set theory (Zermelo-Fraenkel set theory, ZF, with the axiom of infinity replaced by its negation), but in the case of general set theory (ZF), the principle is equivalent to a weak version of the global form of the axiom of choice that is consistent with ZF, but unprovable in ZF.

Published by: Δημήτριος Μ. Θηλυκός,
9 months, 1 week ago.

Archive

2017,

2016,

2015,

2014,

2013,

2012.

Reporter

Page updates

No recent updates.

Feeds RSS and Atom feeds

posts
all posts RSS
νέα RSS
ανακοινώσεις RSS
νέα ιστοσελίδας RSS
events
all events RSS
defenses RSS
exams RSS
seminars RSS
graduations RSS
Web standards: XHTML1.0, CSS3.
© 1996 – 2017 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.