Buchumschlag

Формализация: алгоритмический подход

Рассматриваются вопросы формализации задач из различных предметных областей. Предлагается алгоритмический подход к формализации. Questions of formalization of problems from various subject domains are considered. The algorithmic approach to formalization is proposed....

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2008
ISSN:	1727-4907
1. Verfasser:	Провотар, А.И.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут програмних систем НАН України 2008
Schlagworte:	Теоретичні та методологічні основи програмування
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/821
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:	Формализация: алгоритмический подход / А.И. Провотар // Пробл. програмув. — 2008. — N 2-3. — С. 37-40. — Бібліогр.: 10 назв. — рус.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

n- исчисление – реалистичная формализация класса переписывающих систем
von: Шевченко, Р.С., et al.
Veröffentlicht: (2011)

О некоторых подходах к вычислению неопределенностей
von: Провотар, А.И., et al.
Veröffentlicht: (2010)

Аспекты моделирования в системе Гомеопат
von: Провотар, А.А., et al.
Veröffentlicht: (2012)

Елементи конкретної алгоритміки: обчислюваність і розв’язність
von: Провотар, О.І., et al.
Veröffentlicht: (2020)

Итеративный подход к анализу естественно-языковых текстов: логический аспект
von: Крывый, С.Л., et al.
Veröffentlicht: (2012)

Про локальну коректність формальних визначень
von: Провотар, О.І.
Veröffentlicht: (2006)

Аналіз систем нечіткої логіки для апроксимації нечітких функцій
von: Щегельський, Т.С., et al.
Veröffentlicht: (2012)

Про нові методи опису невизначених величин
von: Провотар, О.І., et al.
Veröffentlicht: (2012)

Порівняння ефективності підходів Map-Reduce і акторної моделі при розв’язанні завдань з високою зв'язністю вхідних даних на прикладі задачі оптимізації рою часток
von: Ларін, В.О., et al.
Veröffentlicht: (2021)

Отображение дескриптивной логики ALC в бинарную реляционную структуру данных
von: Резниченко, В.А., et al.
Veröffentlicht: (2015)

Интеграция семейства расширенных дескриптивных логик с реляционной моделью данных
von: Резниченко, В.А., et al.
Veröffentlicht: (2016)

Экзистенциальный базис дескриптивных сред
von: Редько, И.В.
Veröffentlicht: (2008)

Функциональная эффективность нечетко специфицированных алгоритмов
von: Шинкаренко, В.И.
Veröffentlicht: (2006)

Внешние множественные операции табличной алгебры бесконечных таблиц
von: Глушко, И.М.
Veröffentlicht: (2016)

Временная оценка операций обработки структурированных данных с учетом конвейеризации и кэширования
von: Шинкаренко, В.И.
Veröffentlicht: (2006)

Интенсиональные основания дескриптивных сред
von: Редько, И.В.
Veröffentlicht: (2006)

Прагматические основания дескриптивных сред
von: Редько, И.В.
Veröffentlicht: (2005)

Дескриптивные среды: интеграционные основания
von: Редько, И.В.
Veröffentlicht: (2006)

Конструктивное представление множественных объектов и их свойства
von: Ильман, В.М., et al.
Veröffentlicht: (2014)

Конструктивно-продукционная модель графового представления текста
von: Шинкаренко, В.И., et al.
Veröffentlicht: (2016)

Программологические основания сущностной платформы
von: Редько, В.Н., et al.
Veröffentlicht: (2008)

Дефинитологические основания сущностной платформы
von: Редько, В.Н., et al.
Veröffentlicht: (2012)

Дескриптологические основания сущностной платформы
von: Редько, В.Н., et al.
Veröffentlicht: (2010)

Конструкционно-продукционная модель структур данных на логическом уровне
von: Шинкаренко, В.И., et al.
Veröffentlicht: (2014)

Дескриптивные системы: концептуальный базис
von: Редько, В.Н., et al.
Veröffentlicht: (2006)

Метод извлечения логики поведения из промышленного программного кода на языке Кобол
von: Губа, А.А., et al.
Veröffentlicht: (2016)

О методе проектирования абстрактного типа данных в алгебре алгоритмики
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2012)

Объектно-компонентная разработка изменяемых программных систем
von: Лаврищева, Е.М., et al.
Veröffentlicht: (2016)

Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем
von: Колчин, А.В.
Veröffentlicht: (2008)

Описание списков и множеств в метаязыке нормальных форм знаний
von: Кургаев, А.Ф.
Veröffentlicht: (2020)

Мультимножества: обзор библиографии, построение решетки мультимножеств
von: Богатырева, Ю.А.
Veröffentlicht: (2010)

Актуальные проблемы современной арифметики с плавающей запятой
von: Ющенко, Р.А.
Veröffentlicht: (2012)

Модификация метаязыка нормальных форм знаний
von: Кургаев, А.Ф.
Veröffentlicht: (2019)

Возведение в степень n и вычисление корня степени n больших чисел на основе рекуррентных соотношений
von: Терещенко, А.Н.
Veröffentlicht: (2015)

О структурних элементах компонентной сети Петри
von: Лукьянова, Е.А.
Veröffentlicht: (2012)

Полнота алгебры алгоритмов с данными
von: Акуловский, В.Г., et al.
Veröffentlicht: (2016)

Состав и свойства данных, специфицируемых в композиционных схемах алгоритмов
von: Акуловский, В.Г., et al.
Veröffentlicht: (2013)

Согласованное описание алгоритмов в рамках алгебраического аппарата
von: Акуловский, В.Г., et al.
Veröffentlicht: (2014)

Алгебра алгоритмов с данными и прогнозирование вычислительного процесса
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2011)

Описание параллелизма в алгоритмах информационно-управляющих систем средствами алгебраического аппарата
von: Акуловский, В.Г., et al.
Veröffentlicht: (2013)