Course curriculum
υποχρεωτικά
Αυτά τα βασικά μαθήματα είναι υποχρεωτικά για το μεταπτυχιακό δίπλωμα και προσφέρονται κάθε χρονιά.
- Λ1. Μαθηματική λογική
- Λ2. Υπολογισιμότητα
- Λ3. Αλγόριθμοι και πολυπλοκότητα I
- Λ4. Αλγόριθμοι και πολυπλοκότητα II
- Λ5. Ερευνητική μεθοδολογία
κατ' επιλογήν υποχρεωτικά
επιλογής (πληροφορική λογική)
Το Πρόγραμμα προσφέρει μια επιλογή από τα ακόλουθα μαθήματα πληροφορικής λογικής κάθε εξάμηνο.
- Π17. Μαθηματικά και κρυπτογραφία
- Π18. Λογικός προγραμματισμος
- Π19. Μαθηματική θεωρία γλωσσών προγραμματισμού
- Π14Α. Θεωρία γραμμικού προγραμματισμού
επιλογής (λογική)
Το Πρόγραμμα προσφέρει μια επιλογή από τα ακόλουθα μαθήματα λογικής κάθε εξάμηνο.
- Λ14. Εισαγωγή στο λ-λογισμό
- Λ15. Θεωρία αποδείξεων
- Λ16. Μη-κλασικές λογικές
- Λ13Α. Εφηρμοσμένη Θεωρία Αποδείξεων
- Λ13Β. Τυπικές Μέθοδοι και Λογισμικό (Θεωρία κατηγοριών και εφαρμογές αλγεβρικών προδιαγραφών)
- Λ13Ο. Προσεγγιστικοί αλγόριθμοι και σχεδιασμός μηχανισμών
επιλογής (μαθηματική λογική)
Το Πρόγραμμα προσφέρει μια επιλογή από τα ακόλουθα μαθήματα μαθηματικής λογικής κάθε εξάμηνο.
- M10. Μεταμαθηματικά της συνολοθεωρίας
- M11. Θεωρία αναδρομής
- M12. Θεωρία μοντέλων
- M13. Εισαγωγή στα κατασκευαστικά μαθηματικά
Ειδικά θέματα στη λογική
- Λ00Γ. Συνδυαστική πολυπλοκότητα
- Λ00Δ. Προσεγγιστικοί αλγόριθμοι και πολυπλοκότητα
- Λ01Ν. Introduction to recursion in higher types
- Λ01Ξ. Μαθηματικά και ρομποτική
- Λ02Α. Αριθμητική πολυπλοκότητα
- Λ02Β. Metamathematics of Peano arithmetic
- Λ02Ν. Λογική στις βάσεις δεδομένων
- Λ02Ο. Algebraic specifications and their applications in computer science
- Λ02Π. Θέματα λογικής στην πληροφορική
- Λ03Α. Υπολογιστική αλγεβρική γεωμετρία
- Λ03Ν. Models of peano arithmetic
- Λ04Α. Αποδείξεις και προγράμματα
- Λ05Γ. Περιγραφική πολυπλοκότητα και αλγόριθμοι
- Λ07Γ. Λογική, Αυτόματα και Παίγνια
- Λ07Ο. Γραμμική λογική
- Λ08Α. Τεχνικές σύγχρονης κρυπτογραφίας
- Λ08Ν. Functional interpretation of arithmetic
- Λ09Γ. Προχωρημένα Θέματα Λογικής
- Λ13Ξ. Ιντουισιονιστική λογική και κατασκευαστικά μαθηματικά
- Λ97Α. Πιθανοτικοί αλγόριθμοι
- Λ98Α. Λογικός προγραμματισμος II
- Λ98Β. Java
- Λ98Γ. Category theory and applications
- Λ98Ν. Μεταμαθηματικά της συνολοθεωρίας
- Λ98Ο. Κατασκευαστικά μαθηματικά
- Λ99Α. Finite model theory
- Λ99Β. Automata and applications
- Λ99Γ. Τροπική λογική
- Λ99Ε. Θέματα βάσεων δεδομένων
- Λ99Ν. Θέματα συνολοθεωρίας
- Π09Γ. Προχωρημένα θέματα αλγορίθμων και πολυπλοκότητας
ειδικά θέματα στην πληροφορική
- Λ06Δ. Απεικόνιση γραφημάτων
- Λ07Ν. Παραμετρική πολυπλοκότητα και αλγόριθμοι
- Π00Γ. Συνδυαστική βελτιστοποίηση
- Π00Δ. Προσεγγιστικοί αλγόριθμοι και υπολογιστική γεωμετρία
- Π01Α. Άμεσοι αλγόριθμοι
- Π01Γ. Παράλληλοι αλγόριθμοι και πολυπλοκότητα
- Π01Π. Algorithms for data mining
- Π02Γ. Κρυπτογραφία και πολυπλοκότητα
- Π02Δ. Υπολογιστική γεωμετρία
- Π02Ε. Υπολογιστική άλγεβρα
- Π02Ζ. Θέματα θεωρίας παιγνίων και υπολογισμού
- Π02Ξ. Ασφάλεια δικτύων και πολυπλοκότητα
- Π03Α. Δομική πολυπλοκότητα
- Π03Β. Σημασιολογία γλωσσών προγραμματισμού
- Π03Γ. Συστήματα τύπων των γλωσσών προγραμματισμού
- Π03Δ. Αλγόριθμοι στη μοριακή βιολογία
- Π03Ε. Αλγόριθμοι δικτύων και πολυπλοκότητα
- Π03Ζ. Αλγόριθμοι στη δομική βιοπληροφορική
- Π03Ν. Λογική στην τεχνητή νοημοσύνη
- Π03Ξ. Προσεγγιστικοί αλγόριθμοι
- Π05Β. Μοντέλα υπολογισμού και πολυπλοκότητα
- Π07Β. Προηγμένες βάσεις δεδομένων: αλγόριθμοι και πολυπλοκότητα
- Π07Ξ. Wireless networking and mobile computing
- Π08Α. Αλγοριθμική θεωρία παιγνίων
- Π10Α. Τεχνολόγιες γνώσεων
- Π10Β. Computational game theory
- Π11Β. Αλγόριθμοι δικτύων: κατανεμημένοι, πιθανοτικοί, προσεγγιστικοί
- Π12. Αλγοριθμικά Θέματα Κοινωνικών Δικτύων
- Π98Π. Κρυπτογραφία
- Π99Π. Δίκτυα δεδομένων
ειδικά θέματα στα μαθηματικά
- Λ05Δ. Θεωρία Γραφημάτων
- Μ05Β. Ergodic Ramsey theory
- Μ05Ν. Κατασκευαστική αριθμητική και ανάλυση
- Μ06Μ. Αλγεβρική Συνδυαστική
- Μ07Μ. Στοχαστικές Ανελίξεις
- Μ08Μ. Στοχαστικά μοντέλα
- Μ99Δ. Περιγραφική συνολοθεωρία
σεμιναριακά
Το Πρόγραμμα προσφέρει περιστασιακά κάποια σεμιναριακά μαθήματα. Συνήθως διδάσκονται από επισκέπτες ερευνητές και δίνουν στους φοιτητές την ευκαιρία να επωφεληθούν από τέτοιες επισκέψεις διακεκριμένων επιστημόνων.
- Λ10Ν. Recurscion and complexity
- Λ12Β. Προχωρημένα θέματα θεωρίας γραφημάτων
- Λ13Γ. Ειδικά θέματα αλγορίθμων σε γραφήματα
- Λ13Ν. Θεωρία μητροειδών
- Λ14Ν. Αλγεβρικές προδιαγραφές
- Π11Α. Advanced approximation algorithms
- Π13. Προηγμένοι Γεωμετρικοί αλγόριθμοι
σεμιναρικά μαθήματα μελέτης
Με την έγκριση του επιβλέποντά του, και με βάση γραπτής πρότασης σπουδών, κάθε φοιτητής μπορεί να παρακολουθήσει ένα σεμιναριακό μάθημα μελέτης υπό την επίβλεψη κάποιου μόνιμου μέλους διδασκαλίας ή κάποιου επισκέπτη του ΜΠΛΑ.
μαθήματα μελέτης
Με την έγκριση του επιβλέποντά του, και με βάση γραπτής πρότασης σπουδών, κάθε φοιτητής μπορεί να παρακολουθήσει ένα (πλήρες) μάθημα μελέτης υπό την επίβλεψη κάποιου μόνιμου μέλους διδασκαλίας ή κάποιου επισκέπτη του ΜΠΛΑ.
- MB09. Model theory
- MP11. Προστασία και ασφάλεια υπολογιστικών συστημάτων
- ΜA09. Lattices και θεωρία διάταξης
- ΜΒ10. Proofs of spatial complexity
- ΜΒ11. Συλλογή vs Επαγωγή
- ΜΓ09. Καθολική άλγεβρα
- ΜΝ08. Nonmonotonic logics
- ΜΝ11β. Nonmonotonic Logic
- ΜΝ13. Πρωτοβάθμια Τροπική Λογική
- ΜΞ11. Μη προσεγγισιμότητα NP-δύσκολων προβλημάτων
- ΜΞ12. Θεωρία Μοντέλων
- ΜΟ10. Finding parameters in cryptosystems based on lattices
- ΜΠ10. Υποσυστήματα αριθμητικής Peano
- ΜΠ11. Τροπική λογική
- ΜΡ10. Discrete mathematics and cryptography
- ΠΑ11. Αλγοριθμικές μέθοδοι προστασίας συστημάτων κρυπτογραφίας εναντίον επιθέσεων στην υλοποίηση
- ΠΒ09. Classes theory and model theory in informatics
μαθήματα από άλλα Π.Μ.Σ.
- 220. Information systems security
- 445. Απεικόνιση γραφημάτων
- ΘΜ28. Representation theory
- ΘΜ31. Αλγεβρική συνδυαστική θεωρία
- Χ11Α. Ασφάλεια
Διπλωματική εργασία
Αυτό το "μάθημα" αντιπροσωπεύει τη διπλωματική εργασία του φοιτητή.
Διδακτορική διατριβή
Αυτό το "μάθημα" αντιπροσωπεύει τη διδακτορική διατριβή του φοιτητή.