Автори, співробітники Університету

Шкільняк Оксана Степанівна
Oksana S. Shkilniak

Ідентифікатор автора: 43704
Author Identifier Number Scopus: 57190873266 →
Кількість пошукових запитів автора: 942

Підрозділ: Факультет комп'ютерних наук та кібернетики
Кафедра/Відділ: Інтелектуальних програмних систем
Посада: доцент

Науковий ступінь: кандидат
Наукове звання: доцент
Наукові інтереси: логіко-математичні засоби специфікації програм / математична логіка / теоретичні аспекти програмування /

Публікаційна активність


Всього публікацій у базі - 85, з них наукових статей (наукові публікації) - 36, монографій - 0, підручників - 0, навчальних посібників - 4, тез (наукові публікації) - 30, матеріалів конференцій (наукові публікації) - 3

Всього публікацій у Scopus (affiliation - Taras Shevchenko National University of Kyiv) - 4

Публікації

Тип
Назва документу
Автори
Рік видання
Джерело
1
Наукова стаття
Program-Oriented Logics of Renominative Level with Extended Renomination and Equality
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2020
Communications in Computer and Information Science
т.1175 c.68-88
2
Наукова стаття
7-значні логіки та логіки загальних недетермінованих предикатів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2018
Штучний інтелект
в.2 c.110-121
3
Наукова стаття
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
Мамедов Тогрул Алірзайович
2019
Проблеми програмування
в.1 c.3-13
4
Наукова стаття
Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
Мамедов Тогрул Алірзайович
2019
Computer Science Journal of Moldova
т.27 в.2(80) c.162-187
5
Наукова стаття
Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів
Шкільняк Оксана Степанівна
2019
Проблеми програмування
в.1 c.14-26
6
Наукова стаття
Відношення логічного наслідку в логіках часткових предикатів з композицією предикатного доповнення
Шкільняк Оксана Степанівна
2019
Проблеми програмування
в.3 c.11-27
7
Праці конференції
Чисті першопорядкові логіки квазіарних предикатів з композицією предикатного доповнення
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2019
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
в.19 c.371-373
8
Праці конференції
Program Logics Based on Algebras with the Composition of Predicate Complement
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2019
Advanced Computer Information Technologies (ACIT): Міжнародна конференція
в.9 c.285-288
9
Праці конференції
Program Logics of Renominative Level with the Composition of Predicate Complement
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2019
ICT in Education, Research and Industrial Applications: Integration, Harmonization, and Knowledge Transfer (ICTERI): Міжнародна конференція
т.2 в.15 c.603-616
10
Праці конференції
Completeness of the Logic of Partial Quasiary Predicates with the Complement Composition
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
Мамедов Тогрул Алірзайович
2019
Mathematical Foundations of Informatics (MFOI): Міжнародна конференція
в.5 c.187-202
11
Праці конференції
Першопорядкові логіки часткових предикатів з композицією предикатного доповнення
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2019
Логіка та її застосування (UCLA): Українська наукова конференція
в.1 c.56-68
12
Тези
Algebras of General Non-Deterministic Predicates
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2019
Logic and its Applications: The workshop [Електронний ресурс] - Режим доступу: http://logic.net.ua/sites/default/files/Book%20of%20Abstracts.pdf
в.1 c.11-12
13
Тези
Sequent calculi for logics with composition of predicate complement
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
Мамедов Тогрул Алірзайович
2019
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
в.33 c.67-69
14
Тези
First-order logics of partial predicates with composition of predicate complement
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2019
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
в.34 c.77-78
15
Наукова стаття
Семантичні властивості логік загальних недетермінованих предикатів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2017
Штучний інтелект
в.3-4 c.111-121
16
Наукова стаття
Алгебри загальних недетермінованих предикатів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2018
Проблеми програмування
в.1 c.5-21
17
Наукова стаття
Логіки загальних недетермінованих предикатів: семантичні аспекти
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2018
Проблеми програмування
в.2-3 c.31-45
18
Тези
Properties of Logics of General Non-Deterministic Quasiary Predicates
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2018
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
в.32 c.95-96
19
Навчальний посібник
Програмування на Java 8. Навчальний посібник.
Галкін Олександр Володимирович
Катеринич Лариса Олександрівна
Шкільняк Оксана Степанівна
2017
Видавництво "Логос"
20
Наукова стаття
Секвенційні числення композиційно-номінативних модальних логік немонотонних предикатів
Касьянюк Веда Станіславівна
Шкільняк Оксана Степанівна
2016
Наукові записки НаУКМА. Комп’ютерні науки
т.190 в.1 c.23-29
21
Наукова стаття
Повнота секвенційних числень модальних логік немонотонних часткових предикатів
Касьянюк Веда Станіславівна
Шкільняк Оксана Степанівна
2016
Штучний інтелект
в.3 c.92-102
22
Наукова стаття
Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів
Шкільняк Оксана Степанівна
2017
Проблеми програмування
в.1 c.21-29
23
Наукова стаття
Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення
Касьянюк Веда Станіславівна
Шкільняк Оксана Степанівна
2017
Проблеми програмування
в.2 c.24-39
24
Тези
Секвенційні числення транзиційних модальних логік немонотонних часткових предикатів
Касьянюк Веда Станіславівна
Шкільняк Оксана Степанівна
2017
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
в.29 c.158-159
25
Тези
Відношення логічного наслідку в логіках монотонних та немонотонних часткових предикатів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2017
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
в.18 c.185
26
Тези
Logics of partial non-deterministic predicates
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2017
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
в.30 c.94-95
27
Тези
Побудова секвенційних числень модальних логік немонотонних часткових предикатів
Шкільняк Оксана Степанівна
2017
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
в.18 c.186
28
Наукова стаття
Модальні логіки немонотонних часткових предикатів
Шкільняк Оксана Степанівна
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.3 c.141-147
29
Наукова стаття
Чисті першопорядкові логіки квазіарних предикатів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2016
Проблеми програмування
в.2-3 (спецвипуск) c.73-86
30
Наукова стаття
Відношення логічного наслідку в логіках квазіарних предикатів
Шкільняк Оксана Степанівна
2016
Проблеми програмування
т.1 c.29-43
31
Тези
Systems of logical reasoning in logics of partial predicates
Касьянюк Веда Станіславівна
Шкільняк Оксана Степанівна
2016
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.27 c.89
32
Тези
Modal transitional logics of partial quasiary predicates without monotonicity restriction
Шкільняк Оксана Степанівна
2016
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.27 c.148-149
33
Матеріали конференції
Modal Logics of Partial Quasiary Predicates
Шкільняк Оксана Степанівна
2015
Handbook of the World Congress and School on Universal Logic
т.5 c.271
34
Навчальний посібник
Теорія алгоритмів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2015
ВПЦ "Київський університет"
c.1-239
35
Наукова стаття
Транзиційні модальні логіки немонотонних квазіарних предикатів
Шкільняк Оксана Степанівна
2014
Компьютерная математика
т.2 c.99-110
36
Наукова стаття
Семантичні аспекти модальних логік часткових немонотонних предикатів
Шкільняк Оксана Степанівна
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.4 c.238–241
37
Праці конференції
Композиційно-номінативні модальні логіки часткових предикатів без обмеження монотонності
Шкільняк Оксана Степанівна
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.11 c.255-261
38
Праці конференції
Чисті першопорядкові логіки часткових та неоднозначних предикатів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.11 c.182-190
39
Праці конференції
Modal Logics of Partial Predicates without Monotonicity Restriction
Шкільняк Оксана Степанівна
2015
Foundations of Informatics (FOI): International workshop
т.1 c.198-211
40
Тези
Модальні логіки квазіарних предикатів без обмеження монотонності
Шкільняк Оксана Степанівна
2015
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.25 c.144-145
41
Тези
Логіки квазіарних предикатів із узагальненими реномінаціями та предикатами-індикаторами наявності значення для змінних
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2015
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
т.17 c.171
42
Тези
Транзиційні модальні логіки немонотонних часткових предикатів
Шкільняк Оксана Степанівна
2015
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
т.17 c.176
43
Наукова стаття
Транзиційні композиційно-номінативні модальні логіки та їх числення
Шкільняк Оксана Степанівна
2013
Наукові записки НаУКМА. Комп’ютерні науки
т.151 c.48–54
44
Наукова стаття
Секвенційні числення логік часткових предикатів з розширеними реномінаціями
Шкільняк Оксана Степанівна
2013
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.199–204
45
Наукова стаття
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2014
Проблеми програмування
т.2 c.17-28
46
Наукова стаття
V-сингулярні семантичні моделі першопорядкових логік
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.201-210
47
Наукова стаття
V-сингулярні семантичні моделі першо-порядкових логік
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
в.2 c.166-171
48
Праці конференції
Модальні логіки часткових немонотонних предикатів
Шкільняк Оксана Степанівна
2014
49
Тези
Cистеми логічного виведення логік часткових предикатів із реномінаціями з невизначеним значенням змінних
Шкільняк Оксана Степанівна
2014
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.23 c.189-190
50
Тези
Першопорядкові логіки, розширені реномінаціями з невизначеним значенням змінних та предикатами-індикаторами наявності значення
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2013
XXII Міжнародна конференція "Problems of Decision Making under Uncertainties" (PDMU-2013), Ялта-Форос, 23-27 вересня 2013 р.
т.1 c.116–117
51
Тези
Транзиційні композиційно-номінативні модальні логіки
Шкільняк Оксана Степанівна
2013
Штучний інтелект. Інтелектуальні системи: матеріали Міжнародної науково-технічної конференції (Кацивелі, Крим, 2013)
c.37–39
52
Тези
Transitional modal logics of non-monotone partial predicates
Шкільняк Оксана Степанівна
2014
XXIV Міжнародна конференція "Problems of Decision Making under Uncertainties" (PDMU-2014), Чеський Рудолец (Чеська республіка), 1-5 вересня 2014 р.
c.90
53
Матеріали конференції
Логіки часткових предикатів із розширеними реномінаціями та предикатами-індикаторами наявності значення
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2013
Глушковські читання: Всеукраїнська науково-практична конференція
c.169-171
54
Наукова стаття
Семантичні аспекти транзиційних композиційно-номінативних модальних логік
Шкільняк Оксана Степанівна
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.281.0000
55
Наукова стаття
Побудова секвенційних числень мультимодальних композиційно-номінативних логік
Шкільняк Оксана Степанівна
2013
Проблеми програмування
c.0.0000
56
Наукова стаття
Mодальные логики частичных предикатов и секвенциальные системы логического вывода в этих логиках
Шкільняк Оксана Степанівна
2013
Information Theories & Applications
т.20 c.367-378
57
Наукова стаття
Секвенційні числення темпоральних і мультимодальних логік часткових предикатів
Шкільняк Оксана Степанівна
2013
Штучний інтелект
c.245.0000
58
Наукова стаття
Логіки часткових предикатів з розширеними реномінаціями та кванторами
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2013
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.210-215
59
Наукова стаття
Семантичні моделі та секвенційні числення транзиційних модальних логік
Шкільняк Оксана Степанівна
2013
Компьютерная математика
т.1 c.141-150
60
Праці конференції
Композиционно-номинативные модальные логики частичных предикатов
Шкільняк Оксана Степанівна
2013
61
Тези
Kомпозиційно-номінативні модальні логіки
Шкільняк Оксана Степанівна
2012
TAAPSD 2012
c.289-294
62
Тези
Розширення логік часткових предикатів реномінаціями з невизначеним значенням
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2013
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.21 c.179-180
63
Тези
Транзиційні модальні логіки часткових предикатів
Шкільняк Оксана Степанівна
2013
Dynamical System Modeling and Stability Investigation: International Conference
c.413
64
Тези
Транзиційні модальні логіки часткових предикатів
Шкільняк Оксана Степанівна
2013
Dynamical System Modeling and Stability Investigation: International Conference
c.413
65
Тези
Kомпозиційно-номінативні логіки з розширеними реномінаціями
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2013
Dynamical System Modeling and Stability Investigation: International Conference
c.407
66
Тези
Розширення логік часткових предикатів реномінаціями з невизначеним значенням імен
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2013
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.21 c.179-180
67
Матеріали конференції
Секвенційні системи логічного виведення композиційно-номінативних модальних логік
Шкільняк Оксана Степанівна
2012
KDS + MeL: Міжнародні конференції
c.30-31
68
Навчальний посібник
Мова UML і проектування
Верес Максим Миколайович
Галкін Олександр Володимирович
Шкільняк Оксана Степанівна
2012
Логос (навчальний посібник)
c.1-122
69
Навчальний посібник
Приклади й задачі з теорії алгоритмів і математичної логіки
Провотар Олександр Іванович
Шкільняк Оксана Степанівна
2012
ВПЦ "Київський університет"
c.1-167
70
Наукова стаття
Kомпозиційно-номінативні мультимодальні логіки
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2011
Штучний інтелект
т.4 c.126-133
71
Наукова стаття
Kомпозиційно-номінативні логіки епістемічного типу
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2011
Наукові записки НаУКМА. Комп’ютерні науки
т.125 c.4-7
72
Наукова стаття
Побудова модальних логік темпорального та епістемічного типу на основі композиційно-номінативного підходу
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2011
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.3 c.204-211
73
Наукова стаття
Двозначні та багатозначні композиційно-номінативні логіки
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.199-206
74
Наукова стаття
Композиційно-номінативні логіки з непрямим іменуванням
Шкільняк Оксана Степанівна
2012
Проблеми програмування
т.2 c.44-49
75
Наукова стаття
Секвенційні числення мультимодальних композиційно-номінативних логік
Шкільняк Оксана Степанівна
2012
Вісник Київського національного університету імені Тараса Шевченка. Кібернетика
т.12 c.55-59
76
Праці конференції
Composition-nominative transition and temporal logics of functional-equation level
Шкільняк Оксана Степанівна
2011
INFORMATICS - International Conference
т.11 c.254-266
77
Тези
Logical means of dynamic and information systems description taking into consideration uncertainty and incompleteness
Шкільняк Оксана Степанівна
2012
XX Міжнародна конференція "Problems of Decision Making under Uncertainties" (PDMU-2012)
c.116-117
78
Тези
Багатозначні логіки та двозначні композиційно-номінативні логіки часткових предикатів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2012
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.19 c.179-180
79
Тези
Композиційно-номінативні модальні логіки епістемічного типу
Шкільняк Оксана Степанівна
2012
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.19 c.234-235
80
Автореферат
Дослідження композиційнo-номінативних модальних та темпоральних логік
Шкільняк Оксана Степанівна
2011
Логос
c.1-19
81
Наукова стаття
Секвенційні числення композиційно-номінативних модальних логік функціонально-екваційного рівня
Шкільняк Оксана Степанівна
2011
Проблеми програмування
c.17-28
82
Тези
Композиційно-номінативні модальні логіки часткових предикатів
Шкільняк Оксана Степанівна
2011
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.17 c.184-185
83
Тези
Семантичні моделі композиційно-номінативних модальних логік
Шкільняк Оксана Степанівна
2011
Dynamical System Modeling and Stability Investigation: International Conference
т.15 c.406
84
Тези
Побудова логік мультимодального та епістемічного типу на основі композиційно-номінативного підходу
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2011
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.8 c.129-139
85
Тези
Композиційно-номінативні мультимодальні логіки та їх числення
Шкільняк Оксана Степанівна
2011
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.18 c.161-162

Повернення до списку

Вгору