|
Uddannelseschef Luís Cruz-Filipe |
| (Luís Calhorda Cruz Filipe) |
| IT-Universitet i København |
| Rued Langgaards Vej 7 |
| 2300 København S |
| Danmark |
| luic @ itu.dk |
| 91803771 |
|
|
|
|
| Indledende emner |
| Algoritmer og datastrukturer |
| Concurrent og parallel programmering |
| Diskrete strukturer |
| Formelle sprog |
| Kunstig intelligens |
| Logik |
| Logikprogrammering |
| Objektorienteret programmering |
| Programmeringssprog |
| Videregående emner |
| Artificial Intelligence |
| Computational Logic |
| Concurrency Theory |
| Data Structures |
| Knowledge Management |
| Knowledge Represenation |
| Logic Programming |
| Object-Oriented Programming |
| Probability Theory |
| Proof Theory |
| Semantics |
| Software Verification |
| Theory of Computation |
| Type Theory |
|
![[topimage]](TopBanner900.png)