Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

Наукова періодика України - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
у знайденому
Повнотекстовий пошук
 Знайдено в інших БД:Книжкові видання та компакт-диски (14)Журнали та продовжувані видання (3)Автореферати дисертацій (1)Реферативна база даних (39)Авторитетний файл імен осіб (1)
Список видань за алфавітом назв:
A  B  C  D  E  F  G  H  I  J  L  M  N  O  P  R  S  T  U  V  W  
А  Б  В  Г  Ґ  Д  Е  Є  Ж  З  И  І  К  Л  М  Н  О  П  Р  С  Т  У  Ф  Х  Ц  Ч  Ш  Щ  Э  Ю  Я  

Авторський покажчик    Покажчик назв публікацій


Пошуковий запит: (<.>A=Нікітченко М$<.>)
Загальна кількість знайдених документів : 22
Представлено документи з 1 до 20
...
1.

Нікітченко М. С. 
Логіки квазіарних предикатів кванторно-екваційного рівня [Електронний ресурс] / М. С. Нікітченко, С. С. Шкільняк // Проблеми програмування. - 2012. - № 4. - С. 19-34. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2012_4_4
Досліджено першопорядкові композиційно-номінативні логіки часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів кванторно-екваційного рівня. Наведено основні семантичні властивості таких логік, зокрема, властивості відношень логічного наслідку для множин формул, X - Y-означених відношень логічного наслідку. На цій основі для логік однозначних квазіарних предикатів кванторно-екваційного рівня побудовано числення секвенційного типу.
Попередній перегляд:   Завантажити - 585.595 Kb    Зміст випуску    Реферативна БД     Цитування
2.

Нікітченко М. С. 
Алгебри багатозначних предикатів стабільних відносно відношення толерантності [Електронний ресурс] / М. С. Нікітченко, Ю. І. Потапенко // Вісник Київського національного університету імені Тараса Шевченка. Серія : Фізико-математичні науки. - 2013. - Вип. 1. - С. 211-214. - Режим доступу: http://nbuv.gov.ua/UJRN/VKNU_fiz_mat_2013_1_39
Досліджено клас багатозначних предикатів стабільних відносно відношення толерантності. Областю значень предикатів є повна решітка з інволюцією. Будується алгебра таких предикатів, знаходиться система її твірних, а також визначається нормальна форма її елементів.
Попередній перегляд:   Завантажити - 296.952 Kb    Зміст випуску    Реферативна БД     Цитування
3.

Нікітченко М. С. 
Логіки часткових предикатів з розширеними реномінаціями та кванторами [Електронний ресурс] / М. С. Нікітченко, О. С. Шкільняк, С. С. Шкільняк // Вісник Київського національного університету імені Тараса Шевченка. Серія : Фізико-математичні науки. - 2013. - Вип. 2. - С. 210-215. - Режим доступу: http://nbuv.gov.ua/UJRN/VKNU_fiz_mat_2013_2_39
Запропоновано нові класи першопорядкових композиційно-номінативних логік часткових квазіарних предикатів. Характерною їх особливістю є використання композицій розширеної реномінації (перейменування) та розширеної квантифікації, що надає змогу явно задавати відсутність значення для предметних імен. Описано основні семантичні властивості цих логік.
Попередній перегляд:   Завантажити - 222.083 Kb    Зміст випуску    Реферативна БД     Цитування
4.

Нікітченко М. С. 
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями [Електронний ресурс] / М. С. Нікітченко, О. С. Шкільняк, С. С. Шкільняк // Проблеми програмування. - 2014. - № 2-3. - С. 17-28. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2014_2-3_3
Досліджено першопорядкові композиційно-номінативні логіки часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів. Запропоновано розширення цих логік узагальненими реномінаціями та спеціальними предикатами-індикаторами наявності значення для предметних змінних. Описано мови та семантичні моделі таких логік, досліджено їх семантичні властивості, зокрема, властивості відношень логічного наслідку.
Попередній перегляд:   Завантажити - 677.353 Kb    Зміст випуску    Реферативна БД     Цитування
5.

Нікітченко М. С. 
Спеціальні секвенційні числення чистих композиційно-номінативних логік першого порядку [Електронний ресурс] / М. С. Нікітченко, С. С. Шкільняк // Вісник Київського національного університету імені Тараса Шевченка. Кібернетика. - 2012. - Вип. 12. - С. 38-45. - Режим доступу: http://nbuv.gov.ua/UJRN/VKNU_Kib_2012_12_10
Попередній перегляд:   Завантажити - 434.586 Kb    Зміст випуску     Цитування
6.

