• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Tag "partnerships" – News

Joint Project with University of Stellenbosch

Joint Project with University of Stellenbosch
In the end of November Sergei Kuznetsov, Head of the School of Data Analysis and Artificial Intelligence, and Dmitry Ilvovsky, Junior Research Fellow at the International Laboratory for Intelligent Systems and Structural Analysis visited the University of Stellenbosch in South Africa.

School of Data Analysis and Artificial Intelligence Join the Association for Symbolic Logic

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.