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

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

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

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

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

  • Нікітченко, М.С.; Шкільняк, О.С.; Шкільняк, C.С. (Проблеми програмування, 2018)
    Запропоновано та досліджено логіки загальних недетермінованих квазіарних предикатів – GND-предикатів. Такі предикати є узагальненням часткових неоднозначних предикатів реляційного типу. Основна увага приділена побудові ...
  • Нікітченко, М.С.; Шишацька, О.В. (Проблеми програмування, 2018)
    Запропоновано та досліджено програмно-орієнтовані п’ятизначні логіки двох рівнів: пропозиційну п’ятизначну логіку та логіку п’ятизначних квазіарних предикатів. Такі логіки природним чином виникають при розгляді систем, у ...

Пошук


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

Перегляд

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