Пошуковий запит: (<.>U=В123$<.>) |
Загальна кількість знайдених документів : 111
Представлено документи з 1 до 20
|
| |
1. |
Авлочинская Т. В. Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений. — 2012 // Управляющие системы и машины.
|
2. |
Олексійчук А. Швидкі алгоритми побудови k-вимірних наближень булевих функцій // Захист інформації. - 2015. - 17, № 1.
|
3. |
Коваленко А. И. Числовые интерпретации алгебры понятий // Системи упр., навігації та зв'язку. - 2017. - Вип. 2.
|
4. |
Рицар Б. Є. Числова теоретико-множинна інтерпретація поліномів Ріда - Маллера з фіксованою та змішаною полярністю // Управляющие системы и машины. - 2013. - № 3.
|
5. |
Лещинская И. А. Формулы исчисления высказываний // Системи оброб. інформації. - 2016. - Вип. 9.
|
6. |
Алексейчук А. Н. Улучшенная верхняя граница для относительного расстояния между булевой функцией и множеством k-мерных функций // Кибернетика и систем. анализ. - 2015. - 51, № 5.
|
7. |
Олексійчук А. М. Удосконалений тест k-вимірності для булевих функцій // Кибернетика и систем. анализ. - 2013. - 49, № 2.
|
8. |
Махина Г. А. Тупиковые доопределения частичных монотонных булевых функций из класса (n, 1, k). — 2006 // Тавр. вестн. информатики и математики.
|
9. |
Мінзюк В. М. Спосіб спрощення задачі покриття булових функцій. — 2005 // Вісн. Нац. ун-ту "Львів. політехніка".
|
10. |
Рицар Б. Є. Спосіб побудови кон'юнктермового поля булової функції. — 2005 // Вісн. Нац. ун-ту "Львів. політехніка".
|
11. |
Шкільняк С. С. Спеціальні секвенційні числення логік однозначних квазіарних предикатів // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2012. - Вип. 3.
|
12. |
Гече Ф. Е. Спектральні властивості узагальнених нейрофункцій // Вісн. Вінниц. політехн. ін-ту. - 2019. - № 5.
|
13. |
Шкільняк С. С. Спектр логік часткових предикатів, орієнтованих на композиційно-номінативні моделі програм : автореф. дис. ... д-ра фіз.-мат. наук : 01.05.01. — К., 2010
|
14. |
Шкільняк С. С. Системи логічного виведення в логіках безкванторно-функціональних рівнів // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2016. - Вип. 2.
|
15. |
Василюк А. Система синтезу формул алгебри алгоритмів // Вісн. Нац. ун-ту "Львів. політехніка". Сер. Інформ. системи та мережі. - 2021. - Вип. 9.
|
16. |
Опанасенко В. Н. Синтез адаптивных логических сетей на основе полинома Жегалкина // Кибернетика и систем. анализ. - 2015. - 51, № 6.
|
17. |
Шкільняк С. С. Семантичні властивості логік часткових предикатів з розширеними реномінаціями // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2013. - Вип. 3.
|
18. |
Шкільняк С. С. Секвенційні числення логік часткових та неоднозначних квазіарних предикатів // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2012. - Вип. 4.
|
19. |
Шкільняк О. С. Секвенційні числення логік часткових предикатів з розширеними реномінаціями // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2013. - Спец. вип.
|
20. |
Бондаренко М. Ф. Свойства подстановочных операций, применяемых к формуле алгебры конечных предикатов // Системи упр., навігації та зв'язку. - 2012. - Вип. 1, т. 2.
|
| |