РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
Оберіть мову
Ukrainian
Arabic
Armenian
Azerbaijani
Belarusian
Bulgarian
Chinese (Simplified)
Chinese (Traditional)
Czech
Danish
Dutch
English
Estonian
Finnish
French
Georgian
German
Greek
Hebrew
Hindi
Hungarian
Icelandic
Irish
Italian
Japanese
Korean
Latvian
Lithuanian
Norwegian
Persian
Polish
Portuguese
Romanian
Russian
Serbian
Slovak
Slovenian
Spanish
Swahili
Swedish
НОВІ
НАДХОДЖЕННЯ
ПОШУК
РУБРИКАТОР
Бази даних
Реферативна база даних - результати пошуку
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
Ключові слова (без закінчення)
Автор (тільки прізвище)
Назва
Рік видання
у знайденому
Сортувати знайдені документи за:
автором
назвою
роком видання
видом документа
Знайдено в інших БД:
Книжкові видання та компакт-диски (39)
Журнали та продовжувані видання (3)
Автореферати дисертацій (4)
Пошуковий запит:
(<.>U=В123$<.>)
Загальна кількість знайдених документів
:
111
Представлено документи
з 1 до 20
...
1.
Rytsar B. Ye.
A simple minimization method of the variables number in complete and incomplete logic functions. Pt. 1
//
Управляющие системы и машины
. - 2017. - № 4.
2.
Rukhaia Kh.
An algorithm of the classification of unranked propositional logic formulas
//
Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки
. - 2013. - Вип. 1.
3.
Kudhair Abed Thamer
Comparative model of texts and their described objective situations conformity
//
Наука і техніка Повітр. сил Збройн. сил України
. - 2018. - № 2.
4.
Нікітченко М. С.
Cеквенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення
//
Проблеми програмування
. - 2020. - N 2/3 (спец. вип.).
5.
Solomko M.
Developing the minimization of a polynomial normal form of Boolean functions by the method of figurative transformations
//
Вост.-Европ. журн. передовых технологий
. - 2021. - № 2/4.
6.
Solomko M.
Implementation of the method of figurative transformations to minimizing symmetric Boolean functions
//
Eastern-Europ. J. of Enterprise Technologies
. - 2021. - № 4/4.
7.
Solomko M.
Implementation of the method of image transformations for minimizing the Sheffer functions
//
Вост.-Европ. журн. передовых технологий
. - 2020. - № 5/4.
8.
Oner T.
Properties of the logical consequence operation and its relationship with the independence of propositional logic
//
Укр. мат. журн.
. - 2018. - 70, № 6.
9.
Protasov I. V.
Recent progress in Subset Combinatorics of Groups
//
Укр. мат. вісн
. - 2017. - 14, № 4.
10.
Geche F.
Synthesis of generalized neural elements by means of the tolerance matrices
//
Вост.-Европ. журн. передовых технологий
. - 2017. - № 4/4.
11.
Нікітченко М. С.
V-сингулярні семантичні моделі першопорядкових логік
//
Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки
. - 2014. - Вип. 2.
12.
Гуца О. М.
Інтерактивна модель перекладу технічних завдань у систему булевих формул
: Автореф. дис... канд. техн. наук : 01.05.02. — Х., 2002
13.
Голян Н. В.
Алгебра понятий как формальный аппарат моделирования действий интеллекта над понятиями
//
Системи упр., навігації та зв'язку
. - 2016. - Вип. 3.
14.
Алексейчук А. Н.
Алгебраически вырожденные приближения булевых функций
//
Кибернетика и систем. анализ
. - 2014. - 50, № 6.
15.
Нікітченко М. С.
Алгебри багатозначних предикатів стабільних відносно відношення толерантності
//
Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки
. - 2013. - Вип. 1.
16.
Цейтлин Г. Е.
Алгебро-алгоритмические аспекты полноты: абстракции, биология и экология
. — 2008 //
Кибернетика и систем. анализ
.
17.
Бибило П. Н.
Алгоритм декомпозиции частичной булевой функции по многоблочному покрытию множества аргументов
. — 2003 //
Управляющие системы и машины
.
18.
Крывый С. Л.
Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
. — 2008 //
Пробл. програмув
.
19.
Иванов Ю. Д.
Алгоритм синтеза инфимумных дизъюнктивных нормальных форм логических функций
. — 2006 //
Пр. Одес. політехн. ун-ту
.
20.
Лещинская И. А.
Анализ категорных диаграмм и алгебры предикатов как базы предикатной категории
//
Зб. наук. пр. Харків. ун-ту Повітр. сил
. - 2015. - Вип. 2.
...
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України
Всі права захищені ©
Національна бібліотека України імені В. І. Вернадського