Ανακοινώσεις

Ανακοίνωση μαθήματος «Λογική»

Submitted by admin on Thu, 02/09/2017 - 22:17

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

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

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

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

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

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

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

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

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

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

Λ. Κυρούσης

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

Submitted by admin on Tue, 01/24/2017 - 13:38

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

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

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

Λ. Κυρούσης

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

Submitted by admin on Tue, 01/10/2017 - 15:42

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

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

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

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

Περίληψη

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

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

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