|
Lektor Jørgen Villadsen |
| Danmarks Tekniske Universitet |
| DTU Compute |
| Richard Petersens Plads Bygning 324 |
| 2800 Kongens Lyngby |
| Danmark |
| jovi @ dtu.dk |
|
|
|
|
| Indledende emner |
| Algoritmer og datastrukturer |
| Diskrete strukturer |
| Formelle sprog |
| Funktionsprogrammering |
| Kunstig intelligens |
| Logik |
| Logikprogrammering |
| Objektorienteret programmering |
| Oversættelse |
| Programmeringssprog |
| Systemudvikling |
| Videregående emner |
| Artificial Intelligence |
| Autonomous Agents |
| Computational Logic |
| Computational Thinking |
| Computing Education |
| Functional Programming |
| History of Computing |
| Knowledge Represenation |
| Logic Programming |
| Multiagent Systems |
| Natural Language Processing |
| Philosophy of Computing |
| Proof Theory |
| Semantics |
| Software Verification |
| Theory of Computation |
| Type Theory |
|
![[topimage]](TopBanner900.png)