| 9:00-11:00 | Ειδικά Θέματα Αλγορίθμων: Προσομοίωση | Α11, Τμήμα Μαθηματικών, ΕΚΠΑ |
| 10:45-12:30 | Ειδικά Θέματα Λογικής: Περιγραφική Θεωρία Συνόλων | 106, Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών, ΕΜΠ (νέο κτίριο) |
| 13:00-15:00 | Σημασιολογία Γλωσσών Προγραμματισμού | Β, Τμήμα Πληροφορικής και Τηλεπικοινωνιών, ΕΚΠΑ |
| 15:00-17:00 | Ειδικά Θέματα Λογικής: Περιγραφική Πολυπλοκότητα | 1.131, Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών, ΕΜΠ (παλιό κτίριο) |
| 17:00-19:00 | Λογική | Εξ αποστάσεως |
Τρέχον εξάμηνο
Εαρινό 2022-2023
| Όνομα | Τύπος | Ομάδα |
|---|---|---|
| Αλγόριθμοι Δικτύων και Πολυπλοκότητα | Επιλογής | |
| Αλγοριθμική Θεωρία Παιγνίων | Επιλογής | |
| Αλγόριθμοι στη Δομική Βιοπληροφορική | Επιλογής | |
| Ειδικά Θέματα Αλγορίθμων: Αλγοριθμική Επιστήμη Δεδομένων | Επιλογής | |
| Ειδικά Θέματα Αλγορίθμων: Κυρτή Βελτιστοποίηση και Εφαρμογές στη Μηχανική Μάθηση | Επιλογής | |
| Ειδικά Θέματα Αλγορίθμων: Προηγμένα Θέματα Υπολογιστικής Μάθησης | Επιλογής | |
| Ειδικά Θέματα Αλγορίθμων: Προσομοίωση | Επιλογής | |
| Ειδικά Θέματα Διακριτών Μαθηματικών: Προχωρημένα Θέματα Κρυπτογραφίας | Επιλογής | |
| Ειδικά Θέματα Λογικής: Λογική και Πληροφορική: λ-λογισμός, Ισομορφισμός Curry-Howard | Επιλογής | |
| Ειδικά Θέματα Λογικής: Περιγραφική Θεωρία Συνόλων | Επιλογής | |
| Ειδικά Θέματα Λογικής: Περιγραφική Πολυπλοκότητα | Επιλογής | |
| Θεωρία Γραφημάτων | Κατ' επιλογήν υποχρεωτικό | Γ |
| Θεωρία Πληροφορίας | Επιλογής | |
| Λογική | Κατ' επιλογήν υποχρεωτικό | Β |
| Μοντέλα υπολογισμού, Τυπικές Γλώσσες και Αυτόματα | Επιλογής | |
| Σημασιολογία Γλωσσών Προγραμματισμού | Επιλογής |
Ωρολόγιο πρόγραμμα
Δευτέρα
Τρίτη
| 10:00-12:00 | Θεωρία Γραφημάτων | ΣΤ, Τμήμα Πληροφορικής και Τηλεπικοινωνιών, ΕΚΠΑ |
| 10:45-12:30 | Ειδικά Θέματα Λογικής: Περιγραφική Θεωρία Συνόλων | 106, Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών, ΕΜΠ (νέο κτίριο) |
| 13:00-15:00 | Ειδικά Θέματα Αλγορίθμων: Προηγμένα Θέματα Υπολογιστικής Μάθησης | Β, Τμήμα Πληροφορικής και Τηλεπικοινωνιών, ΕΚΠΑ |
| 13:15-15:00 | Ειδικά Θέματα Λογικής: Λογική και Πληροφορική: λ-λογισμός, Ισομορφισμός Curry-Howard | 1.1.29, Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών, ΕΜΠ (παλιό κτίριο) |
| 15:15-19:00 | Αλγοριθμική Θεωρία Παιγνίων |
Τετάρτη
| 8:30-12:30 | Ειδικά Θέματα Αλγορίθμων: Αλγοριθμική Επιστήμη Δεδομένων | 002, Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών, ΕΜΠ (νέο κτίριο) |
| 13:00-15:00 | Ειδικά Θέματα Αλγορίθμων: Προηγμένα Θέματα Υπολογιστικής Μάθησης | Δ, Τμήμα Πληροφορικής και Τηλεπικοινωνιών, ΕΚΠΑ |
| 13:15-15:00 | Ειδικά Θέματα Λογικής: Λογική και Πληροφορική: λ-λογισμός, Ισομορφισμός Curry-Howard | 1.1.29, Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών, ΕΜΠ (παλιό κτίριο) |
| 15:00-18:00 | Αλγόριθμοι στη Δομική Βιοπληροφορική | Ε, Τμήμα Πληροφορικής και Τηλεπικοινωνιών, ΕΚΠΑ |
| 15:00-19:00 | Αλγόριθμοι Δικτύων και Πολυπλοκότητα | 009, Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών, ΕΜΠ (νέο κτίριο) |
Πέμπτη
| 10:00-12:00 | Θεωρία Γραφημάτων | Ε, Τμήμα Πληροφορικής και Τηλεπικοινωνιών, ΕΚΠΑ |
| 10:00-13:00 | Θεωρία Πληροφορίας | Αίθουσα Χόνδρου, Τμήμα Φυσικής, ΕΚΠΑ |
| 11:00-13:00 | Ειδικά Θέματα Αλγορίθμων: Προσομοίωση | Α11, Τμήμα Μαθηματικών, ΕΚΠΑ |
| 12:00-14:00 | Σημασιολογία Γλωσσών Προγραμματισμού | Β, Τμήμα Πληροφορικής και Τηλεπικοινωνιών, ΕΚΠΑ |
| 16:00-20:00 | Ειδικά Θέματα Διακριτών Μαθηματικών: Προχωρημένα Θέματα Κρυπτογραφίας | 1.1.31, Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών, ΕΜΠ (παλιό κτίριο) |
| 18:00-20:00 | Λογική | Εξ αποστάσεως |
Παρασκευή
| 11:45-15:30 | Μοντέλα υπολογισμού, Τυπικές Γλώσσες και Αυτόματα | 1.1.31, Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών, ΕΜΠ (παλιό κτίριο) |
| 12:45-16:30 | Ειδικά Θέματα Αλγορίθμων: Κυρτή Βελτιστοποίηση και Εφαρμογές στη Μηχανική Μάθηση | |
| 17:15-19:00 | Ειδικά Θέματα Λογικής: Περιγραφική Πολυπλοκότητα | 1.1.31, Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών, ΕΜΠ (παλιό κτίριο) |