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

Алгебро-алгоритмические средства проектирования знаний предметных областей

Розвинуто теорію клонів у напрямку формалізації алгоритмічних знань в предметних областях. Коротко представлено клон Поста, алгоритмічні клони Дейкстри, Глушкова, граф-схеми Калужніна, клон Кліні регулярних виразів, а також клон Кодда n-відношень з різними операціями суперпозиції. Клон n-відношень ф...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Кибернетика и системный анализ
Дата:	2009
Автори:	Цейтлин, Г.Е., Захария, Л.М.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2009
Теми:	Кибернетика
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/44478
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Алгебро-алгоритмические средства проектирования знаний предметных областей / Г.Е. Цейтлин, Л.М. Захария // Кибернетика и системный анализ. — 2009. — № 6. — С. 13-23. — Бібліогр.: 11 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

Алгебро-алгоритмические аспекты полноты: абстракции, биология и экология
за авторством: Цейтлин, Г.Е.
Опубліковано: (2008)

Модели знаний для предметных областей учебных курсов
за авторством: Любченко, В.В.
Опубліковано: (2008)

Высокоуровневые средства автоматизации проектирования параллельных алгоритмов
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2009)

Алгоритмические аспекты определения функций глубины в процедуре выбора оптимальной гипотезы для задач классификации данных
за авторством: Галкин, А.А.
Опубліковано: (2016)

Использование онтологий как моделей предметных областей
за авторством: Межуев, В.И.
Опубліковано: (2009)

Особенности компьютерного моделирования предметных областей и систем
за авторством: Межуев, В.И.
Опубліковано: (2010)

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

Новые средства альтернативной коммуникации для людей с ограниченными возможностями
за авторством: Кривонос, Ю.Г., та інші
Опубліковано: (2016)

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

Моделирование предметных областей для адаптивных систем поддержки принятия решений
за авторством: Карканица, А.В., та інші
Опубліковано: (2018)

Методика разработки и средства формализации функциональных спецификаций систем и устройств
за авторством: Годлевский, А.Б., та інші
Опубліковано: (2016)

Метод автоматического построения онтологических баз знаний. III. Автоматическая генерация таксономии как основы онтологии
за авторством: Марченко, А.А.
Опубліковано: (2016)

Метод автоматического построения онтологических баз знаний. I. Разработка семантико-синтаксической модели естественного языка
за авторством: Марченко, А.А.
Опубліковано: (2016)

Метод автоматического построения онтологических баз знаний. II. Автоматическое определение семантических отношений в онтологической сети
за авторством: Марченко, А.А.
Опубліковано: (2016)

Инструментальные средства проектирования параллельных программ
за авторством: Буза, М.К.
Опубліковано: (2010)

Алгеброалгоритмические аспекты полноты: абстракции, биология и экология
за авторством: Цейтлин, Г.Е., та інші
Опубліковано: (2008)

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

Концептуальные подходы к структуре информационной системы проверки знаний в медицинском образовании
за авторством: Марценюк, В.П., та інші
Опубліковано: (2009)

Алгебраическое проектирование программ: алгоритмы, объекты, инструменты
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2007)

Методы и средства компьютерного проектирования в сети Интернет
за авторством: Baranov, V. V., та інші
Опубліковано: (2008)

Алгебро-динамические модели для распараллеливания программ
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2010)

Программно-алгоритмические методы повышения точности компьютерных решений
за авторством: Николаевская, Е.А., та інші
Опубліковано: (2009)

О построении клонов алгебр функциональных n-отношенеий
за авторством: Захария, Л.М., та інші
Опубліковано: (2006)

Онтологические и алгеброалгоритмические средства автоматизации проектирования параллельных программ для «облачных» платформ
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2017)

Информационная технология и инструментальные средства поддержки процессов исследовательского проектирования Smart-систем
за авторством: Палагин, А.В., та інші
Опубліковано: (2018)

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

Теория непрерывных задач оптимального разбиения множеств как универсальный математический аппарат построения диаграммы Вороного и ее обобщений. II. Алгоритмы построения диаграмм Вороного на основе теории оптимального разбиения множеств
за авторством: Киселева, Е.М., та інші
Опубліковано: (2015)

Теория непрерывных задач оптимального разбиения множеств как универсальный математический аппарат построения диаграммы Вороного и ее обобщений. I. Теоретические основы
за авторством: Киселева, Е.М., та інші
Опубліковано: (2015)

Сборочное программирование. Теория и практика
за авторством: Лаврищева, Е.М.
Опубліковано: (2009)

Программная инженерия — научная и инженерная дисциплина
за авторством: Лаврищева, Е.М.
Опубліковано: (2008)

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

Алгоритм формирования электронной цифровой подписи с возможностью обнаружения и исправления ошибки
за авторством: Бияшев, Р.Г., та інші
Опубліковано: (2012)

Алгоритм декомпозиции геометрических объектов в 2D-задачах упаковки и раскроя
за авторством: Стоян, Ю.Г., та інші
Опубліковано: (2011)

Построение гамильтонова пути в графах перестановочных многогранников
за авторством: Донец, Г.А., та інші
Опубліковано: (2010)

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

Построение экспоненциальной оценки в компартментной системе с распределенными запаздываниями: подход на основе неравенства Хейла–Лунелла
за авторством: Марценюк, В.П., та інші
Опубліковано: (2013)

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

Сжатие изображений на основе нейронной сети ART
за авторством: Руденко, О.Г., та інші
Опубліковано: (2008)

Новый подход к декомпозиции булевых функций. 4. Неразделительная декомпозиция: метод p,q-разбиения
за авторством: Рыцар, Б.Е.
Опубліковано: (2009)

О гомоморфизме компонентной сети Петри
за авторством: Лукьянова, Е.А.
Опубліковано: (2014)