Пошуковий запит: (<.>U=В128.2$<.>) |
Загальна кількість знайдених документів : 13
Представлено документи з 1 до 13
|
|
| | |
|
1. |
Кметь А. Б. К минимизации логических функций. Метод субимпликант / А. Б. Кметь // Кибернетика и систем. анализ. - 2000. - № 3. - С. 84-99. - Библиогр.: 3 назв. - рус.Описано метод субімплікант, розроблений для мінімізації логічних функцій, що приймають не менше трьох значень. Метод відзначається покращанням результатів мінімізації за рахунок розширення умов склеювання та можливістю мінімізації функцій, що не піддаються мінімізації традиційними способами. Індекс рубрикатора НБУВ: В128.2 + З973-047.20
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
|
| | |
|
2. |
Кметь А. Б. Новий підхід до мінімізації логікових функцій. Метод максимальних сегментів / А. Б. Кметь // Управляющие системы и машины. - 2001. - № 2. - С. 10-20, 49. - Бібліогр.: 7 назв. - укp. Індекс рубрикатора НБУВ: В128.2
Рубрики:
Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ
|
|
| | |
|
3. |
Пинько О. П. Секвенціальні системи виведення для багатозначних логік / О. П. Пинько // Мат. машини і системи. - 2003. - № 2. - С. 166-174. - Бібліогр.: 16 назв. - укp.Представлено можливості побудови секвенційних числень без структурних правил (але з допустимими структурними правилами) для довільних пропозиційних скінченнозначних логік з визначником рівності (тобто скінченною множиною унарних похідних пропозиційних зв'язок зі спеціальною властивістю). Такі числення складаються з аксіом, до яких належать тільки літери, та оборотних правил виведення, які вводять комплекси пропозиційних зв'язок. Інтерпретуючи секвенції атомарними формулами першого порядку, відзначено, що зазначені числення можна інтерпретувати точними універсальними Хорновськими теоріями. В цьому випадку процедура цілеспрямованого виведення для даних теорій, що реалізована в таких системах програмування, як АПС або Пролог, імітує процедуру оберненого виведення в зазначених численнях. Індекс рубрикатора НБУВ: В128.2
Рубрики:
Шифр НБУВ: Ж15664 Пошук видання у каталогах НБУВ
|
|
| | |
|
4. |
Лавренко Н. И. Групповая инвариантность двузначной логики. I / Н. И. Лавренко // Вісн. Донец. ун-ту. Сер. А. Природн. науки. - 2003. - № 1. - С. 22-30. - Библиогр.: 2 назв. - рус.Встановлено двоїстість істиннісних значень як інваріантність пари цих значень відносно циклічної групи перетворень другого порядку. Таку двоїстість введено в систему пропозиційних зв'язок, формул та контекстів логіки висловлень. Індекс рубрикатора НБУВ: В128.2
Рубрики:
Шифр НБУВ: Ж69583/Сер.А Пошук видання у каталогах НБУВ
|
|
| | |
|
5. |
Коноплянко З. Д. Дослідження класів упорядкованих двомісних IBkD-значних комутаційних функцій / З. Д. Коноплянко, К. П. Терещук // Искусств. интеллект. - 2009. - № 4. - С. 45-51. - Бібліогр.: 8 назв. - укp. Індекс рубрикатора НБУВ: В128.2
Рубрики:
Шифр НБУВ: Ж15477 Пошук видання у каталогах НБУВ
|
|
| | |
|
6. |
Нікітченко М. С. Семантичні властивості монотонних логік Флойда - Хоара / М. С. Нікітченко, А. В. Криволап // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2012. - Вип. 3. - С. 215-222. - Бібліогр.: 6 назв. - укp.Визначено монотонні логіки Флойда - Хоара на базі багатоосновних алгебр часткових квазіарних предикатів та програм. Для цієї цілі надано визначення спеціальної, монотонної композиції Флойда - Хоара. Доведено, що означена композиція є також неперервною. Побудовано правила виводу в монотонних логіках, які одержуються з правил виводу логіки Флойда - Хоара за допомогою додавання до правил відповідних обмежень. Доведено коректність системи правил виводу та необхідність додаткових обмежень, що накладаються на них. Індекс рубрикатора НБУВ: В128.2
Рубрики:
Шифр НБУВ: Ж28079/фіз.-мат. Пошук видання у каталогах НБУВ
|
|
| | |
|
7. |
Пынько А. П. Секвенциальные исчисления для конечнозначных логик с определителем равенства / А. П. Пынько // Доп. НАН України. - 2003. - № 8. - С. 69-75. - Библиогр.: 6 назв. - рус.A general method of constructing the sequent calculi with cut elimination property for propositional finitely valued logics with equality determinant is proposed. Індекс рубрикатора НБУВ: В128.2
Рубрики:
Шифр НБУВ: Ж22412/а Пошук видання у каталогах НБУВ
|
|
| | |
|
8. |
Пынько А. П. Алгебраизуемость секвенциальных исчислений для конечнозначных логик с определителем равенства / А. П. Пынько // Доп. НАН України. - 2005. - № 3. - С. 66-71. - Библиогр.: 9 назв. - рус.Logical criteria of the algebraizability of sequent calculi for propositional finitely valued logics with an equality determinant are obtained. Індекс рубрикатора НБУВ: В128.2
Рубрики:
Шифр НБУВ: Ж22412/а Пошук видання у каталогах НБУВ
|
|
| | |
|
9. |
Пынько А. П. Алгебраические критерии алгебраизуемости секвенциальных исчислений для конечнозначных логик с определителем равенства / А. П. Пынько // Доп. НАН України. - 2006. - № 2. - С. 88-93. - Библиогр.: 12 назв. - рус.Algebraic criteria of the algebraizabihty of sequential calculi for finitely valued logics with equality determinant are obtained. Індекс рубрикатора НБУВ: В128.2
Рубрики:
Шифр НБУВ: Ж22412/а Пошук видання у каталогах НБУВ
|
|
| | |
|
10. |
Пынько А. П. Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства / А. П. Пынько // Доп. НАН України. - 2007. - № 3. - С. 45-51. - Библиогр.: 1 назв. - рус.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. Індекс рубрикатора НБУВ: В128.2 + З970.5-018
Рубрики:
Шифр НБУВ: Ж22412/а Пошук видання у каталогах НБУВ
|
|
| | |
|
11. |
Пынько А. П. Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства / А. П. Пынько // Доп. НАН України. - 2008. - № 4. - С. 51-54. - Библиогр.: 2 назв. - рус.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. Індекс рубрикатора НБУВ: В128.2
Рубрики:
Шифр НБУВ: Ж22412/а Пошук видання у каталогах НБУВ
|
|
| | |
|
12. |
Пынько А. П. Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства / А. П. Пынько // Доп. НАН України. - 2011. - № 9. - С. 36-41. - Библиогр.: 7 назв. - рус.Запропоновано ефективну процедуру мінімізації числа засновків правил введення секвенційних числень для пропозиційних скінченнозначних логік із визначником рівності. Індекс рубрикатора НБУВ: В128.2
Рубрики:
Шифр НБУВ: Ж22412/а Пошук видання у каталогах НБУВ
|
|
| | |
|
13. |
Rytsar B. Ye. A simple minimization method of the variables number in the complete and incomplete logic system functions. Pt. 2 = Простой метод минимизации числа переменных в полных и неполных логических функциях. Ч. 2 / B. Ye. Rytsar // Управляющие системы и машины. - 2017. - № 5. - С. 16-24. - Бібліогр.: 11 назв. - англ.Предложен новый метод минимизации числа переменных в полных и неполных логических функциях, основанный на процедуре расцепления конъюнктермов. Преимущества предложенного метода показаны на примерах определения несущественных переменных в функциях, заимствованных автором из известных публикаций в порядке сравнения. Індекс рубрикатора НБУВ: В128.2
Рубрики:
Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ
|