Зображення обкладинки

Формальна теорія та модель комутативної напівгрупи образних конструкцій

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Математичні машини і системи
Дата:	2011
Автори:	Бісікало, О.В., Тадевосян, Р.Г.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут проблем математичних машин і систем НАН України 2011
Теми:	Обчислювальні системи
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/83623
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Формальна теорія та модель комутативної напівгрупи образних конструкцій / О.В. Бісікало, Р.Г. Тадевосян // Мат. машини і системи. — 2011. — № 4. — С. 39-47. — Бібліогр.: 7 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Про алгебру Ауслендера однієї комутативної напівгрупи скінченного зображувального типу
за авторством: Zubaruk, O. V.; Зубарук О. В.; Київський національний університет ім. Тараса Шевченка, Київ
Опубліковано: (2020)

Грошова модель попиту та пропозиції
за авторством: Алєксєєв, Д.А.
Опубліковано: (2004)

Математическая модель задачи оперативного планирования антиобледенительной обработки самолетов в аэропорту
за авторством: Нелин, О.В.
Опубліковано: (2004)

Імітаційна імовірнісна модель дендрита нейрона
за авторством: Бондаренко, Я.С.
Опубліковано: (2006)

Обчислення $\Sigma$-функції для комутативної нециклічної напівгрупи третього порядку без одиничного і нульового елементів
за авторством: Zubaruk, O. V.; Київський національний університет ім. Тараса Шевченка, Київ
Опубліковано: (2022)

Модель естественного интеллекта и пути реализации задач искусственного интеллекта
за авторством: Косс, В.А.
Опубліковано: (2006)

Математическая модель и стратегия распределения приложений для интеллектуальной памяти распределенных компьютерных систем
за авторством: Яковлев, Ю.С., та інші
Опубліковано: (2009)

Математическая модель функциональной среды РІМ-системы на основе теории нечетких множеств и теории гранулирования
за авторством: Елисеева, Е.В., та інші
Опубліковано: (2009)

Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій
за авторством: Палагін, О.В., та інші
Опубліковано: (2007)

Структура скінченної комутативної інверсної напівгрупи і скінченної в'язки, для яких інверсний моноїд локальних автоморфізмів є переставним
за авторством: Дереч, В.Д.
Опубліковано: (2011)

Архітектурні засади систем моніторингу та прогнозування розвитку епідеміологічних процесів
за авторством: В’юн, В.І., та інші
Опубліковано: (2011)

Архітектурно-онтологічні принципи розбудови інтелектуальних інформаційних систем
за авторством: Палагін, О.В., та інші
Опубліковано: (2006)

Становлення і розвиток теоретичних та науково-практичних засад створення високоінтегрованих мобільних (бортових) обчислювальних машин, систем і комплексів реального часу
за авторством: Мудла, Б.Г.
Опубліковано: (2008)

Концептуальна модель системи образного аналізу і синтезу природно-мовних конструкцій
за авторством: Бісікало, О.В.
Опубліковано: (2013)

Дедуктивні, індуктивні та аналітичні методи подання і обробки комп’ютерних знань в інтелектуальних системах (1. Дедуктивні методи і засоби)
за авторством: Асельдеров, З.М., та інші
Опубліковано: (2003)

Розв'язування жорстких диференціальних рівнянь з використанням методу розвинення функцій в ряди нев'язок
за авторством: Теслер, Г.С., та інші
Опубліковано: (2006)

Інтелектуалізація взаємодії користувача з системою на основі геоінформаційних технологій
за авторством: Білецький, Б.О., та інші
Опубліковано: (2008)

Нова кібернетика та сучасні інформаційні системи управління
за авторством: В’юн, В.І.
Опубліковано: (2006)

Системи імовірнісних залежностей: графові та статистичні властивості
за авторством: Балабанов, О.С.
Опубліковано: (2009)

Аналіз і дослідження алгоритмів експертної системи діагностування енергокомплексу електронно-променевого зварювання
за авторством: Хомініч, О.В.
Опубліковано: (2008)

Воплощенное знание
за авторством: Малышев, О.В.
Опубліковано: (2009)

Адаптивное управление процессом ценообразования на рынке с использованием радиально-базисной функциональной сети
за авторством: Рзаев, Р.Р., та інші
Опубліковано: (2013)

Дослідження паралельних версій алгоритму Флойда-Уоршала для SMP- та MPP-архітектур
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2011)

Конфликты доступа в локальных вычислительных сетях
за авторством: Алишов, Н.И., та інші
Опубліковано: (2006)

Задача теории игр с нечеткой платежной матрицей
за авторством: Серая, О.В., та інші
Опубліковано: (2012)

Об уравнениях типа Буссинеска полностью нелинейных и одного порядка дисперсии: вывод и сравнительный анализ
за авторством: Демченко, Р.И., та інші
Опубліковано: (2009)

Інформаційно-аналітичні технології як інструмент підтримки та забезпечення систем підтримки прийняття рішень на державному рівні
за авторством: Косолапов, В.Л., та інші
Опубліковано: (2007)

"Рада-3" – система підтримки прийняття рішень для законотворчого процесу Верховної Ради України та рад інших рівнів
за авторством: Морозов, А.О., та інші
Опубліковано: (2008)

Гібридний алгоритм узагальненого методу спряжених градієнтів для проблеми власних значень з симетричними розрідженими матрицями
за авторством: Хіміч, О.М., та інші
Опубліковано: (2015)

Математичний формалізм взаємодій медичних квантових нанороботів з квантовими нанооб'єктами та їх моделювання на квантових комп'ютерах
за авторством: Войтович, І.Д., та інші
Опубліковано: (2011)

Методики інтеграції програмної архітектури віртуальної лабораторії MolDynGrid з локальними системами керування завданнями HTCondor та PBS
за авторством: Орда, В.В., та інші
Опубліковано: (2017)

Способ выбора алгоритма разбиения графа для распределенных вычислений
за авторством: Иващенко, В.А., та інші
Опубліковано: (2011)

Генератор випадкових чисел у системі дистанційного контролю знань
за авторством: Заторський, Р.А., та інші
Опубліковано: (2004)

Радиотехнические средства внешнетраекторных измерений
за авторством: Додонов, А.Г., та інші
Опубліковано: (2018)

Наземные оптические, оптико-электронные и лазерно-телевизионные средства траекторных измерений
за авторством: Додонов, А.Г., та інші
Опубліковано: (2017)

Объединение преимуществ пассивной и активной балансировки нагрузки в рамках комплексной системы планирования для динамически распараллеливаемых программ
за авторством: Левченко, Р.И., та інші
Опубліковано: (2010)

Інтегрування гетерогенних геопросторових даних на основі теорії свідчень Демпстера-Шейфера
за авторством: Попов, М.О., та інші
Опубліковано: (2019)

Автоматизация исследований жирности колбасной продукции на соответствие техническим условиям
за авторством: Зайцев, В.Г.
Опубліковано: (2006)

Из истории развития и применения компьютерной алгебры в Институте прикладной математики имени М.В. Келдыша
за авторством: Ефимов, Г.Б.
Опубліковано: (2003)

Посткибернетика: смена парадигм
за авторством: Теслер, Г.С.
Опубліковано: (2006)