Простий пошук
|
Розширений пошук
|
Алфавітні покажчики
|
Бази даних
Реферативна база даних - результати пошуку
Віртуальна довідкаТематичний інтернет-навігаторНаукова електронна бібліотекаАвтореферати дисертаційРеферативна база данихКнижкові видання та компакт-дискиЖурнали та продовжувані видання
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
| Сортувати знайдені документи за: | ||
| автором | назвою | роком видання |
| Формат представлення знайдених документів: | ||
| повний | стислий | |
| Знайдено в інших БД: | Книжкові видання та компакт-диски (1) |
Пошуковий запит: (<.>A=Пынько А$<.>) | ||||
|
Загальна кількість знайдених документів : 9 Представлено документи з 1 до 9 |
||||
| 1. | Пынько А. П. Приложение логического программирования к многозначной логике с относительной истиной / А. П. Пынько // Управляющие системы и машины. - 2013. - № 1. - С. 58-65. - Библиогр.: 12 назв. - рус. Предложены процедуры автоматического вывода в пропозициональных многозначных логиках с относительной истиной (имеющих несколько множеств выделенных значений) на основе многостороннего секвенциального дедуктивного аппарата, реализуемого методами логического программирования на языке ПРОЛОГ и позволяющего охватить все конечнозначные логики. Індекс рубрикатора НБУВ: З970.5-018 Рубрики: Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ | |||
| 2. | Пынько А. П. Генценовское исчисление с устранимым сечением и свойством подформульности для первопорядкового следования логики Дамметта / А. П. Пынько // Доп. НАН України. - 2004. - № 5. - С. 69-74. - Библиогр.: 4 назв. - рус. We introduce and study a Gentzen calculus for the first-order entailment in Dummett's linear superintuitionistic propositional logic which has both the subformula and cut elimination properties and is obtained from Gentzen's calculus LK for the classical propositional logic by removing those rules of introduction of negation to right, whose right sides of premises contain not only the negations of formulas. Індекс рубрикатора НБУВ: В123 Рубрики: Шифр НБУВ: Ж22412/а Пошук видання у каталогах НБУВ | |||
| 3. | Пынько А. П. Секвенциальные исчисления для конечнозначных логик с определителем равенства / А. П. Пынько // Доп. НАН України. - 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/а Пошук видання у каталогах НБУВ | |||
| 4. | Пынько А. П. Алгебраизуемость секвенциальных исчислений для конечнозначных логик с определителем равенства / А. П. Пынько // Доп. НАН України. - 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/а Пошук видання у каталогах НБУВ | |||
| 5. | Пынько А. П. Алгебраические критерии алгебраизуемости секвенциальных исчислений для конечнозначных логик с определителем равенства / А. П. Пынько // Доп. НАН України. - 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/а Пошук видання у каталогах НБУВ | |||
| 6. | Пынько А. П. Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства / А. П. Пынько // Доп. НАН України. - 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/а Пошук видання у каталогах НБУВ | |||
| 7. | Пынько А. П. Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства / А. П. Пынько // Доп. НАН України. - 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/а Пошук видання у каталогах НБУВ | |||
| 8. | Пынько А. П. Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства / А. П. Пынько // Доп. НАН України. - 2011. - № 9. - С. 36-41. - Библиогр.: 7 назв. - рус. Запропоновано ефективну процедуру мінімізації числа засновків правил введення секвенційних числень для пропозиційних скінченнозначних логік із визначником рівності. Індекс рубрикатора НБУВ: В128.2 Рубрики: Шифр НБУВ: Ж22412/а Пошук видання у каталогах НБУВ | |||
| 9. | Пынько А. П. Минимизация КНФ частично-монотонных булевых функций / А. П. Пынько // Доп. НАН України. - 2017. - № 3. - С. 18-21. - Библиогр.: 4 назв. - рус. Булеву функцию назовем частично-монотонной, если она монотонна относительно некоторых из своих аргументов и антимонотонна относительно остальных своих аргументов. Доказано, что конъюнктивные нормальные формы частично-монотонных булевых функций можно минимизировать очень эффективно, используя лишь частично-монотонные дизъюнкты. Індекс рубрикатора НБУВ: В123 Рубрики: Шифр НБУВ: Ж22412/а Пошук видання у каталогах НБУВ | |||
Всі права захищені © Національна бібліотека України імені В. І. Вернадського