MSc Computational Logic

The programme is focused on artificial intelligence, computational logic, deduction systems, logic and constraint programming, formal software development methods, formal hardware design methods, deductive data bases, as well as logical principles of cognitive systems. The course structure is divided into five compulsory basic modules, three selected advanced modules, a project and a research master thesis