Формальна теорія та модель комутативної напівгрупи образних конструкцій
У статті побудовано формальну теорію на основі бінарного оператора спрямованого асоціативного зв'язку та введено поняття асоціативної нормальної форми образних конструкцій. Розглянуто модель комутативної напівгрупи, яка забезпечує представлення речення у вигляді 3-х складових питальної конструк...
Gespeichert in:
| Veröffentlicht in: | Математичні машини і системи |
|---|---|
| Datum: | 2011 |
| Hauptverfasser: | Бісікало, О.В., Тадевосян, Р.Г. |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут проблем математичних машин і систем НАН України
2011
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/83623 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Формальна теорія та модель комутативної напівгрупи образних конструкцій / О.В. Бісікало, Р.Г. Тадевосян // Мат. машини і системи. — 2011. — № 4. — С. 39-47. — Бібліогр.: 7 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineÄhnliche Einträge
Про алгебру Ауслендера однієї комутативної напівгрупи скінченного зображувального типу
von: Zubaruk, O. V.; Зубарук О. В.; Київський національний університет ім. Тараса Шевченка, Київ
Veröffentlicht: (2020)
von: Zubaruk, O. V.; Зубарук О. В.; Київський національний університет ім. Тараса Шевченка, Київ
Veröffentlicht: (2020)
Грошова модель попиту та пропозиції
von: Алєксєєв, Д.А.
Veröffentlicht: (2004)
von: Алєксєєв, Д.А.
Veröffentlicht: (2004)
Обчислення $\Sigma$-функції для комутативної нециклічної напівгрупи третього порядку без одиничного і нульового елементів
von: Zubaruk, O. V.; Київський національний університет ім. Тараса Шевченка, Київ
Veröffentlicht: (2022)
von: Zubaruk, O. V.; Київський національний університет ім. Тараса Шевченка, Київ
Veröffentlicht: (2022)
Математическая модель задачи оперативного планирования антиобледенительной обработки самолетов в аэропорту
von: Нелин, О.В.
Veröffentlicht: (2004)
von: Нелин, О.В.
Veröffentlicht: (2004)
Імітаційна імовірнісна модель дендрита нейрона
von: Бондаренко, Я.С.
Veröffentlicht: (2006)
von: Бондаренко, Я.С.
Veröffentlicht: (2006)
Модель естественного интеллекта и пути реализации задач искусственного интеллекта
von: Косс, В.А.
Veröffentlicht: (2006)
von: Косс, В.А.
Veröffentlicht: (2006)
Математическая модель и стратегия распределения приложений для интеллектуальной памяти распределенных компьютерных систем
von: Яковлев, Ю.С., et al.
Veröffentlicht: (2009)
von: Яковлев, Ю.С., et al.
Veröffentlicht: (2009)
Математическая модель функциональной среды РІМ-системы на основе теории нечетких множеств и теории гранулирования
von: Елисеева, Е.В., et al.
Veröffentlicht: (2009)
von: Елисеева, Е.В., et al.
Veröffentlicht: (2009)
Структура скінченної комутативної інверсної напівгрупи і скінченної в'язки, для яких інверсний моноїд локальних автоморфізмів є переставним
von: Дереч, В.Д.
Veröffentlicht: (2011)
von: Дереч, В.Д.
Veröffentlicht: (2011)
Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій
von: Палагін, О.В., et al.
Veröffentlicht: (2007)
von: Палагін, О.В., et al.
Veröffentlicht: (2007)
Концептуальна модель системи образного аналізу і синтезу природно-мовних конструкцій
von: Бісікало, О.В.
Veröffentlicht: (2013)
von: Бісікало, О.В.
Veröffentlicht: (2013)
Архітектурні засади систем моніторингу та прогнозування розвитку епідеміологічних процесів
von: В’юн, В.І., et al.
Veröffentlicht: (2011)
von: В’юн, В.І., et al.
Veröffentlicht: (2011)
Архітектурно-онтологічні принципи розбудови інтелектуальних інформаційних систем
von: Палагін, О.В., et al.
Veröffentlicht: (2006)
von: Палагін, О.В., et al.
Veröffentlicht: (2006)
Становлення і розвиток теоретичних та науково-практичних засад створення високоінтегрованих мобільних (бортових) обчислювальних машин, систем і комплексів реального часу
von: Мудла, Б.Г.
Veröffentlicht: (2008)
von: Мудла, Б.Г.
Veröffentlicht: (2008)
Дедуктивні, індуктивні та аналітичні методи подання і обробки комп’ютерних знань в інтелектуальних системах (1. Дедуктивні методи і засоби)
von: Асельдеров, З.М., et al.
Veröffentlicht: (2003)
von: Асельдеров, З.М., et al.
Veröffentlicht: (2003)
Розв'язування жорстких диференціальних рівнянь з використанням методу розвинення функцій в ряди нев'язок
von: Теслер, Г.С., et al.
Veröffentlicht: (2006)
von: Теслер, Г.С., et al.
Veröffentlicht: (2006)
Інтелектуалізація взаємодії користувача з системою на основі геоінформаційних технологій
von: Білецький, Б.О., et al.
Veröffentlicht: (2008)
von: Білецький, Б.О., et al.
Veröffentlicht: (2008)
Нова кібернетика та сучасні інформаційні системи управління
von: В’юн, В.І.
Veröffentlicht: (2006)
von: В’юн, В.І.
Veröffentlicht: (2006)
Системи імовірнісних залежностей: графові та статистичні властивості
von: Балабанов, О.С.
Veröffentlicht: (2009)
von: Балабанов, О.С.
Veröffentlicht: (2009)
Аналіз і дослідження алгоритмів експертної системи діагностування енергокомплексу електронно-променевого зварювання
von: Хомініч, О.В.
Veröffentlicht: (2008)
von: Хомініч, О.В.
Veröffentlicht: (2008)
Воплощенное знание
von: Малышев, О.В.
Veröffentlicht: (2009)
von: Малышев, О.В.
Veröffentlicht: (2009)
Адаптивное управление процессом ценообразования на рынке с использованием радиально-базисной функциональной сети
von: Рзаев, Р.Р., et al.
Veröffentlicht: (2013)
von: Рзаев, Р.Р., et al.
Veröffentlicht: (2013)
Дослідження паралельних версій алгоритму Флойда-Уоршала для SMP- та MPP-архітектур
von: Погорілий, С.Д., et al.
Veröffentlicht: (2011)
von: Погорілий, С.Д., et al.
Veröffentlicht: (2011)
Конфликты доступа в локальных вычислительных сетях
von: Алишов, Н.И., et al.
Veröffentlicht: (2006)
von: Алишов, Н.И., et al.
Veröffentlicht: (2006)
Задача теории игр с нечеткой платежной матрицей
von: Серая, О.В., et al.
Veröffentlicht: (2012)
von: Серая, О.В., et al.
Veröffentlicht: (2012)
Об уравнениях типа Буссинеска полностью нелинейных и одного порядка дисперсии: вывод и сравнительный анализ
von: Демченко, Р.И., et al.
Veröffentlicht: (2009)
von: Демченко, Р.И., et al.
Veröffentlicht: (2009)
Інформаційно-аналітичні технології як інструмент підтримки та забезпечення систем підтримки прийняття рішень на державному рівні
von: Косолапов, В.Л., et al.
Veröffentlicht: (2007)
von: Косолапов, В.Л., et al.
Veröffentlicht: (2007)
"Рада-3" – система підтримки прийняття рішень для законотворчого процесу Верховної Ради України та рад інших рівнів
von: Морозов, А.О., et al.
Veröffentlicht: (2008)
von: Морозов, А.О., et al.
Veröffentlicht: (2008)
Математичний формалізм взаємодій медичних квантових нанороботів з квантовими нанооб'єктами та їх моделювання на квантових комп'ютерах
von: Войтович, І.Д., et al.
Veröffentlicht: (2011)
von: Войтович, І.Д., et al.
Veröffentlicht: (2011)
Методики інтеграції програмної архітектури віртуальної лабораторії MolDynGrid з локальними системами керування завданнями HTCondor та PBS
von: Орда, В.В., et al.
Veröffentlicht: (2017)
von: Орда, В.В., et al.
Veröffentlicht: (2017)
Гібридний алгоритм узагальненого методу спряжених градієнтів для проблеми власних значень з симетричними розрідженими матрицями
von: Хіміч, О.М., et al.
Veröffentlicht: (2015)
von: Хіміч, О.М., et al.
Veröffentlicht: (2015)
Способ выбора алгоритма разбиения графа для распределенных вычислений
von: Иващенко, В.А., et al.
Veröffentlicht: (2011)
von: Иващенко, В.А., et al.
Veröffentlicht: (2011)
Генератор випадкових чисел у системі дистанційного контролю знань
von: Заторський, Р.А., et al.
Veröffentlicht: (2004)
von: Заторський, Р.А., et al.
Veröffentlicht: (2004)
Радиотехнические средства внешнетраекторных измерений
von: Додонов, А.Г., et al.
Veröffentlicht: (2018)
von: Додонов, А.Г., et al.
Veröffentlicht: (2018)
Наземные оптические, оптико-электронные и лазерно-телевизионные средства траекторных измерений
von: Додонов, А.Г., et al.
Veröffentlicht: (2017)
von: Додонов, А.Г., et al.
Veröffentlicht: (2017)
Объединение преимуществ пассивной и активной балансировки нагрузки в рамках комплексной системы планирования для динамически распараллеливаемых программ
von: Левченко, Р.И., et al.
Veröffentlicht: (2010)
von: Левченко, Р.И., et al.
Veröffentlicht: (2010)
Інтегрування гетерогенних геопросторових даних на основі теорії свідчень Демпстера-Шейфера
von: Попов, М.О., et al.
Veröffentlicht: (2019)
von: Попов, М.О., et al.
Veröffentlicht: (2019)
Автоматизация исследований жирности колбасной продукции на соответствие техническим условиям
von: Зайцев, В.Г.
Veröffentlicht: (2006)
von: Зайцев, В.Г.
Veröffentlicht: (2006)
Из истории развития и применения компьютерной алгебры в Институте прикладной математики имени М.В. Келдыша
von: Ефимов, Г.Б.
Veröffentlicht: (2003)
von: Ефимов, Г.Б.
Veröffentlicht: (2003)
Посткибернетика: смена парадигм
von: Теслер, Г.С.
Veröffentlicht: (2006)
von: Теслер, Г.С.
Veröffentlicht: (2006)
Ähnliche Einträge
-
Про алгебру Ауслендера однієї комутативної напівгрупи скінченного зображувального типу
von: Zubaruk, O. V.; Зубарук О. В.; Київський національний університет ім. Тараса Шевченка, Київ
Veröffentlicht: (2020) -
Грошова модель попиту та пропозиції
von: Алєксєєв, Д.А.
Veröffentlicht: (2004) -
Обчислення $\Sigma$-функції для комутативної нециклічної напівгрупи третього порядку без одиничного і нульового елементів
von: Zubaruk, O. V.; Київський національний університет ім. Тараса Шевченка, Київ
Veröffentlicht: (2022) -
Математическая модель задачи оперативного планирования антиобледенительной обработки самолетов в аэропорту
von: Нелин, О.В.
Veröffentlicht: (2004) -
Імітаційна імовірнісна модель дендрита нейрона
von: Бондаренко, Я.С.
Veröffentlicht: (2006)