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

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

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

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

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

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