Перегляд за автором "Пынько, А.П."

Результати 1-5 з 5

Минимизация КНФ частично-монотонных булевых функций

Пынько, А.П. (Доповіді НАН України, 2017)

Булеву функцию назовем частично-монотонной, если она монотонна относительно некоторых из своих аргументов и антимонотонна относительно остальных своих аргументов. Мы доказываем, что конъюнктивные нормальные формы ...
Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства

Пынько, А.П. (Доповіді НАН України, 2011)

Запропоновано ефективну процедуру мінімізації числа засновків правил введення секвенційних числень для пропозиційних скінченнозначних логік з визначником рівності.
Приложение логического программирования к многозначной логике с относительной истиной

Пынько, А.П. (Управляющие системы и машины, 2013)

Предложены процедуры автоматического вывода в пропозициональных многозначных логиках с относительной истиной (имеющих несколько множеств выделенных значений) на основе многостороннего секвенциального дедуктивного аппарата, ...
Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства

Пынько, А.П. (2008)

The derivable rules of axiomatic extensions of sequent calculi with structural rules for the prepositional finitely valued logics with an equality determinant are analyzed with the use of methods of logic programming.
Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства

Пынько, А.П. (2007)

Terminated proof procedures in axiomatic extensions of sequent calculi for propositional finitely valued logics with equality determinant are proposed on the basis of logic programming.

Результати 1-5 з 5

Пошук

Розширений пошук

Перегляд

Вся бібліотека

Перегляд за автором "Пынько, А.П."

Репозиторій DSpace/Manakin

Перегляд за автором "Пынько, А.П."

Пошук

Перегляд

Вся бібліотека

Мій обліковий запис