Формальна теорія та модель комутативної напівгрупи образних конструкцій
У статті побудовано формальну теорію на основі бінарного оператора спрямованого асоціативного зв'язку та введено поняття асоціативної нормальної форми образних конструкцій. Розглянуто модель комутативної напівгрупи, яка забезпечує представлення речення у вигляді 3-х складових питальної конструк...
Saved in:
| Published in: | Математичні машини і системи |
|---|---|
| Date: | 2011 |
| Main Authors: | Бісікало, О.В., Тадевосян, Р.Г. |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут проблем математичних машин і систем НАН України
2011
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/83623 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Формальна теорія та модель комутативної напівгрупи образних конструкцій / О.В. Бісікало, Р.Г. Тадевосян // Мат. машини і системи. — 2011. — № 4. — С. 39-47. — Бібліогр.: 7 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Про алгебру Ауслендера однієї комутативної напівгрупи скінченного зображувального типу
by: Zubaruk, O. V.; Зубарук О. В.; Київський національний університет ім. Тараса Шевченка, Київ
Published: (2020)
by: Zubaruk, O. V.; Зубарук О. В.; Київський національний університет ім. Тараса Шевченка, Київ
Published: (2020)
Грошова модель попиту та пропозиції
by: Алєксєєв, Д.А.
Published: (2004)
by: Алєксєєв, Д.А.
Published: (2004)
Обчислення $\Sigma$-функції для комутативної нециклічної напівгрупи третього порядку без одиничного і нульового елементів
by: Zubaruk, O. V.; Київський національний університет ім. Тараса Шевченка, Київ
Published: (2022)
by: Zubaruk, O. V.; Київський національний університет ім. Тараса Шевченка, Київ
Published: (2022)
Математическая модель задачи оперативного планирования антиобледенительной обработки самолетов в аэропорту
by: Нелин, О.В.
Published: (2004)
by: Нелин, О.В.
Published: (2004)
Імітаційна імовірнісна модель дендрита нейрона
by: Бондаренко, Я.С.
Published: (2006)
by: Бондаренко, Я.С.
Published: (2006)
Модель естественного интеллекта и пути реализации задач искусственного интеллекта
by: Косс, В.А.
Published: (2006)
by: Косс, В.А.
Published: (2006)
Математическая модель и стратегия распределения приложений для интеллектуальной памяти распределенных компьютерных систем
by: Яковлев, Ю.С., et al.
Published: (2009)
by: Яковлев, Ю.С., et al.
Published: (2009)
Математическая модель функциональной среды РІМ-системы на основе теории нечетких множеств и теории гранулирования
by: Елисеева, Е.В., et al.
Published: (2009)
by: Елисеева, Е.В., et al.
Published: (2009)
Структура скінченної комутативної інверсної напівгрупи і скінченної в'язки, для яких інверсний моноїд локальних автоморфізмів є переставним
by: Дереч, В.Д.
Published: (2011)
by: Дереч, В.Д.
Published: (2011)
Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій
by: Палагін, О.В., et al.
Published: (2007)
by: Палагін, О.В., et al.
Published: (2007)
Концептуальна модель системи образного аналізу і синтезу природно-мовних конструкцій
by: Бісікало, О.В.
Published: (2013)
by: Бісікало, О.В.
Published: (2013)
Архітектурні засади систем моніторингу та прогнозування розвитку епідеміологічних процесів
by: В’юн, В.І., et al.
Published: (2011)
by: В’юн, В.І., et al.
Published: (2011)
Архітектурно-онтологічні принципи розбудови інтелектуальних інформаційних систем
by: Палагін, О.В., et al.
Published: (2006)
by: Палагін, О.В., et al.
Published: (2006)
Становлення і розвиток теоретичних та науково-практичних засад створення високоінтегрованих мобільних (бортових) обчислювальних машин, систем і комплексів реального часу
by: Мудла, Б.Г.
Published: (2008)
by: Мудла, Б.Г.
Published: (2008)
Дедуктивні, індуктивні та аналітичні методи подання і обробки комп’ютерних знань в інтелектуальних системах (1. Дедуктивні методи і засоби)
by: Асельдеров, З.М., et al.
Published: (2003)
by: Асельдеров, З.М., et al.
Published: (2003)
Розв'язування жорстких диференціальних рівнянь з використанням методу розвинення функцій в ряди нев'язок
by: Теслер, Г.С., et al.
Published: (2006)
by: Теслер, Г.С., et al.
Published: (2006)
Інтелектуалізація взаємодії користувача з системою на основі геоінформаційних технологій
by: Білецький, Б.О., et al.
Published: (2008)
by: Білецький, Б.О., et al.
Published: (2008)
Нова кібернетика та сучасні інформаційні системи управління
by: В’юн, В.І.
Published: (2006)
by: В’юн, В.І.
Published: (2006)
Системи імовірнісних залежностей: графові та статистичні властивості
by: Балабанов, О.С.
Published: (2009)
by: Балабанов, О.С.
Published: (2009)
Аналіз і дослідження алгоритмів експертної системи діагностування енергокомплексу електронно-променевого зварювання
by: Хомініч, О.В.
Published: (2008)
by: Хомініч, О.В.
Published: (2008)
Воплощенное знание
by: Малышев, О.В.
Published: (2009)
by: Малышев, О.В.
Published: (2009)
Адаптивное управление процессом ценообразования на рынке с использованием радиально-базисной функциональной сети
by: Рзаев, Р.Р., et al.
Published: (2013)
by: Рзаев, Р.Р., et al.
Published: (2013)
Дослідження паралельних версій алгоритму Флойда-Уоршала для SMP- та MPP-архітектур
by: Погорілий, С.Д., et al.
Published: (2011)
by: Погорілий, С.Д., et al.
Published: (2011)
Конфликты доступа в локальных вычислительных сетях
by: Алишов, Н.И., et al.
Published: (2006)
by: Алишов, Н.И., et al.
Published: (2006)
Задача теории игр с нечеткой платежной матрицей
by: Серая, О.В., et al.
Published: (2012)
by: Серая, О.В., et al.
Published: (2012)
Об уравнениях типа Буссинеска полностью нелинейных и одного порядка дисперсии: вывод и сравнительный анализ
by: Демченко, Р.И., et al.
Published: (2009)
by: Демченко, Р.И., et al.
Published: (2009)
Інформаційно-аналітичні технології як інструмент підтримки та забезпечення систем підтримки прийняття рішень на державному рівні
by: Косолапов, В.Л., et al.
Published: (2007)
by: Косолапов, В.Л., et al.
Published: (2007)
"Рада-3" – система підтримки прийняття рішень для законотворчого процесу Верховної Ради України та рад інших рівнів
by: Морозов, А.О., et al.
Published: (2008)
by: Морозов, А.О., et al.
Published: (2008)
Гібридний алгоритм узагальненого методу спряжених градієнтів для проблеми власних значень з симетричними розрідженими матрицями
by: Хіміч, О.М., et al.
Published: (2015)
by: Хіміч, О.М., et al.
Published: (2015)
Математичний формалізм взаємодій медичних квантових нанороботів з квантовими нанооб'єктами та їх моделювання на квантових комп'ютерах
by: Войтович, І.Д., et al.
Published: (2011)
by: Войтович, І.Д., et al.
Published: (2011)
Методики інтеграції програмної архітектури віртуальної лабораторії MolDynGrid з локальними системами керування завданнями HTCondor та PBS
by: Орда, В.В., et al.
Published: (2017)
by: Орда, В.В., et al.
Published: (2017)
Способ выбора алгоритма разбиения графа для распределенных вычислений
by: Иващенко, В.А., et al.
Published: (2011)
by: Иващенко, В.А., et al.
Published: (2011)
Генератор випадкових чисел у системі дистанційного контролю знань
by: Заторський, Р.А., et al.
Published: (2004)
by: Заторський, Р.А., et al.
Published: (2004)
Радиотехнические средства внешнетраекторных измерений
by: Додонов, А.Г., et al.
Published: (2018)
by: Додонов, А.Г., et al.
Published: (2018)
Наземные оптические, оптико-электронные и лазерно-телевизионные средства траекторных измерений
by: Додонов, А.Г., et al.
Published: (2017)
by: Додонов, А.Г., et al.
Published: (2017)
Объединение преимуществ пассивной и активной балансировки нагрузки в рамках комплексной системы планирования для динамически распараллеливаемых программ
by: Левченко, Р.И., et al.
Published: (2010)
by: Левченко, Р.И., et al.
Published: (2010)
Інтегрування гетерогенних геопросторових даних на основі теорії свідчень Демпстера-Шейфера
by: Попов, М.О., et al.
Published: (2019)
by: Попов, М.О., et al.
Published: (2019)
Автоматизация исследований жирности колбасной продукции на соответствие техническим условиям
by: Зайцев, В.Г.
Published: (2006)
by: Зайцев, В.Г.
Published: (2006)
Из истории развития и применения компьютерной алгебры в Институте прикладной математики имени М.В. Келдыша
by: Ефимов, Г.Б.
Published: (2003)
by: Ефимов, Г.Б.
Published: (2003)
Посткибернетика: смена парадигм
by: Теслер, Г.С.
Published: (2006)
by: Теслер, Г.С.
Published: (2006)
Similar Items
-
Про алгебру Ауслендера однієї комутативної напівгрупи скінченного зображувального типу
by: Zubaruk, O. V.; Зубарук О. В.; Київський національний університет ім. Тараса Шевченка, Київ
Published: (2020) -
Грошова модель попиту та пропозиції
by: Алєксєєв, Д.А.
Published: (2004) -
Обчислення $\Sigma$-функції для комутативної нециклічної напівгрупи третього порядку без одиничного і нульового елементів
by: Zubaruk, O. V.; Київський національний університет ім. Тараса Шевченка, Київ
Published: (2022) -
Математическая модель задачи оперативного планирования антиобледенительной обработки самолетов в аэропорту
by: Нелин, О.В.
Published: (2004) -
Імітаційна імовірнісна модель дендрита нейрона
by: Бондаренко, Я.С.
Published: (2006)