Простий пошук
Розширений пошук
Алфавітні покажчики

Бази даних

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

Віртуальна довідка
Тематичний інтернет-навігатор
Наукова електронна бібліотека
Автореферати дисертацій
Реферативна база даних
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Книжкові видання та компакт-диски (7)Журнали та продовжувані видання (5)
Пошуковий запит: (<.>A=Рицар Б$<.>)
Загальна кількість знайдених документів : 20
Представлено документи з 1 до 20
      
Категорія:    
1.

Рицар Б. Є. 
Декомпозиція бульових функцій методом iq/i-розбиття. I / Б. Є. Рицар // Управляющие системы и машины. - 1999. - № 6. - С. 29-42. - Бібліогр.: 19 назв. - укp.


Індекс рубрикатора НБУВ: В152.61

Рубрики:
 Булеві кільця і алгебри. Дистрибутивні структури 

Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ 

      
Категорія:    
2.

Рицар Б. Є. 
Декомпозиція бульових функцій методом iq/i-розбиття. II / Б. Є. Рицар // Управляющие системы и машины. - 2000. - № 1. - С. 56-65. - Бібліогр.: 19 назв. - укp.


Індекс рубрикатора НБУВ: В152.61

Рубрики:
 Булеві кільця і алгебри. Дистрибутивні структури 

Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ 

      
Категорія:    
3.

Рицар Б. Є. 
Мінімізація бульових функцій методом розчеплення кон'юнктермів / Б. Є. Рицар // Управляющие системы и машины. - 1998. - № 5. - С. 14-22. - Бібліогр.: 6 назв. - укp.


Індекс рубрикатора НБУВ: В173.112

Рубрики:
 Дискретне програмування 

Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ 

      
Категорія:    
4.

Кметь А. Б. 
До класифікації декомпозицій логікових функцій = О классификации декомпозиций логических функций / А. Б. Кметь, Б. Є. Рицар // Управляющие системы и машины. - 2003. - № 6. - С. 21-32. - Бібліогр.: 25 назв - укp.

Виконано загальний аналіз декомпозиційних формул з метою виділення певних їх параметрів, що можуть бути підставою для класифікації. Розглянуто сучасний стан класифікації декомпозицій логікових функцій.


Індекс рубрикатора НБУВ: З972-02-5-05

Рубрики:
 Дискретна обчислювальна техніка 

Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ 
      
Категорія:    
5.

Рицар Б. Є. 
Метод виявлення і розпізнання симетрії в булевих функціях / Б. Є. Рицар // Управляющие системы и машины. - 2001. - № 4. - С. 13-41. - Бібліогр.: 10 назв. - укp.


Індекс рубрикатора НБУВ: В126

Рубрики:
 Дискретна математика. Комбінаторика. Теорія графів 

Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ 

      
Категорія:    
6.

Рицар Б. Є. 
Теоретико-множинна модифікація мінімаксного методу покриття бульових функцій / Б. Є. Рицар, В. В. Мінзюк // Управляющие системы и машины. - 2005. - № 5. - С. 43-50. - Бібліогр.: 6 назв. - укp.

Розглянуто теоретико-множинну модифікацію мінімаксного методу покриття бульових функцій, в основу якої покладено запропоновану процедуру зважування простих кон'юнктермів, що дозволяє вибирати коротший шлях покриття. На відміну від традиційних підходів, запропонований алгоритм дозволяє корегувати хід покриття.


Індекс рубрикатора НБУВ: В173.112

Рубрики:
 Дискретне програмування 

Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ 
      
Категорія:    
7.

Рицар Б. Є. 
Алгоритм розділювальної функційної декомпозиції методом BIqD-розбиття / Б. Є. Рицар, А. Ю. Швай // Вісн. Нац. ун-ту "Львів. політехніка". - 2006. - № 557. - С. 152-155. - Бібліогр.: 13 назв. - укp.


Індекс рубрикатора НБУВ: З972-01

Рубрики:
 Дискретна обчислювальна техніка 

Шифр НБУВ: Ж29409/А Пошук видання у каталогах НБУВ 

      
Категорія:    
8.

Рицар Б. Є. 
Візерунки бульових функцій: метод мінімізації / Б. Є. Рицар // Управляющие системы и машины. - 2007. - № 3. - С. 34-51. - Бібліогр.: 11 назв. - укp.

