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

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

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

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

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

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


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

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

Публікації

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

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

Вгору