Master’s programme Logic and Computation (E)

Content and focus of the degree programme:

The English-language master’s programme in Logic and Computation deals with the basics, structure and design of intelligent agents. Moreover, it contains core elements of classical theoretical computer science. The objective of the work in the field of Logic and Computation is, on one hand, to understand the principles that make intelligent behaviour possible and, on the other hand, to develop methods that lead to the construction of intelligent agents.