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

Перегляд за автором "Нікітченко, М.С."

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

Перегляд за автором "Нікітченко, М.С."

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

  • Чисті першопорядкові квазіaрні логіки з предикатами рівності 
    Нікітченко, М.С.; Шкільняк, C.С. (Проблеми програмування, 2017)
    Вивчаються чистi першопорядковi квазіарні логіки однозначних та неоднозначних часткових предикатів. Основна увага приділена таким логікам із спеціальними предикатами рівності. Виділено чистi першопорядковi логіки з предикатами ...
  • Чисті першопорядкові логіки квазіарних предикатів 
    Нікітченко, М.С.; Шкільняк, О.С.; Шкільняк, С.С. (Проблеми програмування, 2016)
    Досліджено чисті першопорядкові логіки часткових і тотальних, однозначних і неоднозначних квазіарних предикатів. Описано семантичні моделі та мови таких логік, особливу увагу приділено вивченню композиційних предикатних ...