Авторизація
Прізвище
Пароль  
Увійти
 

Вид пошуку

 

Бази даних


Електронна картотека аналітичного опису статей - результати пошуку

Зона пошуку
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: (<.>A=Пынько, А. П.$<.>)
Загальна кількість знайдених документів : 2
Показані документи с 1 за 2
1.


    Пынько, А. П.
    Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства [Текст] / А. П. Пынько // Доповіді Національної академії наук України. - 2011. - № 9. - С. 36-41. - Библиогр. в конце ст.
Рубрики: Математика--Математична логіка
Кл.слова (ненормовані):
иррефлексивность -- антицепь


Є примірники у відділах: всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)


Знайти схожі

2.


    Пынько, А. П.
    Минимизация КФН частично-монотонных булевых функций [Текст] / А. П. Пынько // Доповіді Національної академії наук України. - 2017. - № 3. - С. 18-21. - Библиогр. в конце ст.
Рубрики: Математика--Математична логіка
Кл.слова (ненормовані):
Литерал -- Дизъюнкт -- Конъюнкт -- Антимонотонность
Анотація: Булева функція зватиметься частково-монотонною, якщо вона монотонна відносно деяких з її аргументів та антимонотонна відносно решти її аргументів. Доведено, що кон'юнктивні нормальні форми частково-монотонних булевих функцій можна мінімізувати дуже ефективно з використанням лише частково-монотонних диз'юнктів.


Є примірники у відділах: всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)


Знайти схожі

 
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)