Institutional cooperation between the Association and the Department has been expanded with the participation of three students who wrote their term and graduation papers under the supervision of the Department’s lecturers in the following fields: Boolean and many-valued logics; Functional expressibility in closed classes; Blueprint trees and building a decision-making system in 3D shooters, based on deduction rules.
