| 2012/11/05 |
πρόοδος |
Λ4. |
Αλγόριθμοι και πολυπλοκότητα II |
| 2012/12/17 |
πρόοδος |
Λ4. |
Αλγόριθμοι και πολυπλοκότητα II |
| 2013/01/11 |
επαναληπτική εξέταση |
Λ05Δ. |
Θεωρία Γραφημάτων |
| 2013/02/04 |
πρόοδος |
Π98Π. |
Κρυπτογραφία |
| 2013/02/07 |
πρόοδος |
Π10Α. |
Τεχνολόγιες γνώσεων |
| 2013/02/11 |
πρόοδος |
Π00Γ. |
Συνδυαστική βελτιστοποίηση |
| 2013/02/15 |
πρόοδος |
Λ99Γ. |
Τροπική λογική |
| 2013/02/27 |
πρόοδος |
Λ3. |
Αλγόριθμοι και πολυπλοκότητα I |
| 2013/03/01 |
τελική εξέταση |
Π02Γ. |
Κρυπτογραφία και πολυπλοκότητα |
| 2013/03/05 |
επαναληπτική εξέταση |
Λ12Β. |
Προχωρημένα θέματα θεωρίας γραφημάτων |
| 2013/03/06 |
τελική εξέταση |
Λ15. |
Θεωρία αποδείξεων |
| 2013/03/12 |
τελική εξέταση |
Λ4. |
Αλγόριθμοι και πολυπλοκότητα II |
| 2013/05/21 |
τελική εξέταση |
Π02Ε. |
Υπολογιστική άλγεβρα |
| 2013/05/26 |
τελική εξέταση |
Λ07Ν. |
Παραμετρική πολυπλοκότητα και αλγόριθμοι |
| 2013/05/26 |
τελική εξέταση |
Λ13Ν. |
Θεωρία μητροειδών |
| 2013/05/26 |
τελική εξέταση |
Λ13Ν. |
Θεωρία μητροειδών |
| 2013/05/27 |
τελική εξέταση |
Λ13Ν. |
Θεωρία μητροειδών |
| 2013/05/27 |
τελική εξέταση |
Λ13Ν. |
Θεωρία μητροειδών |
| 2013/06/12 |
τελική εξέταση |
Μ6. |
Θεωρία συνόλων |
| 2013/06/25 |
πρόοδος |
Λ1. |
Μαθηματική λογική |
| 2013/07/01 |
τελική εξέταση |
Λ13Ξ. |
Ιντουισιονιστική λογική και κατασκευαστικά μαθηματικά |
| 2013/07/04 |
τελική εξέταση |
Π05Β. |
Μοντέλα υπολογισμού και πολυπλοκότητα |
| 2013/07/05 |
τελική εξέταση |
Λ13Ο. |
Προσεγγιστικοί αλγόριθμοι και σχεδιασμός μηχανισμών |
| 2013/07/11 |
τελική εξέταση |
Λ14. |
Εισαγωγή στο λ-λογισμό |
| 2013/10/01 |
επαναληπτική εξέταση |
Λ4. |
Αλγόριθμοι και πολυπλοκότητα II |
|
επαναληπτική εξέταση |
Λ1. |
Μαθηματική λογική |
|
επαναληπτική εξέταση |
Μ6. |
Θεωρία συνόλων |
|
τελική εξέταση |
Π02Δ. |
Υπολογιστική γεωμετρία |
|
τελική εξέταση |
Π03Β. |
Σημασιολογία γλωσσών προγραμματισμού |
|
τελική εξέταση |
Π03Ε. |
Αλγόριθμοι δικτύων και πολυπλοκότητα |
|
τελική εξέταση |
Π03Ε. |
Αλγόριθμοι δικτύων και πολυπλοκότητα |
|
τελική εξέταση |
ΜΝ13. |
Πρωτοβάθμια Τροπική Λογική |
|
τελική εξέταση |
ΜΞ12. |
Θεωρία Μοντέλων |
|
πρόοδος |
Λ2. |
Υπολογισιμότητα |
|
επαναληπτική εξέταση |
Λ3. |
Αλγόριθμοι και πολυπλοκότητα I |
|
επαναληπτική εξέταση |
Λ4. |
Αλγόριθμοι και πολυπλοκότητα II |
|
τελική εξέταση |
Π03Γ. |
Συστήματα τύπων των γλωσσών προγραμματισμού |