Перегляд за автором "Лисовик, Л.П."

Сортувати за: Порядок: Результатів:

  • Об аксиоматизациях булевых алгебр 
    Лисовик, Л.П. (Український математичний журнал, 1997)
    Побудовано деякі нові системи аксіом для булевої алгебри. Зокрема, аксіоматична система для диз'юнкції та логічного заперечення має три аксіоми. Для запропонованих аксіоматичних систем доведено їх незалежність.
  • Об одном методе задания фрактальных множеств 
    Лисовик, Л.П.; Карнаух, Т.А. (Кибернетика и системный анализ, 2009)
    В якості способу задання множин пропонується використовувати R-системи. Увага приділяється лінійним обмеженим R-системам і зв’язкам між R-системами та R*-перетворювачами. Зокрема показано, що лінійна обмежена R-система ...