|
Lektor Andrzej Filinski |
| (Andrzej Olaf Filinski) |
| Københavns Universitet |
| Datalogisk Institut |
| Universitetsparken 5 |
| 2100 København Ø |
| Danmark |
| andrzej @ di.ku.dk |
| 35 33 56 87 |
|
|
|
|
| Indledende emner |
| Diskrete strukturer |
| Funktionsprogrammering |
| Logik |
| Logikprogrammering |
| Oversættelse |
| Programmeringssprog |
| Videregående emner |
| Compiler Construction |
| Computational Logic |
| Concurrency Theory |
| Functional Programming |
| Logic Programming |
| Program Analysis |
| Program Transformation |
| Programming Language Design |
| Proof Theory |
| Semantics |
| Software Verification |
| Type Theory |
|
![[topimage]](TopBanner900.png)