| Recursion Theory |
Elective Required |
B |
Fall |
| Stochastic Μodels |
Elective |
|
Fall |
| Computational Αlgebra |
Elective |
|
Fall |
| Algorithms |
Required |
|
Fall |
| Computational Cryptography |
Elective |
|
Fall |
| Type Systems for Programming Languages |
Elective |
|
Fall |
| Computational Complexity |
Elective Required |
A |
Fall |
| Set Theory |
Elective Required |
B |
Fall |
| Modal Logic |
Elective |
|
Spring |
| Logic |
Elective Required |
B |
Spring |
| Computational Complexity |
Elective Required |
A |
Spring |
| Graph Theory |
Elective Required |
C |
Spring |
| Geometric Data Analysis |
Elective |
|
Spring |
| Semantics of Programming Languages |
Elective |
|
Spring |
| Special Topics on Algorithms |
Elective |
|
Spring |
| Computation Models, Formal Languages and Automata |
Elective |
|
Spring |
| Network Algorithms and Complexity |
Elective |
|
Spring |
