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

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

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

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

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

  • Нікітченко, М.С.; Шкільняк, О.С.; Шкільняк, C.С. (Проблеми програмування, 2018)
    Запропоновано та досліджено логіки загальних недетермінованих квазіарних предикатів – GND-предикатів. Такі предикати є узагальненням часткових неоднозначних предикатів реляційного типу. Основна увага приділена побудові ...
  • Нікітченко, М.С.; Шкільняк, С.С. (Проблеми програмування, 2016)
    Запропоновано поняття квазіарної реляції (відношення), введено операції над такими реляціями, описано алгебри квазіарних реляцій. Доведено ізоморфізм алгебри квазіарних реляцій та першопорядкової алгебри тотальних однозначних ...
  • Нікітченко, М.С.; Шкільняк, С.С. (2004)
    Запропонована ієрархія композиційно-номінативних логік. Такі логіки будуються в семантико-синтаксичному стилі на основі композиційно номінативного підходу. Місце логіки в ієрархії визначається рівнем абстракції розгляду ...
  • Нікітченко, М.С.; Шкільняк, С.С. (2007)
    Запропоновано інтенсіонально-орієнтований підхід до визначення основних понять логіки. Розглянуто інтенсіонали понять даного, функції та композиції. Введено поняття номінату (номінативного даного) та розглянуто його зв'язки ...
  • Нікітченко, М.С.; Шкільняк, С.С. (2003)
    Пропонуються логіки, орієнтовані на специфікації програм. Логіки будуються в семантико-синтаксичному стилі на основі композиційно-номінативного підходу. Перша з них (неокласична композиційна логіка) є логікою еквітонних ...
  • Нікітченко, М.С.; Шкільняк, С.С.; Антонова, І.А. (2008)
    Розглянуто застосування операторів побудови нерухомої та Т-нерухомої точок для композиційно-номінативних логік різних рівнів абстракції. Оператори побудови нерухомих точок можна розглядати і як метакомпозиції, які за ...
  • Нікітченко, М.С.; Шкільняк, С.С. (2010)
    Будуються нові логіки, які дозволяють більш адекватно описувати властивості предикатів та функцій, визначених над ієрархічними даними. Характерною властивістю цих логік є використання в їх мовах складних імен. Вивчаються ...
  • Нікітченко, М.С.; Шкільняк, С.С. (2004)
    Предикати над даними з неповною інформацією уточнюються як еквісумісні та локально-еквісумісні предикати. Запропоновані композиційно-номінативні логіки еквісумісних та локально-еквісумісних предикатів, що є природними ...
  • Нікітченко, М.С.; Шкільняк, О.С.; Шкільняк, С.С. (Проблеми програмування, 2018)
    Досліджено семантичні аспекти нового класу програмно-орієнтованих логічних формалізмів – логік загальних недетермінованих квазіарних предикатів, або GND-предикатів. Виділено різновиди таких предикатів, досліджено властивості ...
  • Нікітченко, М.С.; Шкільняк, С.С. (Штучний інтелект, 2016)
    Запропоновано новий клас програмно-орієнтованих логічних формалізмів – чисті першопорядкові логіки із квазіарними та n-арними предикатами. Вони є синтезом класичних першопорядкових логік та композиційно-номінативних логік ...
  • Нікітченко, М.С.; Шкільняк, С.С. (Проблеми програмування, 2012)
    Досліджено першопорядкові композиційно-номінативні логіки часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів кванторно-екваційного рівня. Наведено основні семантичні властивості ...
  • Нікітченко, М.С.; Шкільняк, С.С. (2003)
    Пропонуються композиційно-номінативні логіки локально-еквітонних предикатів. Такі логіки зберігають основні дедуктивні властивості класичних логік, але мають значно багатший клас моделей. Вивчаються семантичні властивості ...
  • Нікітченко, М.С.; Шкільняк, С.С.; Омельчук, Л.Л. (2006)
    Розглянуті композиційно-номінативні логіки, орієнтовані на специфікації програм. Такі логіки будуються в семантико- синтаксичному стилі на основі композиційно-номінативного підходу. Пропонується спектр композиційно-номінативних ...
  • Нікітченко, М.С.; Шкільняк, О.С.; Шкільняк, С.С. (Проблеми програмування, 2014)
    Досліджено першопорядкові композиційно-номінативні логіки часткових однозначних, тотальних неоднозначних та часткових не-однозначних квазіарних предикатів. Запропоновано розширення цих логік узагальненими реномінаціями та ...
  • Нікітченко, М.С.; Шкільняк, О.С.; Шкільняк, C.С.; Мамедов, Т.А. (Проблеми програмування, 2019)
    Досліджено нові програмно-орієнтовані логічні формалізми – логіки часткових предикатів з операцією (композицією) предикатного доповненням, названі LC. Подібні операції використовуються в різних варіантах логік Флойда – ...
  • Нікітченко, М.С.; Шишацька, О.В. (Проблеми програмування, 2018)
    Запропоновано та досліджено програмно-орієнтовані п’ятизначні логіки двох рівнів: пропозиційну п’ятизначну логіку та логіку п’ятизначних квазіарних предикатів. Такі логіки природним чином виникають при розгляді систем, у ...
  • Нікітченко, М.С.; Іванов, Є.В. (2010)
    Розглядається проблема поведінки програм щодо структурних трансформацій вхідних даних. Проведено уточнення проблеми та її формалізацію в рамках композиційно-номінативного підходу. Досліджено введені поняття та побудовано ...
  • Нікітченко, М.С.; Шкільняк, C.С. (Проблеми програмування, 2017)
    Вивчаються чистi першопорядковi квазіарні логіки однозначних та неоднозначних часткових предикатів. Основна увага приділена таким логікам із спеціальними предикатами рівності. Виділено чистi першопорядковi логіки з предикатами ...
  • Нікітченко, М.С.; Шкільняк, О.С.; Шкільняк, С.С. (Проблеми програмування, 2016)
    Досліджено чисті першопорядкові логіки часткових і тотальних, однозначних і неоднозначних квазіарних предикатів. Описано семантичні моделі та мови таких логік, особливу увагу приділено вивченню композиційних предикатних ...