| 2012/02/13 |
τελική εξέταση |
Λ3. |
Αλγόριθμοι και πολυπλοκότητα I |
| 2012/03/07 |
τελική εξέταση |
Λ2. |
Υπολογισιμότητα |
| 2012/03/19 |
τελική εξέταση |
Λ4. |
Αλγόριθμοι και πολυπλοκότητα II |
| 2012/06/25 |
τελική εξέταση |
Π03Β. |
Σημασιολογία γλωσσών προγραμματισμού |
| 2012/06/27 |
τελική εξέταση |
Π02Δ. |
Υπολογιστική γεωμετρία |
| 2012/07/01 |
τελική εξέταση |
Π17. |
Μαθηματικά και κρυπτογραφία |
| 2012/07/02 |
τελική εξέταση |
Λ1. |
Μαθηματική λογική |
| 2012/07/02 |
τελική εξέταση |
Π05Β. |
Μοντέλα υπολογισμού και πολυπλοκότητα |
| 2012/07/02 |
τελική εξέταση |
Π11Β. |
Αλγόριθμοι δικτύων: κατανεμημένοι, πιθανοτικοί, προσεγγιστικοί |
| 2012/07/04 |
τελική εξέταση |
Π03Ζ. |
Αλγόριθμοι στη δομική βιοπληροφορική |
| 2012/07/05 |
τελική εξέταση |
Λ14. |
Εισαγωγή στο λ-λογισμό |
| 2012/07/12 |
τελική εξέταση |
Μ6. |
Θεωρία συνόλων |
| 2012/07/19 |
τελική εξέταση |
Π03Α. |
Δομική πολυπλοκότητα |
| 2012/09/04 |
επαναληπτική εξέταση |
Μ6. |
Θεωρία συνόλων |
| 2012/09/14 |
επαναληπτική εξέταση |
Λ3. |
Αλγόριθμοι και πολυπλοκότητα I |
| 2012/09/24 |
επαναληπτική εξέταση |
Λ4. |
Αλγόριθμοι και πολυπλοκότητα II |
| 2012/09/26 |
επαναληπτική εξέταση |
Λ1. |
Μαθηματική λογική |
| 2012/10/05 |
επαναληπτική εξέταση |
Λ2. |
Υπολογισιμότητα |
| 2012/10/05 |
επαναληπτική εξέταση |
Λ2. |
Υπολογισιμότητα |
|
τελική εξέταση |
Λ14. |
Εισαγωγή στο λ-λογισμό |
|
τελική εξέταση |
ΜΝ11β. |
Nonmonotonic Logic |
|
τελική εξέταση |
ΜΠ11. |
Τροπική λογική |
|
επαναληπτική εξέταση |
Λ3. |
Αλγόριθμοι και πολυπλοκότητα I |
|
τελική εξέταση |
ΜΞ11. |
Μη προσεγγισιμότητα NP-δύσκολων προβλημάτων |