Professor Torben Braüner Roskilde Universitet Institut for Mennesker og Teknologi Universitetsvej 1 4000 Roskilde Danmark torben @ ruc.dk

Indledende emner Datavidenskab Diskrete strukturer Formelle sprog Kunstig intelligens Logik Videregående emner Artificial Intelligence Autonomous Agents Computational Logic Computational Social Science Computational Thinking History of Computing Multiagent Systems Philosophy of Computing Proof Theory Theory of Computation

 

---