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

Бази даних

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

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Книжкові видання та компакт-диски (39)Журнали та продовжувані видання (3)Автореферати дисертацій (4)
Пошуковий запит: (<.>U=В123$<.>)
Загальна кількість знайдених документів : 111
Представлено документи з 1 до 20
...
1.

Трохимчук Р. М. Булеві функції : Навч. посіб. — К., 2001
2.

Шкільняк С. С. Спектр логік часткових предикатів, орієнтованих на композиційно-номінативні моделі програм : автореф. дис. ... д-ра фіз.-мат. наук : 01.05.01. — К., 2010
3.

Авлочинская Т. В. Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений. — 2012 // Управляющие системы и машины.
4.

Масалитина Н. Н. Классификация без учителя на основе неколичественно заданного критерия разделения классов. — 2012 // Искусств. интеллект.
5.

Опанасенко В. Н. Разделение полного множества значений булевых функций на основе заданного порога и порогового отношения. — 2012 // Кибернетика и систем. анализ.
6.

Гуца О. М. Інтерактивна модель перекладу технічних завдань у систему булевих формул : Автореф. дис... канд. техн. наук : 01.05.02. — Х., 2002
7.

Редько І. В. Експертні системи. Логіко-математичні засади експертних систем. Логіка, алгебра та числення висловлювань : навч. посіб. — К., 2012
8.

Ситник Л. Г. Методи логічного синтезу багатозначних оборотних неоднорідних модулів та їх застосування в системах штучного інтелекту : автореф. дис... канд. техн. наук: 05.13.23. — Х., 2010
9.

Процай Н. Т. Моделі і методи аналізу та синтезу логічних мереж на основі алгебри предикатів і предикатних операцій : автореф. дис. ... канд. техн. наук : 01.05.02. — Х., 2011
10.

Нікітченко М. С. Композиція побудови умови за прообразом у монотонних логіках Флойда - Хоара // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2014. - Вип. 3.
11.

Лещинская И. А. Формулы исчисления высказываний // Системи оброб. інформації. - 2016. - Вип. 9.
12.

Лещинский В. А. О формульном описании переменных сложных высказываний // Зб. наук. пр. Харків. ун-ту Повітр. сил. - 2016. - Вип. 3.
13.

Пынько А. П. Минимизация КНФ частично-монотонных булевых функций // Доп. НАН України. - 2017. - № 3.
14.

Лещинский В. А. О формальных свойствах исчисления высказываний // Системи озброєння і військ. техніка. - 2016. - № 3.
15.

Лещинский В. А. О формульной записи сложных высказываний // Зб. наук. пр. Харків. ун-ту Повітр. сил. - 2016. - Вип. 2.
16.

Нікітченко М. С. V-сингулярні семантичні моделі першопорядкових логік // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2014. - Вип. 2.
17.

Нікітченко М. С. Алгебри багатозначних предикатів стабільних відносно відношення толерантності // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2013. - Вип. 1.
18.

Олексійчук А. Швидкі алгоритми побудови k-вимірних наближень булевих функцій // Захист інформації. - 2015. - 17, № 1.
19.

Шкільняк С. С. Семантичні властивості логік часткових предикатів з розширеними реномінаціями // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2013. - Вип. 3.
20.

Rukhaia Kh. An algorithm of the classification of unranked propositional logic formulas // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2013. - Вип. 1.
...
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

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