МАШИННОЕ РЕШЕНИЕ ЗАДАЧ ДИСКРЕТНОЙ МАТЕМАТИКИ

  1. Камчатский государственный университет имени Витуса Беринга, 683032, г. Петропавловск-Камчатский, ул. Пограничная , 4
  2. Филиал Дальневосточного Федерального государственного университета, 683031, г. Петропавловск-Камчатский, ул. Тушканова, 11/1

В статье обсуждаются вопросы, связанные с машинным исследованием алгебры булевых функций и алгебры графов. Результаты могут найти применение при исследовании структуры подалгебр алгебры булевых функций и решении задач в алгебре графов.