Нікітченко М. С. 
Чисті першопорядкові логіки квазіарних предикатів [Електронний ресурс] / М. С. Нікітченко, О. С. Шкільняк, С. С. Шкільняк // Проблеми програмування. - 2016. - № 2-3(спец. вип.). - С. 73-86. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2016_2-3(spets
Досліджено чисті першопорядкові логіки часткових і тотальних, однозначних і неоднозначних квазіарних предикатів. Описано семантичні моделі та мови таких логік, особливу увагу приділено вивченню композиційних предикатних алгебр і класів інтерпретацій (семантик), відношень логічного наслідку для множин формул. Для таких відношень побудовано низку числень секвенцій ного типу, характерною особливістю цих числень є розширені умови замкненості секвенції та оригінальні форми елімінації кванторів.
Попередній перегляд:   Завантажити - 790.64 Kb    Зміст випуску    Реферативна БД     Цитування
7.

Нікітченко М. С. 
Числення секвенційного типу для перевірки виконуваності в логіках квазіарних предикатів [Електронний ресурс] / М. С. Нікітченко, С. С. Шкільняк // Вісник Київського національного університету імені Тараса Шевченка. Кібернетика. - 2015. - Вип. 1. - С. 30-38. - Режим доступу: http://nbuv.gov.ua/UJRN/VKNU_Kib_2015_1_9
Попередній перегляд:   Завантажити - 415.822 Kb    Зміст випуску     Цитування
8.

Нікітченко М. С. 
Алгебри квазіарних та бі-квазіарних реляцій [Електронний ресурс] / М. С. Нікітченко, С. С. Шкільняк // Проблеми програмування. - 2016. - № 1. - С. 17-28. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2016_1_3
Запропоновано поняття квазіарної реляції (відношення), введено операції над такими реляціями, описано алгебри квазіарних реляцій. Доведено ізоморфізм алгебри квазіарних реляцій та першопорядкової алгебри тотальних однозначних квазіарних предикатів. Побудовано алгебри бі-квазіарних реляцій, задані на множинах пар квазіарних реляцій. Визначено різні підкласи таких алгебр та досліджено їх зв'язки з алгебрами часткових однозначних, тотальних неоднозначних, часткових неоднозначних, моно- та антитонних квазіарних предикатів.
Попередній перегляд:   Завантажити - 737.231 Kb    Зміст випуску    Реферативна БД     Цитування
9.

Нікітченко М. С. 
Першопорядкові логіки із квазіарними та n-арними предикатами [Електронний ресурс] / М. С. Нікітченко, С. С. Шкільняк // Наукові записки НаУКМА. Комп'ютерні науки. - 2016. - Т. 190. - С. 16-22. - Режим доступу: http://nbuv.gov.ua/UJRN/NaUKMAkn_2016_190_6
Попередній перегляд:   Завантажити - 934.142 Kb    Зміст випуску     Цитування
10.

Нікітченко М. С. 
Вироджені семантичні моделі першопорядкових логік [Електронний ресурс] / М. С. Нікітченко, С. С. Шкільняк // Вісник Київського національного університету імені Тараса Шевченка. Серія : Фізико-математичні науки. - 2014. - Вип. 1. - С. 169-173. - Режим доступу: http://nbuv.gov.ua/UJRN/VKNU_fiz_mat_2014_1_36
Досліджено семантичні моделі першопорядкових логік квазіарних предикатів із порожньою предметною областю. Описано вироджені алгебри та вироджені композиційні системи. Розглянуто композиції функцій і предикатів, заданих на порожній множині, досліджено особливості композицій квантифікації.
Попередній перегляд:   Завантажити - 164.25 Kb    Зміст випуску    Реферативна БД     Цитування
11.

Нікітченко М. С. 
V-сингулярні семантичні моделі першопорядкових логік [Електронний ресурс] / М. С. Нікітченко, O. С. Шкільняк, С. С. Шкільняк // Вісник Київського національного університету імені Тараса Шевченка. Серія : Фізико-математичні науки. - 2014. - Вип. 2. - С. 166-171. - Режим доступу: http://nbuv.gov.ua/UJRN/VKNU_fiz_mat_2014_2_33
Досліджено семантичні моделі першопорядкових логік V-квазіарних предикатів із 1-елементними предметними областями - V-сингулярні семантичні моделі. Описано квазіарні функції та предикати, задані на V-сингулярних іменних множинах, такі функції та предикати названі V-сингулярними. Розглянуто композиції V-сингулярних функцій та предикатів. Досліджено підкласи монотонних V-сингулярних функцій та предикатів, наведено особливості однозначних монотонних V-сингулярних предикатів.
Попередній перегляд:   Завантажити - 173.992 Kb    Зміст випуску    Реферативна БД     Цитування
12.

