|
Lektor Jens Classen |
| Roskilde Universitet |
| Institut for Mennesker og Teknologi |
| Universitetsvej 1 |
| 4000 Roskilde |
| Danmark |
| classen @ ruc.dk |
| +4546743930 |
|
|
|
|
| Indledende emner |
| Algoritmer og datastrukturer |
| Databasesystemer |
| Datavidenskab |
| Diskrete strukturer |
| Formelle sprog |
| Kunstig intelligens |
| Logik |
| Logikprogrammering |
| Objektorienteret programmering |
| Programmeringssprog |
| Softwarearkitektur |
| Web-teknologi |
| Videregående emner |
| Artificial Intelligence |
| Autonomous Agents |
| Computational Logic |
| Constraint Logic Programming |
| Knowledge Represenation |
| Logic Programming |
| Machine Learning |
| Multiagent Systems |
| Program Analysis |
| Proof Theory |
| Search Heuristics |
| Software Verification |
|
![[topimage]](TopBanner900.png)