Запропоновано новий візуальний метод мінімізації бульових функцій - метод візерунків, який відрізняється від методу карт Карно та інших візуальних методів тим, що придатний для мінімізації функцій від довільної кількості змінних. Описано евристичний алгоритм цього методу. Переваги останнього проілюстровано прикладами.


Індекс рубрикатора НБУВ: В123

Рубрики:
 Логічні числення. Числення висловлювань і предикатів 

Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ 
      
Категорія:    
9.

Рицар Б. Є. 
Логіковий синтез комбінаційних мереж у базисі мультиплексорів методом IqD-розбиття кон'юнктермів / Б. Є. Рицар // Управляющие системы и машины. - 2006. - № 3. - С. 51-61. - Бібліогр.: 9 назв. - укp.


Індекс рубрикатора НБУВ: З970.3

Рубрики:
 Системи передавання даних. Комп'ютерні комунікації 

Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ 

      
Категорія:    
10.

Рицар Б. Є. 
Спосіб побудови кон'юнктермового поля булової функції / Б. Є. Рицар // Вісн. Нац. ун-ту "Львів. політехніка". - 2005. - № 534. - С. 21-24. - Бібліогр.: 4 назв. - укp.


Індекс рубрикатора НБУВ: В123 + З811.4

Рубрики:
 Логічні числення. Числення висловлювань і предикатів 
 Кодування. Коди 

Шифр НБУВ: Ж29409/А Пошук видання у каталогах НБУВ 

      
Категорія:    
11.

Рицар Б. Є. 
Теоретико-множинні оптимізаційні методи логікового синтезу комбінаційних мереж : Автореф. дис... д-ра техн. наук: 05.12.13 / Б. Є. Рицар; Нац. ун-т "Львів. політехніка". - Л., 2004. - 33 c. - укp.


Індекс рубрикатора НБУВ: З972-01

Рубрики:
 Дискретна обчислювальна техніка 

Шифр НБУВ: РА333891 Пошук видання у каталогах НБУВ 

      
Категорія:    
12.

Рицар Б. Є. 
Технічному комітетові стандартизації науково-технічної термінології - 20 років: діяльність у фактах і цифрах / Б. Є. Рицар, Р. Т. Мисак, О. В. Мацейовська // Вісн. Нац. ун-ту "Львів. політехніка". - 2012. - № 733. - С. 239-254. - Бібліогр.: 18 назв. - укp.

Описано діяльність і здобутки Технічного комітету стандартизації науково-технічної термінології за 20 років із часу створення за такими напрямками: розроблення та експертування термінологічних стандартів, наукова діяльність, організація термінологічних конференцій і семінарів, видавнича діяльність, розроблення програмного забезпечення для супроводу науково-технічної термінології, міжнародна співпраця.


Індекс рубрикатора НБУВ: Ш103.4:Ж + Ж.в4

Рубрики:
 Технічна термінологія та номенклатура 

Шифр НБУВ: Ж29409/А Пошук видання у каталогах НБУВ 
      
Категорія:    
13.

Рицар Б. Є. 
Числова теоретико-множинна інтерпретація полінома Жегалкіна / Б. Є. Рицар // Управляющие системы и машины. - 2013. - № 1. - С. 11-26. - Бібліогр.: 11 назв. - укp.


Індекс рубрикатора НБУВ: В152.1

Рубрики:
 Багаточлени. Алгебраїчні рівняння 

Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ 

      
Категорія:    
14.

Рицар Б. Є. 
Мінімізація системи логікових функцій методом паралельного розчеплення кон'юнктермів / Б. Є. Рицар // Вісн. Нац. ун-ту "Львів. політехніка". - 2013. - № 766. - С. 18-27. - Бібліогр.: 7 назв. - укp.

Запропоновано новий євристичний метод мінімізації логікових функцій від n змінних на основі паралельного розчеплення кон'юнктермів, що відрізняється від відомих методів простішою реалізацією за рахунок меншої обчислювальної складності. Переваги методу проілюстровано на прикладах мінімізації системи повних і неповних (недовизначених) функцій.


Індекс рубрикатора НБУВ: З973-047.20

Рубрики:
 Комп'ютери та програмування 

Шифр НБУВ: Ж29409/А Пошук видання у каталогах НБУВ 
      
