Gældende indtil 31. marts 2018. Se evt. Det Nye Korps       Information
Lektor Thomas Bolander
Danmarks Tekniske Universitet
DTU Compute
Matematiktorvet, bygning 303B
2800 Lyngby
Danmark
tobo @ dtu.dk
45253715
Indledende emner
Agentsystemer
Algoritmer og datastrukturer
Databasesystemer
Diskrete strukturer
Formelle sprog
Funktionsprogrammering
Indledende programmering
Kunstig intelligens
Logik
Logikprogrammering
Semantik
Videregående emner
Algorithm Design and Analysis
Artificial Intelligence
Complexity Theory
Computability
Computational Logic
Computer Game Construction
Graph Algorithms
Logic Programming
Modeling and Simulation
Multiagent Systems
Proof Theory
Robotics