| 2012/11/05 |
midterm exam |
Λ4. |
Algorithms and complexity II |
| 2012/12/17 |
midterm exam |
Λ4. |
Algorithms and complexity II |
| 2013/01/11 |
september exam |
Λ05Δ. |
Graph Theory |
| 2013/02/04 |
midterm exam |
Π98Π. |
Cryptography |
| 2013/02/07 |
midterm exam |
Π10Α. |
Knowledge technologies |
| 2013/02/11 |
midterm exam |
Π00Γ. |
Combinatorial optimization |
| 2013/02/15 |
midterm exam |
Λ99Γ. |
Modal logic |
| 2013/02/27 |
midterm exam |
Λ3. |
Algorithms and complexity I |
| 2013/03/01 |
final exam |
Π02Γ. |
Cryptography and complexity |
| 2013/03/05 |
september exam |
Λ12Β. |
Advanced topics in graph theory |
| 2013/03/06 |
final exam |
Λ15. |
Proof theory |
| 2013/03/12 |
final exam |
Λ4. |
Algorithms and complexity II |
| 2013/05/21 |
final exam |
Π02Ε. |
Computational algebra |
| 2013/05/26 |
final exam |
Λ07Ν. |
Parameterized complexity and algorithms |
| 2013/05/26 |
final exam |
Λ13Ν. |
Matroid theory |
| 2013/05/26 |
final exam |
Λ13Ν. |
Matroid theory |
| 2013/05/27 |
final exam |
Λ13Ν. |
Matroid theory |
| 2013/05/27 |
final exam |
Λ13Ν. |
Matroid theory |
| 2013/06/12 |
final exam |
Μ6. |
Set theory |
| 2013/06/25 |
midterm exam |
Λ1. |
Mathematical logic |
| 2013/07/01 |
final exam |
Λ13Ξ. |
Intuitionistic logic and constructive mathematics |
| 2013/07/04 |
final exam |
Π05Β. |
Computation models and complexity |
| 2013/07/05 |
final exam |
Λ13Ο. |
Approximation algorithms and mechanisms design |
| 2013/07/11 |
final exam |
Λ14. |
Introduction to λ-calculus |
| 2013/10/01 |
september exam |
Λ4. |
Algorithms and complexity II |
|
september exam |
Λ1. |
Mathematical logic |
|
september exam |
Μ6. |
Set theory |
|
final exam |
Π02Δ. |
Computational geometry |
|
final exam |
Π03Β. |
Semantics of programming languages |
|
final exam |
Π03Ε. |
Network algorithms and complexity |
|
final exam |
Π03Ε. |
Network algorithms and complexity |
|
final exam |
ΜΝ13. |
First-order Modal Logic |
|
final exam |
ΜΞ12. |
Model Theory |
|
midterm exam |
Λ2. |
Computability |
|
september exam |
Λ3. |
Algorithms and complexity I |
|
september exam |
Λ4. |
Algorithms and complexity II |
|
final exam |
Π03Γ. |
Type systems for programming languages |