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

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

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

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

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

  • Алгебри квазіарних та бі-квазіарних реляцій 
    Нікітченко, М.С.; Шкільняк, С.С. (Проблеми програмування, 2016)
    Запропоновано поняття квазіарної реляції (відношення), введено операції над такими реляціями, описано алгебри квазіарних реляцій. Доведено ізоморфізм алгебри квазіарних реляцій та першопорядкової алгебри тотальних однозначних ...
  • Відношення логічного наслідку в логіках квазіарних предикатів 
    Шкільняк, О.С. (Проблеми програмування, 2016)
    Вивчаються відношення логічного наслідку в логіках тотальних однозначних, часткових однозначних, тотальних неоднозначних та часткових неоднозначних предикатів. Поряд із розглянутими раніше відношеннями типів T, F, TF, IR, ...
  • Объектно-компонентная разработка изменяемых программных систем 
    Лаврищева, Е.М.; Слабоспицкая, О.А.; Стеняшин, А.Ю.; Колесник, А.Л. (Проблеми програмування, 2016)
    Объектно-компонентный метод (ОКМ) моделирования программных систем Лаврищевой – Грищенко развит согласованными моделями вариабельности систем и их вариантной конфигурационной сборки из компонентов, а также алгеброй операций ...

Пошук


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

Перегляд

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