Категорія:    
15.

Рицар Б. Є. 
Мінімізація бульових функцій багатьох змінних / Б. Є. Рицар // Доп. НАН України. - 1999. - № 2. - С. 22-29. - Бібліогр.: 4 назв. - укp.


Індекс рубрикатора НБУВ: В152.61

Рубрики:
 Булеві кільця і алгебри. Дистрибутивні структури 

Шифр НБУВ: Ж22412/а Пошук видання у каталогах НБУВ 

      
Категорія:    
16.

Рицар Б. Є. 
Числова теоретико-множинна інтерпретація поліномів Ріда - Маллера з фіксованою та змішаною полярністю / Б. Є. Рицар // Управляющие системы и машины. - 2013. - № 3. - С. 30-44Control Systems and Computers. - Библиогр.: 15 назв. - укp.


Індекс рубрикатора НБУВ: В123

Рубрики:
 Логічні числення. Числення висловлювань і предикатів 

Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ 

      
Категорія:    
17.

Рицар Б. Є. 
Комп'ютерне дослідження методу розчеплення кон'юнктермів / Б. Є. Рицар, А. Ю. Швай // Відбір і оброб. інформації : міжвід. зб. наук. пр. - 2005. - Вип. 22. - С. 94-99. - Бібліогр.: 6 назв. - укp.


Індекс рубрикатора НБУВ: З973-018.121

Рубрики:
 Комп'ютери та програмування 

Шифр НБУВ: Ж61280 Пошук видання у каталогах НБУВ 

      
Категорія:    
18.

Рицар Б. Є. 
Алгоритм ортогоналізації структурованих множин кон'юнктермів булових функцій / Б. Є. Рицар, А. Ю. Швай // Відбір і оброб. інформації : міжвід. зб. наук. пр. - 2007. - Вип. 26. - С. 111-113. - Бібліогр.: 7 назв. - укp.

Описано алгоритм ортогоналізації псевдотрійкових кон'юнктермів (кон'юнктивних термів) і декомпозиційних клонів булових функцій, що забезпечує оптимальний результат за критерієм складності реалізації (мінімуму загальної кількості літералів в остаточному результаті). Ефективність алгоритму проілюстровано прикладами функцій, заданих у класі ДНФ.


Індекс рубрикатора НБУВ: З972-02-5-05

Рубрики:
 Дискретна обчислювальна техніка 

Шифр НБУВ: Ж61280 Пошук видання у каталогах НБУВ 
      
Категорія:    
19.

Рицар Б. Є. 
Простий візуальний метод визначення логікових похідних довільних порядків / Б. Є. Рицар // Відбір і оброб. інформації : міжвід. зб. наук. пр. - 2013. - Вип. 38. - С. 125-132. - Бібліогр.: 11 назв. - укp.

Розглянуто новий підхід до визначення логікових похідних від функції, що задана візуально у вигляді графа - так званого візерунка логікової функції. Порівняно з методом карт Карно пропонований метод візерунків відрізняється простішою реалізацією та можливістю візуально визначати різні типи логікових похідних довільних порядків від функцій багатьох змінних. Запропонований підхід проілюстровано на прикладах.


Індекс рубрикатора НБУВ: В123

Рубрики:
 Логічні числення. Числення висловлювань і предикатів 

Шифр НБУВ: Ж61280 Пошук видання у каталогах НБУВ 
      
Категорія:    
20.

Проблеми української термінології : зб. наук. пр. учасників XIV Міжнар. наук. конф. "Проблеми української термінології СловоСвіт 2016", 29 верес. - 1 жовт. 2016 р., Львів / ред.: Б. Рицар, О. Сербенська, М. Зубков; Техн. ком. стандартизації наук.-техн. термінології М-ва екон. розвитку і торгівлі та М-ва освіти і науки України. - Львів : Вид-во Львів. політехніки, 2016. - 101 c. - укp.

Опубліковано статті за такими тематичними напрямами: теоретичні засади термінознавства та лексикографії, лексикографія та міжмовні зв’язки, нормування та стандартування термінології, термінологія природничих і гуманітарних знань.


Індекс рубрикатора НБУВ: Ш141.14-34

Рубрики:
 Українська мова 

Шифр НБУВ: СО34851 Пошук видання у каталогах НБУВ 
 

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