Lektor Jørgen Villadsen
Danmarks Tekniske Universitet
DTU Compute
Richard Petersens Plads, bygning 324
2800 Kgs. Lyngby
Danmark
jovi @ dtu.dk
45253733
Indledende emner
Algoritmer og datastrukturer
Databasesystemer
Diskrete strukturer
Funktionsprogrammering
Kunstig intelligens
Logik
Logikprogrammering
Objektorienteret programmering
Oversættelse
Programmeringssprog
Systemudvikling
Videregående emner
Algorithm Design and Analysis
Artificial Intelligence
Autonomous Agents
Computational Logic
Data Structures
Database Systems
Functional Programming
Knowledge Represenation
Logic Programming
Multiagent Systems
Natural Language Processing
Program Analysis
Proof Theory
Security
Type Theory

 


Data protection at SDUDatabeskyttelse på SDU