Нікітченко М. С. 
Композиція побудови умови за прообразом у монотонних логіках Флойда-Хоара [Електронний ресурс] / М. С. Нікітченко, А. В. Криволап // Вісник Київського національного університету імені Тараса Шевченка. Серія : Фізико-математичні науки. - 2014. - Вип. 3. - С. 166-171. - Режим доступу: http://nbuv.gov.ua/UJRN/VKNU_fiz_mat_2014_3_34
Розглянуто програмні логіки з монотонною композицією Флойда - Хоара. Наведено визначення перетворювача предикатів - композиції побудови умови за прообразом для випадку зазначених вище програмних логік з частковими предикатами. Розглянуто основні композиції програмного рівня за винятком циклічної композиції. Для цих композицій подано формули, що надають змогу обчислити умову за прообразом за допомогою синтаксичних перетворень. Доведено, що одержані таким чином предикати будуть дійсно задовольняти визначенню композиції побудови умови за прообразом. Показано як використовуючи відповідні перетворювачі предикатів, можна звести проблему пошуку спростування трійки Флойда - Хоара в програмній логіці до пошуку спростування формули предикатної логіки.
Попередній перегляд:   Завантажити - 227.09 Kb    Зміст випуску    Реферативна БД     Цитування
13.

Нікітченко М. С. 
Чисті першопорядкові квазіaрні логіки з предикатами рівності [Електронний ресурс] / М. С. Нікітченко, С. С. Шкільняк // Проблеми програмування. - 2017. - № 2. - С. 3-23. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2017_2_3
Попередній перегляд:   Завантажити - 1.147 Mb    Зміст випуску     Цитування
14.

Нікітченко М. С. 
Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти [Електронний ресурс] / М. С. Нікітченко, С. С. Шкільняк // Штучний інтелект. - 2016. - № 2. - С. 18-27. - Режим доступу: http://nbuv.gov.ua/UJRN/II_2016_2_4
Попередній перегляд:   Завантажити - 633.348 Kb    Зміст випуску     Цитування
15.

Нікітченко М. С. 
Алгебри загальних недетермінованих предикатів [Електронний ресурс] / М. С. Нікітченко, О. С. Шкільняк, С. С. Шкільняк // Проблеми програмування. - 2018. - № 1. - С. 5-21. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2018_1_3
Запропоновано та досліджено логіки загальних недетермінованих квазіарних предикатів - GND-предикатів. Такі предикати є узагальненням часткових неоднозначних предикатів реляційного типу. Увагу приділено побудові композиційних алгебр GND-предикатів. Виділено різновиди GND-предикатів, показано їх зв'язок із 7-значними тотальними детермінованими предикатами. Виділено 7-елементну алгебру істиннісних значень цих предикатів, описано усі її підалгебри. Такі підалгебри індукують відповідні алгебри GND-предикатів. Описано мови чистих першопорядкових логік GND-предикатів та їх інтерпретації. Введено та досліджено відношення логічного G-наслідку.
Попередній перегляд:   Завантажити - 1.146 Mb    Зміст випуску    Реферативна БД     Цитування
16.

Нікітченко М. С. 
Семантичні властивості п’ятизначних логік [Електронний ресурс] / М. С. Нікітченко, О. В. Шишацька // Проблеми програмування. - 2018. - № 1. - С. 22-35. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2018_1_4
Попередній перегляд:   Завантажити - 1.416 Mb    Зміст випуску     Цитування
17.

Нікітченко М. С. 
Семантичні властивості логік загальних недетермінованих предикатів [Електронний ресурс] / М. С. Нікітченко, О. С. Шкільняк, С. С. Шкільняк // Штучний інтелект. - 2017. - № 3-4. - С. 116-126. - Режим доступу: http://nbuv.gov.ua/UJRN/II_2017_3-4_15
Попередній перегляд:   Завантажити - 1.009 Mb    Зміст випуску     Цитування
18.

Нікітченко М. С. 
Логіки загальних недетермінованих предикатів: cемантичні аспекти [Електронний ресурс] / М. С. Нікітченко, О. С. Шкільняк, С. С. Шкільняк // Проблеми програмування. - 2018. - № 2-3. - С. 31-45. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2018_2-3_5
Попередній перегляд:   Завантажити - 664.176 Kb    Зміст випуску     Цитування
19.

Нікітченко М. С. 
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення [Електронний ресурс] / М. С. Нікітченко, О. С. Шкільняк, С. С. Шкільняк, Т. А. Мамедов // Проблеми програмування. - 2019. - № 1. - С. 3-13. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2019_1_3
Попередній перегляд:   Завантажити - 732.972 Kb    Зміст випуску     Цитування
20.

Нікітченко М. С. 
7-значнi логіки та логіки загальних недетермінованих предикатів [Електронний ресурс] / М. С. Нікітченко, О. С. Шкільняк, С. С. Шкільняк // Штучний інтелект. - 2018. - № 2. - С. 110-121. - Режим доступу: http://nbuv.gov.ua/UJRN/II_2018_2_15
Попередній перегляд:   Завантажити - 1.048 Mb    Зміст випуску     Цитування
...
 
Відділ наукової організації електронних інформаційних ресурсів
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського