РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
НОВІ
НАДХОДЖЕННЯ
ПОШУК
РУБРИКАТОР

Бази даних

Реферативна база даних - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Книжкові видання та компакт-диски (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.
...
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

Всі права захищені © Національна бібліотека України імені В. І. Вернадського