Сегодня в Институте математики и механики НАНА состоялся общеинститутский семинар. На семинаре с докладом на тему «О разделимости клонов гипертождествами» выступил профессор Института математики имени Соболева Сибирского отделения Российской академии наук и Новосибирского государственного университета Иван Анатольевич Мальцев.

Доклад был посвящен проблеме полноты в конечномерной логике. Эта проблема решается при помощи гипертождеств. В докладе также был приведён пример логик построенных из квазилинейных функций и разделённых друг от друга гипертождествами.

В конце учёному в связи с 75 летним юбилеем от имени сотрудников Института математики и механики за подписью директора института, члена-корреспондента НАНА, профессора Мисира Марданова было вручено поздравительное послание.

Previous Next

© Все права защищены. При использовании материалов веб-сайта ссылка на www.imm.az обязательна.