Beskikkede censorer startende 1. april 2018       Information
Lektor Jørgen Villadsen
Danmarks Tekniske Universitet
DTU Compute
Richard Petersens Plads, bygning 324
2800 Kgs. Lyngby
Danmark
jovi @ dtu.dk
45253733
Indledende emner
Agentsystemer
Algoritmer og datastrukturer
Databasesystemer
Diskrete strukturer
Funktionsprogrammering
Indledende programmering
Kunstig intelligens
Logik
Logikprogrammering
Oversættelse
Programmeringssprog
Semantik
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