Конъюнктивные представления предикатов на конечных множествах и их применения в задачах обобщенной выполнимости

С.Н. Селезнева (ВМК МГУ имени М.В.Ломоносова)
19 фев 2019 в 10:30
комната 220, корпус В

Рассматриваются представления предикатов на конечных множествах в виде обобщенных конъюнктивных нормальных форм (ОКНФ). Получены свойства ОКНФ предикатов, инвариантных относительно некоторых функций. Показано, как полученные свойства можно применять при решении некоторых задач обобщенной выполнимости.


gpEasy-Theme simplicity 1.5 by syndicatefx