Professor (MSO) Torben Braüner Roskilde Universitet Institut for Mennesker og Teknologi P.O. Box 260 4000 Roskilde Denmark 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

 

---