Семинар лаборатории ПОИС: Системы функциональных уравнений счетнозначной логики // И.С. Калинина

На очередном заседании нашего семинара выступила аспирантка научного руководителя профессора Марченкова Сергея Серафимовича с ВМК МГУ, кафедра МК, Калинина Инна Сергеевна. Тема её доклада: Системы функциональных уравнений счетнозначной логики.

Аннотация: Один из самых распространённых способов задания функций в математике использует в качестве инструмента системы функциональных уравнений. Функциональные уравнения определяются на основе функциональных переменных, а также различных функциональных и предметных констант.
В настоящем докладе рассматриваются действия оператора замыкания относительно систем функциональных уравнений (оператор FE-замыкания) над множеством P N  функций счетнозначной логики, порождаемые им замкнутые и предполные классы, а также сложность проблемы выполнимости для систем функциональных уравнений.
Слайды: 

 Kalinina_PAIS (PDF, 522 Кб)