Наукова електронна бібліотека
періодичних видань НАН України

Перегляд Проблеми програмування, 2012, № 2-3 за темою "Теоретичні та методологічні основи програмування"

Репозиторій DSpace/Manakin

Перегляд Проблеми програмування, 2012, № 2-3 за темою "Теоретичні та методологічні основи програмування"

Сортувати за: Порядок: Результатів:

  • Аспекты моделирования в системе Гомеопат 
    Провотар, А.А.; Провотар, О.А. (Проблеми програмування, 2012)
    Рассматриваются вопросы построения нечетких моделей процессов диагностирования в системе Гомеопат и процедур нечеткого логического вывода.
  • Ациклічність та замкненість макрокомпозицій 
    Вінник, В.Ю.; Парфірова, Т.С. (Проблеми програмування, 2012)
    Задачу експлікації проектування програмних систем розглянуто з точки зору сутнісної платформи. Обґрунтовано адекватність вибору ациклічних композицій як базовий засіб експлікації логіки будови проектів. Для ациклічних ...
  • Базові основи індустрії програм, обчислень і даних 
    Лавріщева, К.М. (Проблеми програмування, 2012)
    Дано опис підходів з розвитку індустрії виробництва програм із компонентів повторного використання (КПВ). Запропоновані головні елементи – теоретичні аспекти індустрії програм, обчислень та даних. Розглянуто підхід до ...
  • Дефинитологические основания сущностной платформы 
    Редько, В.Н.; Редько, И.В.; Гришко, В.Н. (Проблеми програмування, 2012)
    Даются экспликации дескриптивной и дефинитной систем. Строятся дефинитологические основания сущностной платформы. Эксплицируется взаимодополнение актуальных и потенциальных, композиционных и декомпозиционных систем. Строятся ...
  • Итеративный подход к анализу естественно-языковых текстов: логический аспект 
    Крывый, С.Л.; Бибиков, Д.С. (Проблеми програмування, 2012)
    Описывается логический подход к анализу естественно языкового текста с целью извлечения знаний. В частности рассматривается использование линейной темпоральной логики для анализа и представления модальностей в таком тексте.
  • Композиційно-номінативні логіки з непрямим іменуванням 
    Россада, Т.В.; Шкільняк, С.С. (Проблеми програмування, 2012)
    Досліджено композиційно-номінативні логіки, базовані на іменних множинах з непрямим іменуванням. Запропоновано та досліджено операції над такими множинами, зокрема, операції реномінації. На цій основі побудована логіка ...
  • О структурних элементах компонентной сети Петри 
    Лукьянова, Е.А. (Проблеми програмування, 2012)
    Рассмотрены вопросы конструирования и работы структурных элементов компонентной сети Петри (CN-сети). Такими структурными элементами являются составные компоненты: компоненты-места и компоненты переходы. От эффективного ...
  • Секвенційні числення композиційно-номінотивних логік квазіарних предикатів 
    Шкільняк, С.С. (Проблеми програмування, 2012)
    Побудовано секвенційні числення першопорядкових композиційно-номінативних логік часткових однозначних, тотальних неодно-значних та часткових неоднозначних квазіарних предикатів кванторного рівня. Такі числення запропоновано ...

Пошук


Розширений пошук

Перегляд

Мій обліковий запис