16 декабря 2015г. Доклад. Д.ф.-м.н., академик РАН С.Н. Васильев, А.Э. Дружинин, Н.Ю. Морозов: "Автоматизация вывода теорем о сохранении свойств математических моделей"

Доклад д.ф.-м.н., академика РАН С.Н. Васильева (каф. физико-математических методов управления физического факультета МГУ, ИПУ РАН), к.ф.-м.н. А.Э. Дружинина (СПбГУ) и аспиранта Н.Ю. Морозова (каф. физико-математических методов управления физического факультета МГУ) состоится в 17:00 ауд. 4-46

Предлагается общий метод получения условий сохранения свойств произвольных математических моделей. Не предполагается каких-либо ограничений на рассматриваемые свойства. Не требуется априорного задания исследователем какой-либо части этих условий, кроме предикатов связи для пар соответствующих друг другу переменных, входящих в определения свойств. Описывается программная реализация метода. Приводятся примеры.