Пошуковий запит: (<.>U=В123$<.>) |
Загальна кількість знайдених документів : 111
Представлено документи з 1 до 20
|
| |
|
| | |
|
1. |
Никитченко Н. С. Аппликативные композиции частичных предикатов / Н. С. Никитченко // Кибернетика и систем. анализ. - 2001. - № 2. - С. 15-33. - Библиогр.: 19 назв. - рус.Досліджено композиції часткових предикатів граничного конкретного рівня абстракції, які є основою різних інфінітарних логік предикатів. Наведено повний опис таких композицій в термінах спеціальних алгебр Кліні та побудовано повні системи тотожностей для таких композицій. Визначено необхідні та достатні умови застосування правила виведення modus ponens для логік часткових предикатів. Індекс рубрикатора НБУВ: В123
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
|
| | |
|
2. |
Мухамедов Ф. М. Об одном условии регулярности квантовых квадратичных стохастических процессов / Ф. М. Мухамедов // Укр. мат. журн. - 2001. - 53, № 10. - С. 1368-1379. - Библиогр.: 18 назв. - рус.Наведено необхідні та достатні умови виконання умови регулярності для однорідних квантових квадратичних стохастичних процесів, визначених на алгебрах фон Неймана. Індекс рубрикатора НБУВ: В123.3 + В175.1
Шифр НБУВ: Ж26161 Пошук видання у каталогах НБУВ
|
|
| | |
|
3. |
Выхованец В. С. Обобщенные полиномиальные формы / В. С. Выхованец // Радіоелектроніка. Інформатика. Управління. - 1999. - № 2. - С. 55-59. - Библиогр.: 5 назв. - рус. Індекс рубрикатора НБУВ: В123 + В161.49
Рубрики:
Шифр НБУВ: Ж16683 Пошук видання у каталогах НБУВ
|
|
| | |
|
4. |
Чеботарев А. Н. Построение автомата (распознавателя) по формуле монадической теории первого порядка для натуральных чисел / А. Н. Чеботарев // Кибернетика и систем. анализ. - 2001. - № 4. - С. 91-106. - Библиогр.: 10 назв. - рус.Запропоновано метод побудови автомата за логічною формулою першого порядку підібними до методу табло, що може розглядатися як його модифікація й удосконалення. Індекс рубрикатора НБУВ: В123
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
|
| | |
|
5. |
Никитченко Н. С. Пропозициональные композиции частичных предикатов / Н. С. Никитченко // Кибернетика и систем. анализ. - 2000. - № 2. - С. 3-19. - Библиогр.: 16 назв. - рус.Визначено та досліджено композиції часткових предикатів граничного високого рівня абстракції, які є основою інфінітарних пропозиційних логік. Наведено повний опис таких композицій в термінах спеціальних алгебр, названих алгебрами Кліні, та побудовано повну систему тотожностей для таких композицій. Індекс рубрикатора НБУВ: В123
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
|
| | |
|
6. |
Дуда О. Змінні та функції в середовищі реалізації двозначної алгебри логіки / О. Дуда, М. Дуда // Вісн. Терноп. держ. техн. ун-ту. - 1999. - 4, № 1. - С. 62-68. - Бібліогр.: 5 назв. - укp. Індекс рубрикатора НБУВ: В123 + В152.61
Рубрики:
Шифр НБУВ: Ж69332 Пошук видання у каталогах НБУВ
|
|
| | |
|
7. |
Кривый С. Л. О пересечении множеств равенств термов в конечноопределенных алгебрах / С. Л. Кривый // Кибернетика и систем. анализ. - 1998. - № 5. - С. 3-14. - Библиогр.: 8 назв. - рус.Описані алгоритми розв'язку задачі побудови базису перехрещення множин рівнянь термів для абсолютно вільних OMEGA-алгебр, комутативних OMEGA-групоїдів, скінченновизначених напівгруп зі скороченням і умовою фінітарності, комутативних OMEGA-напівгруп, груп і абелевих OMEGA-груп. Ключ. слова: Індекс рубрикатора НБУВ: В123 + З973-018
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
|
| | |
|
8. |
Трохимчук Р. М. Булеві функції : Навч. посіб. / Р. М. Трохимчук; Київ. нац. ун-т ім. Т.Шевченка. - К., 2001. - 82 c. - Бібліогр.: 10 назв. - укp.Висвітлено основні тотожності алгебри логіки, канонічні форми булевих функцій, мінімальні, скорочені та тупикові диз'юнктивні нормальні форми. Розглянуто проблему повноти для алгебри булевих функцій, а також питання мінімізації формул логіки. Описано теорему про функціональну повноту, метод Квайна - Мак-Класкі побудови скороченої диз'юнктивної нормальної форми (ДНФ) булевої функції, а також методи побудови мінімальних ДНФ. Освещены основные тождественности алгебры логики, канонические формы булевых функций, минимальные, сокращенные и тупиковые дизъюнктивные нормальные формы. Рассмотрены проблема полноты для алгебры булевых функций, а також проблема минимизации формул логики. Описана теорема о функциональной полноте, метод Квайна-Мак-Класки построения сокращенной дизъюнктивной нормальной формы (ДНФ) булевой функции, а также методы построения минимальных ДНФ. Індекс рубрикатора НБУВ: В123я73
Шифр НБУВ: ВА627080 Пошук видання у каталогах НБУВ
|
|
| | |
|
9. |
Бибило П. Н. Алгоритм декомпозиции частичной булевой функции по многоблочному покрытию множества аргументов / П. Н. Бибило, Н. В. Семижон // Управляющие системы и машины. - 2003. - № 6. - С. 12-20. - Библиогр.: 9 назв. - рус.Описано алгоритм розв'язку задачі декомпозиції часткової булевої функції за багатоблочним покриттям множини аргументів, який базується на процедурі рознесення ребер і кодуванні графів. Наведено результати експериментального дослідження алгоритму. Індекс рубрикатора НБУВ: В123
Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ
|
|
| | |
|
10. |
Самофалов К. Г. Комбинаторный подход к синтезу специальных классов булевых функций / К. Г. Самофалов, А. П. Марковский // Электрон. моделирование. - 2004. - 26, № 3. - С. 27-40. - Библиогр.: 5 назв. - рус.Запропоновано новий підхід до синтезу булевих функцій, які задовольняють критерію чіткого лавинного ефекту. Перевагами підходу у порівнянні з відомими методами є простота реалізації та значно більша кількість функцій, що синтезуються. Детально описано формалізовані процедури синтезу небалансних і балансних функцій цього класу, наведено приклади синтезу. Ключ. слова: булевы функции специальных классов, лавинный эффект, дифференциальные свойства булевых функций Індекс рубрикатора НБУВ: В123
Рубрики:
Шифр НБУВ: Ж14163 Пошук видання у каталогах НБУВ
|
|
| | |
|
11. |
Андреев Д. В. Математическая модель и элементный базис рекуррентных реляторных структур / Д. В. Андреев // Электрон. моделирование. - 2002. - 24, № 3. - С. 107-110. - Библиогр.: 5 назв. - рус.Розглянуто одновимірні реляторні мережі, побудовані на основі рекурентної функції предикатної алгебри вибору та призначені для рангової обробки аналогових сигналів. Показано переваги розглянутих мереж перед традиційними технічними рішеннями. Ключ. слова: рекуррентная функция предикатной алгебры выбора, одномерная сеть, операционный релятор Індекс рубрикатора НБУВ: В123
Рубрики:
Шифр НБУВ: Ж14163 Пошук видання у каталогах НБУВ
|
|
| | |
|
12. |
Рыбка Ю. М. Оптимизация при минимизации булевых функций / Ю. М. Рыбка // Систем. технології. - 2004. - № 6. - С. 18-23. - Библиогр.: 1 назв. - рус.Розглянуто матричні алгоритми визначення кількості наборів, що склеюються, при мінімізації булевих функцій. Індекс рубрикатора НБУВ: В123
Рубрики:
Шифр НБУВ: Ж69472 Пошук видання у каталогах НБУВ
|
|
| | |
|
13. |
Рицар Б. Є. Візерунки бульових функцій: метод мінімізації / Б. Є. Рицар // Управляющие системы и машины. - 2007. - № 3. - С. 34-51. - Бібліогр.: 11 назв. - укp.Запропоновано новий візуальний метод мінімізації бульових функцій - метод візерунків, який відрізняється від методу карт Карно та інших візуальних методів тим, що придатний для мінімізації функцій від довільної кількості змінних. Описано евристичний алгоритм цього методу. Переваги останнього проілюстровано прикладами. Індекс рубрикатора НБУВ: В123
Рубрики:
Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ
|
|
| | |
|
14. |
Денисов А. С. Выполнимость ярких формул / А. С. Денисов // Укр. мат. журн. - 2007. - 59, № 10. - С. 1432-1435. - Библиогр.: 4 назв. - рус.Досліджено один із розв'язних підкласів кванторних формул у чистому численні предикатів. Одержано необхідну та достатню умову здійсненності для формул, що входять до нього. Індекс рубрикатора НБУВ: В123
Рубрики:
Шифр НБУВ: Ж26161 Пошук видання у каталогах НБУВ
|
|
| | |
|
15. |
Войтович С. А. Доказательство полноты алгебры для логического исчисления с четырехзначной семантикой / С. А. Войтович, О. М. Сорокин // Системи оброб. інформації. - 2005. - Вип. 6. - С. 193-202. - Библиогр.: 11 назв. - рус.Представлена алгебра для строгого логического исчисления с четырехзначной семантикой, которое предназначено для представления знаний в системах управления реального масштаба времени с использованием качественной оценки неопределенности признаковой информации. Доказана полнота предлагаемой алгебры. Ключ. слова: логическое исчисление, четырехзначная семантика, неопределенность признаковой информации, полнота алгебры Індекс рубрикатора НБУВ: В123 + З973-018.21
Рубрики:
Шифр НБУВ: Ж70474 Пошук видання у каталогах НБУВ
|
|
| | |
|
16. |
Паулин О. Н. К построению прикладной теории симметрических булевых функций / О. Н. Паулин // Искусств. интеллект. - 2005. - № 4. - С. 245-255. - Библиогр.: 15 назв. - рус.Базовые понятия и положения алгебры симметрических булевых функций (СБФ) выстроены на основе теоретико-множественного подхода. Они совместно с решенными основными задачами алгебры СБФ представлены как эскиз разрабатываемой прикладной теории СБФ. Главная для практики среди этих задач - синтез оптимальных логических схем. Індекс рубрикатора НБУВ: В123
Рубрики:
Шифр НБУВ: Ж15477 Пошук видання у каталогах НБУВ
|
|
| | |
|
17. |
Доценко В. А. Конструктивний алгоритм зворотного методу для числення висловлювань / В. А. Доценко // Систем. дослідж. та інформ. технології. - 2007. - № 2. - С. 59-73. - Библиогр.: 7 назв. - укp.Розглянуто загальну схему зворотного методу С. Ю. Маслова для числення висловлювань. Описано низку евристичних стратегій і правил виведення скорочення перебору. Сформульовано конструктивний алгоритм зворотного методу для числення висловлювань. Індекс рубрикатора НБУВ: В123 + З973-047.20
Рубрики:
Шифр НБУВ: Ж24036 Пошук видання у каталогах НБУВ
|
|
| | |
|
18. |
Ревенчук И. А. Математическая модель вычисления значений многочленов на множестве M-разрядных двоичных кодов / И. А. Ревенчук // Искусств. интеллект. - 2005. - № 3. - С. 236-247. - Библиогр.: 4 назв. - рус.Рассмотрен математический аппарат (МА) алгебры конечных предикатов (АКП). АКП позволяет сформулировать новую информационно-вычислительную технологию постановки и решения задач, которые описываются разнообразными математическими уравнениями, сводимых к единой логико-математической форме - системам логических уравнений АКП. Уравнения АКП описывают функционирование многополюсных систем, т.е. систем, для которых не только входные сигналы могут подаваться на любые полюсы, но и съем выходных сигналов также может подаваться с любых полюсов. МА АКП открывает возможность перехода от алгоритмического описания информационных процессов к описанию их в виде уравнений. Індекс рубрикатора НБУВ: В123
Рубрики:
Шифр НБУВ: Ж15477 Пошук видання у каталогах НБУВ
|
|
| | |
|
19. |
Рыцар Б. Е. Новый подход к декомпозиции булевых функций методом BIqD-разбиений. 3. Совместная декомпозиция системы функций / Б. Е. Рыцар // Кибернетика и систем. анализ. - 2007. - 43, № 2. - С. 39-58. - Библиогр.: 13 назв. - рус. Індекс рубрикатора НБУВ: В123
Рубрики:
Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ
|
|
| | |
|
20. |
Ефимова И. А. О кванторной алгебре предикатных операций / И. А. Ефимова, В. А. Лещинский // Искусств. интеллект. - 2006. - № 4. - С. 603-612. - Библиогр.: 12 назв. - рус.Проведена систематизация алгебр предикатных операций (АПО). Проанализирована булева АПО, АПО с константами и переменными, дизъюнктивно-конъюнктивная АПО, фундаментальная АПО и прикладная АПО. Введено определение кванторной АПО, сформулирована и доказана теорема о равносильности фундаментальной и кванторной АПО, предложен вариант сокращения базиса кванторной АПО. Індекс рубрикатора НБУВ: В123
Рубрики:
Шифр НБУВ: Ж15477 Пошук видання у каталогах НБУВ
|
| |