|
Lektor Dmitriy Traytel |
| (Dmytro Traytel) |
| Københavns Universitet |
| Datalogisk Institut |
| Sigurdsgade 41 |
| 2200 København N |
| Danmark |
| traytel @ di.ku.dk |
| 24959831 |
|
|
|
|
| Indledende emner |
| Algoritmer og datastrukturer |
| Databasesystemer |
| Formelle sprog |
| Funktionsprogrammering |
| Logik |
| Programmeringssprog |
| Videregående emner |
| Algorithm Design and Analysis |
| Computational Logic |
| Database Systems |
| Functional Programming |
| Programming Language Design |
| Software Verification |
| Theory of Computation |
| Type Theory |
|
![[topimage]](TopBanner900.png)