More information
Description
The initiative is focused on the development of software (teaching tools) through which students can study the basic principles of reasoning by manipulating evidence as programs. Technical University in Košice and University of Oslo will share their experiences with teaching logic, types and semantics.
Cooperation on the development of new teaching materials for both parties is planned (a new course at University of Oslo and an existing logic course at Technical University in Košice).
The result will be the development of an interactive learning tool and the implementation of the results in