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

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

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

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

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

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


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

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

Публікації

Тип
Назва документу
Автори
Рік видання
Джерело
1
Наукова стаття
Семантичні властивості логік загальних недетермінованих предикатів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2017
Штучний інтелект
в.3-4 c.111-121
2
Наукова стаття
Алгебри загальних недетермінованих предикатів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2018
Проблеми програмування
в.1 c.5-21
3
Наукова стаття
Логіки загальних недетермінованих предикатів: семантичні аспекти
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2018
Проблеми програмування
в.2-3 c.31-45
4
Тези
Properties of Logics of General Non-Deterministic Quasiary Predicates
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2018
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
в.32 c.95-96
5
Навчальний посібник
Програмування на Java 8. Навчальний посібник.
Галкін Олександр Володимирович
Катеринич Лариса Олександрівна
Шкільняк Оксана Степанівна
2017
Видавництво "Логос"
6
Наукова стаття
Секвенційні числення композиційно-номінативних модальних логік немонотонних предикатів
Касьянюк Веда Станіславівна
Малютенко Людмила Миколаївна
Шкільняк Оксана Степанівна
2016
Наукові записки НаУКМА
т.190 в.1 c.23-29
7
Наукова стаття
Повнота секвенційних числень модальних логік немонотонних часткових предикатів
Касьянюк Веда Станіславівна
Малютенко Людмила Миколаївна
Шкільняк Оксана Степанівна
2016
Штучний інтелект
в.3 c.92-102
8
Наукова стаття
Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів
Шкільняк Оксана Степанівна
2017
Проблеми програмування
в.1 c.21-29
9
Наукова стаття
Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення
Касьянюк Веда Станіславівна
Малютенко Людмила Миколаївна
Шкільняк Оксана Степанівна
2017
Проблеми програмування
в.2 c.24-39
10
Тези
Секвенційні числення транзиційних модальних логік немонотонних часткових предикатів
Касьянюк Веда Станіславівна
Малютенко Людмила Миколаївна
Шкільняк Оксана Степанівна
2017
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
в.29 c.158-159
11
Тези
Відношення логічного наслідку в логіках монотонних та немонотонних часткових предикатів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2017
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
в.18 c.185
12
Тези
Logics of partial non-deterministic predicates
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2017
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
в.30 c.94-95
13
Тези
Побудова секвенційних числень модальних логік немонотонних часткових предикатів
Шкільняк Оксана Степанівна
2017
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
в.18 c.186
14
Наукова стаття
Модальні логіки немонотонних часткових предикатів
Шкільняк Оксана Степанівна
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.3 c.141-147
15
Наукова стаття
Чисті першопорядкові логіки квазіарних предикатів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2016
Проблеми програмування
в.2-3 (спецвипуск) c.73-86
16
Наукова стаття
Відношення логічного наслідку в логіках квазіарних предикатів
Шкільняк Оксана Степанівна
2016
Проблеми програмування
т.1 c.29-43
17
Тези
Systems of logical reasoning in logics of partial predicates
Касьянюк Веда Станіславівна
Малютенко Людмила Миколаївна
Шкільняк Оксана Степанівна
2016
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.27 c.89
18
Тези
Modal transitional logics of partial quasiary predicates without monotonicity restriction
Шкільняк Оксана Степанівна
2016
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.27 c.148-149
19
Матеріали конференції
Modal Logics of Partial Quasiary Predicates
Шкільняк Оксана Степанівна
2015
Handbook of the World Congress and School on Universal Logic
т.5 c.271
20
Навчальний посібник
Теорія алгоритмів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2015
ВПЦ "Київський університет"
c.1-239
21
Наукова стаття
Транзиційні модальні логіки немонотонних квазіарних предикатів
Шкільняк Оксана Степанівна
2014
Компьютерная математика
т.2 c.99-110
22
Наукова стаття
Семантичні аспекти модальних логік часткових немонотонних предикатів
Шкільняк Оксана Степанівна
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.4 c.238–241
23
Праці конференції
Композиційно-номінативні модальні логіки часткових предикатів без обмеження монотонності
Шкільняк Оксана Степанівна
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.11 c.255-261
24
Праці конференції
Чисті першопорядкові логіки часткових та неоднозначних предикатів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.11 c.182-190
25
Праці конференції
Modal Logics of Partial Predicates without Monotonicity Restriction
Шкільняк Оксана Степанівна
2015
Foundations of Informatics (FOI): International workshop
т.1 c.198-211
26
Тези
Модальні логіки квазіарних предикатів без обмеження монотонності
Шкільняк Оксана Степанівна
2015
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.25 c.144-145
27
Тези
Логіки квазіарних предикатів із узагальненими реномінаціями та предикатами-індикаторами наявності значення для змінних
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2015
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
т.17 c.171
28
Тези
Транзиційні модальні логіки немонотонних часткових предикатів
Шкільняк Оксана Степанівна
2015
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
т.17 c.176
29
Наукова стаття
Транзиційні композиційно-номінативні модальні логіки та їх числення
Шкільняк Оксана Степанівна
2013
Наукові записки НаУКМА. Комп’ютерні науки
т.151 c.48–54
30
Наукова стаття
Секвенційні числення логік часткових предикатів з розширеними реномінаціями
Шкільняк Оксана Степанівна
2013
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.199–204
31
Наукова стаття
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2014
Проблеми програмування
т.2 c.17-28
32
Наукова стаття
V-сингулярні семантичні моделі першопорядкових логік
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.201-210
33
Наукова стаття
V-сингулярні семантичні моделі першо-порядкових логік
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2014
Вісник Київського національного університету імені Тараса Шевченка Серія фіз.-мат. науки
в.2 c.166-171
34
Праці конференції
Модальні логіки часткових немонотонних предикатів
Шкільняк Оксана Степанівна
2014
35
Тези
Cистеми логічного виведення логік часткових предикатів із реномінаціями з невизначеним значенням змінних
Шкільняк Оксана Степанівна
2014
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.23 c.189-190
36
Тези
Першопорядкові логіки, розширені реномінаціями з невизначеним значенням змінних та предикатами-індикаторами наявності значення
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2013
XXII Міжнародна конференція "Problems of Decision Making under Uncertainties" (PDMU-2013), Ялта-Форос, 23-27 вересня 2013 р.
т.1 c.116–117
37
Тези
Транзиційні композиційно-номінативні модальні логіки
Шкільняк Оксана Степанівна
2013
Штучний інтелект. Інтелектуальні системи: матеріали Міжнародної науково-технічної конференції (Кацивелі, Крим, 2013)
c.37–39
38
Тези
Transitional modal logics of non-monotone partial predicates
Шкільняк Оксана Степанівна
2014
XXIV Міжнародна конференція "Problems of Decision Making under Uncertainties" (PDMU-2014), Чеський Рудолец (Чеська республіка), 1-5 вересня 2014 р.
c.90
39
Матеріали конференції
Логіки часткових предикатів із розширеними реномінаціями та предикатами-індикаторами наявності значення
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2013
Глушковські читання: Всеукраїнська науково-практична конференція
c.169-171
40
Наукова стаття
Семантичні аспекти транзиційних композиційно-номінативних модальних логік
Шкільняк Оксана Степанівна
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.281.0000
41
Наукова стаття
Побудова секвенційних числень мультимодальних композиційно-номінативних логік
Шкільняк Оксана Степанівна
2013
Проблеми програмування
c.0.0000
42
Наукова стаття
Mодальные логики частичных предикатов и секвенциальные системы логического вывода в этих логиках
Шкільняк Оксана Степанівна
2013
Information Theories & Applications
т.20 c.367-378
43
Наукова стаття
Секвенційні числення темпоральних і мультимодальних логік часткових предикатів
Шкільняк Оксана Степанівна
2013
Штучний інтелект
c.245.0000
44
Наукова стаття
Логіки часткових предикатів з розширеними реномінаціями та кванторами
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2013
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.210-215
45
Наукова стаття
Семантичні моделі та секвенційні числення транзиційних модальних логік
Шкільняк Оксана Степанівна
2013
Компьютерная математика
т.1 c.141-150
46
Праці конференції
Композиционно-номинативные модальные логики частичных предикатов
Шкільняк Оксана Степанівна
2013
47
Тези
Kомпозиційно-номінативні модальні логіки
Шкільняк Оксана Степанівна
2012
TAAPSD 2012
c.289-294
48
Тези
Розширення логік часткових предикатів реномінаціями з невизначеним значенням
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2013
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.21 c.179-180
49
Тези
Транзиційні модальні логіки часткових предикатів
Шкільняк Оксана Степанівна
2013
Dynamical System Modeling and Stability Investigation: International Conference
c.413
50
Тези
Транзиційні модальні логіки часткових предикатів
Шкільняк Оксана Степанівна
2013
Dynamical System Modeling and Stability Investigation: International Conference
c.413
51
Тези
Kомпозиційно-номінативні логіки з розширеними реномінаціями
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2013
Dynamical System Modeling and Stability Investigation: International Conference
c.407
52
Тези
Розширення логік часткових предикатів реномінаціями з невизначеним значенням імен
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2013
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.21 c.179-180
53
Матеріали конференції
Секвенційні системи логічного виведення композиційно-номінативних модальних логік
Шкільняк Оксана Степанівна
2012
KDS + MeL: Міжнародні конференції
c.30-31
54
Навчальний посібник
Мова UML і проектування
Верес Максим Миколайович
Галкін Олександр Володимирович
Шкільняк Оксана Степанівна
2012
Логос (навчальний посібник)
c.1-122
55
Навчальний посібник
Приклади й задачі з теорії алгоритмів і математичної логіки
Провотар Олександр Іванович
Шкільняк Оксана Степанівна
2012
ВПЦ "Київський університет"
c.1-167
56
Наукова стаття
Kомпозиційно-номінативні мультимодальні логіки
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2011
Штучний інтелект
т.4 c.126-133
57
Наукова стаття
Kомпозиційно-номінативні логіки епістемічного типу
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2011
Наукові записки НаУКМА. Комп’ютерні науки
т.125 c.4-7
58
Наукова стаття
Побудова модальних логік темпорального та епістемічного типу на основі композиційно-номінативного підходу
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2011
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.3 c.204-211
59
Наукова стаття
Двозначні та багатозначні композиційно-номінативні логіки
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.199-206
60
Наукова стаття
Композиційно-номінативні логіки з непрямим іменуванням
Россада Тетяна Володимирівна
Шкільняк Оксана Степанівна
2012
Проблеми програмування
т.2 c.44-49
61
Наукова стаття
Секвенційні числення мультимодальних композиційно-номінативних логік
Шкільняк Оксана Степанівна
2012
Вісник Київського національного університету імені Тараса Шевченка. Кібернетика
т.12 c.55-59
62
Праці конференції
Composition-nominative transition and temporal logics of functional-equation level
Шкільняк Оксана Степанівна
2011
INFORMATICS - International Conference
т.11 c.254-266
63
Тези
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
64
Тези
Багатозначні логіки та двозначні композиційно-номінативні логіки часткових предикатів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2012
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.19 c.179-180
65
Тези
Композиційно-номінативні модальні логіки епістемічного типу
Шкільняк Оксана Степанівна
2012
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.19 c.234-235
66
Автореферат
Дослідження композиційнo-номінативних модальних та темпоральних логік
Шкільняк Оксана Степанівна
2011
Логос
c.1-19
67
Наукова стаття
Секвенційні числення композиційно-номінативних модальних логік функціонально-екваційного рівня
Шкільняк Оксана Степанівна
2011
Проблеми програмування
c.17-28
68
Тези
Композиційно-номінативні модальні логіки часткових предикатів
Шкільняк Оксана Степанівна
2011
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.17 c.184-185
69
Тези
Семантичні моделі композиційно-номінативних модальних логік
Шкільняк Оксана Степанівна
2011
Dynamical System Modeling and Stability Investigation: International Conference
т.15 c.406
70
Тези
Побудова логік мультимодального та епістемічного типу на основі композиційно-номінативного підходу
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2011
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.8 c.129-139
71
Тези
Композиційно-номінативні мультимодальні логіки та їх числення
Шкільняк Оксана Степанівна
2011
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.18 c.161-162

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

Вгору