Модификация метаязыка нормальных форм знаний
Набор базовых отношений метаязыка нормальных форм знаний (альтернатива, конкатенация, отрицание и итерация) расширен двумя новыми отношениями: обязательности (не нулевым числом повторений), необязательности некоторой структуры и структурными скобками. Введение новых отношений выполнено описанием их...
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2019 |
| Main Author: | Кургаев, А.Ф. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2019
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/161493 |
| 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: | Модификация метаязыка нормальных форм знаний / А.Ф. Кургаев // Проблеми програмування. — 2019. — № 3. — С. 3-10. — Бібліогр.: 9 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Описание списков и множеств в метаязыке нормальных форм знаний
by: Кургаев, А.Ф.
Published: (2020)
by: Кургаев, А.Ф.
Published: (2020)
Расширение метаязыка нормальных форм знаний
by: Кургаев, А.Ф.
Published: (2020)
by: Кургаев, А.Ф.
Published: (2020)
Метаязык нормальных форм знаний
by: Кургаев, А.Ф., et al.
Published: (2016)
by: Кургаев, А.Ф., et al.
Published: (2016)
Формализация списков в метаязыке нормальных форм знаний
by: Кургаев, А.Ф.
Published: (2017)
by: Кургаев, А.Ф.
Published: (2017)
Определение формальных языков в метаязыке нормальных форм знаний
by: Кургаев, А.Ф., et al.
Published: (2017)
by: Кургаев, А.Ф., et al.
Published: (2017)
Аспекты моделирования в системе Гомеопат
by: Провотар, А.А., et al.
Published: (2012)
by: Провотар, А.А., et al.
Published: (2012)
Метод извлечения логики поведения из промышленного программного кода на языке Кобол
by: Губа, А.А., et al.
Published: (2016)
by: Губа, А.А., et al.
Published: (2016)
О методе проектирования абстрактного типа данных в алгебре алгоритмики
by: Дорошенко, А.Е., et al.
Published: (2012)
by: Дорошенко, А.Е., et al.
Published: (2012)
О некоторых подходах к вычислению неопределенностей
by: Провотар, А.И., et al.
Published: (2010)
by: Провотар, А.И., et al.
Published: (2010)
Объектно-компонентная разработка изменяемых программных систем
by: Лаврищева, Е.М., et al.
Published: (2016)
by: Лаврищева, Е.М., et al.
Published: (2016)
Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем
by: Колчин, А.В.
Published: (2008)
by: Колчин, А.В.
Published: (2008)
Мультимножества: обзор библиографии, построение решетки мультимножеств
by: Богатырева, Ю.А.
Published: (2010)
by: Богатырева, Ю.А.
Published: (2010)
Формализация: алгоритмический подход
by: Провотар, А.И.
Published: (2008)
by: Провотар, А.И.
Published: (2008)
О структурних элементах компонентной сети Петри
by: Лукьянова, Е.А.
Published: (2012)
by: Лукьянова, Е.А.
Published: (2012)
Актуальные проблемы современной арифметики с плавающей запятой
by: Ющенко, Р.А.
Published: (2012)
by: Ющенко, Р.А.
Published: (2012)
Возведение в степень n и вычисление корня степени n больших чисел на основе рекуррентных соотношений
by: Терещенко, А.Н.
Published: (2015)
by: Терещенко, А.Н.
Published: (2015)
Полнота алгебры алгоритмов с данными
by: Акуловский, В.Г., et al.
Published: (2016)
by: Акуловский, В.Г., et al.
Published: (2016)
Состав и свойства данных, специфицируемых в композиционных схемах алгоритмов
by: Акуловский, В.Г., et al.
Published: (2013)
by: Акуловский, В.Г., et al.
Published: (2013)
Согласованное описание алгоритмов в рамках алгебраического аппарата
by: Акуловский, В.Г., et al.
Published: (2014)
by: Акуловский, В.Г., et al.
Published: (2014)
Отображение дескриптивной логики ALC в бинарную реляционную структуру данных
by: Резниченко, В.А., et al.
Published: (2015)
by: Резниченко, В.А., et al.
Published: (2015)
Алгебра алгоритмов с данными и прогнозирование вычислительного процесса
by: Дорошенко, А.Е., et al.
Published: (2011)
by: Дорошенко, А.Е., et al.
Published: (2011)
Интеграция семейства расширенных дескриптивных логик с реляционной моделью данных
by: Резниченко, В.А., et al.
Published: (2016)
by: Резниченко, В.А., et al.
Published: (2016)
Описание параллелизма в алгоритмах информационно-управляющих систем средствами алгебраического аппарата
by: Акуловский, В.Г., et al.
Published: (2013)
by: Акуловский, В.Г., et al.
Published: (2013)
n- исчисление – реалистичная формализация класса переписывающих систем
by: Шевченко, Р.С., et al.
Published: (2011)
by: Шевченко, Р.С., et al.
Published: (2011)
Построение и преобразование операций и некоторых алгоритмических конструкций алгебры алгоритмов с данными
by: Дорошенко, А.Е., et al.
Published: (2011)
by: Дорошенко, А.Е., et al.
Published: (2011)
Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python
by: Новокшонов, А.К.
Published: (2016)
by: Новокшонов, А.К.
Published: (2016)
Дослідження паралельного алгоритму побудови діаграми Вороного на площині
by: Березовський, К.А.
Published: (2009)
by: Березовський, К.А.
Published: (2009)
Керування синтезом нейронних мереж
by: Катеринич, Л.А.
Published: (2009)
by: Катеринич, Л.А.
Published: (2009)
Аналітичний огляд підходів до інтеграції програмних систем
by: Дивак, Ю.А.
Published: (2021)
by: Дивак, Ю.А.
Published: (2021)
Засіб вимірювання метрик вихідного коду FORTRAN за допомогою синтаксичного аналізу
by: Покровський, А.М.
Published: (2021)
by: Покровський, А.М.
Published: (2021)
Гібридний алгоритм методу Ньютона для розв’язування систем нелінійних рівнянь з блочними матрицями Якобі
by: Хіміч, О.М., et al.
Published: (2020)
by: Хіміч, О.М., et al.
Published: (2020)
Алгебраическое проектирование программ: алгоритмы, объекты, инструменты
by: Дорошенко, А.Е., et al.
Published: (2007)
by: Дорошенко, А.Е., et al.
Published: (2007)
Концептуальні моделі розподілених компонентних систем
by: Лавріщева, К.М., et al.
Published: (2013)
by: Лавріщева, К.М., et al.
Published: (2013)
Management of the coordination process in socio-technical system
by: Girchenko, L.A., et al.
Published: (2020)
by: Girchenko, L.A., et al.
Published: (2020)
Композиційно-номінативні логіки з операторами нерухомої точки
by: Нікітченко, М.С., et al.
Published: (2008)
by: Нікітченко, М.С., et al.
Published: (2008)
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення
by: Нікітченко, М.С., et al.
Published: (2019)
by: Нікітченко, М.С., et al.
Published: (2019)
Програмування в обмеженнях у системі інсерційного моделювання
by: Летичевський, О.А., et al.
Published: (2011)
by: Летичевський, О.А., et al.
Published: (2011)
Дефинитологические основания сущностной платформы
by: Редько, В.Н., et al.
Published: (2012)
by: Редько, В.Н., et al.
Published: (2012)
DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 1
by: Колесник, В.Г.
Published: (2015)
by: Колесник, В.Г.
Published: (2015)
Программологические основания сущностной платформы
by: Редько, В.Н., et al.
Published: (2008)
by: Редько, В.Н., et al.
Published: (2008)
Similar Items
-
Описание списков и множеств в метаязыке нормальных форм знаний
by: Кургаев, А.Ф.
Published: (2020) -
Расширение метаязыка нормальных форм знаний
by: Кургаев, А.Ф.
Published: (2020) -
Метаязык нормальных форм знаний
by: Кургаев, А.Ф., et al.
Published: (2016) -
Формализация списков в метаязыке нормальных форм знаний
by: Кургаев, А.Ф.
Published: (2017) -
Определение формальных языков в метаязыке нормальных форм знаний
by: Кургаев, А.Ф., et al.
Published: (2017)