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

Шкільняк Степан Степанович
Shkilniak Stepan

Ідентифікатор автора: 43705
Author Identifier Number Scopus: 36646762300 →
ResearcherID, Web of Science: Q-9472-2016 →
Кількість пошукових запитів автора: 991
Інформація про автора в енциклопедії університету (eu.univ.kiev.ua) →

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

Науковий ступінь: доктор
Наукове звання: професор

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


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

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

Публікації

Тип
Назва документу
Автори
Рік видання
Джерело
1
Наукова стаття
7-значні логіки та логіки загальних недетермінованих предикатів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2018
Штучний інтелект
в.2 c.110-121
2
Наукова стаття
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
Мамедов Тогрул Алірзайович
2019
Проблеми програмування
в.1 c.3-13
3
Наукова стаття
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
4
Наукова стаття
Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності
Шкільняк Степан Степанович
2019
Проблеми програмування
в.3 c.28-44
5
Праці конференції
Чисті першопорядкові логіки квазіарних предикатів з композицією предикатного доповнення
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2019
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
в.19 c.371-373
6
Праці конференції
Program Logics Based on Algebras with the Composition of Predicate Complement
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2019
Advanced Computer Information Technologies (ACIT): Міжнародна конференція
в.9 c.285-288
7
Праці конференції
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
8
Праці конференції
Completeness of the Logic of Partial Quasiary Predicates with the Complement Composition
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
Мамедов Тогрул Алірзайович
2019
Mathematical Foundations of Informatics (MFOI): Міжнародна конференція
в.5 c.187-202
9
Тези
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
10
Тези
Sequent calculi for logics with composition of predicate complement
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
Мамедов Тогрул Алірзайович
2019
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
в.33 c.67-69
11
Тези
First-order logics of partial predicates with composition of predicate complement
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2019
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
в.34 c.77-78
12
Наукова стаття
Семантичні властивості логік загальних недетермінованих предикатів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2017
Штучний інтелект
в.3-4 c.111-121
13
Наукова стаття
Алгебри загальних недетермінованих предикатів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2018
Проблеми програмування
в.1 c.5-21
14
Наукова стаття
Логіки загальних недетермінованих предикатів: семантичні аспекти
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2018
Проблеми програмування
в.2-3 c.31-45
15
Наукова стаття
Extended Classical Logics with Quasiary Predicates
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2018
Handbook of the World Congress and School on Universal Logic
в.6 c.538-539
16
Наукова стаття
Completeness Theorems for Program-oriented Logics of Partial Quasiary Predicates
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2017
Coleção CLE
в.Vol.81 - Aftermath of the Logical Paradise c.203-251
17
Праці конференції
Towards Representation of Free Logic as Logic of Partial Quasiary Predicates
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2018
Mathematical Foundations of Informatics (MFOI): Міжнародна конференція
в.2018 c.180-189
18
Праці конференції
Satisfiability Problems in Quasiary Program Logics
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2018
Advanced Computer Information Technologies (ACIT): Міжнародна конференція
в.8 c.175-178
19
Тези
Properties of Logics of General Non-Deterministic Quasiary Predicates
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2018
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
в.32 c.95-96
20
Наукова стаття
Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2016
Штучний інтелект
в.4 c.103-110
21
Наукова стаття
Першопорядкові логіки із квазіарними та n-арними предикатами
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2016
Наукові записки НаУКМА. Комп’ютерні науки
т.190 c.16-22
22
Наукова стаття
Чисті першопорядкові квазіaрні логіки з предикатами рівності
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2017
Проблеми програмування
в.2 c.263-278
23
Наукова стаття
Algebras and logics of partial quasiary predicates
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2017
Algebra and Discrete Mathematics
т.23 в.2 c.263-278
24
Наукова стаття
Логіки безкванторно-функціональних рівнів
Шкільняк Степан Степанович
Волковицький Дмитро Борисович
2016
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
в.3 c.117-122
25
Наукова стаття
Секвенційні числення логік безкванторно-функціональних рівнів
Шкільняк Степан Степанович
Волковицький Дмитро Борисович
2016
Штучний інтелект
в.4 c.50-62
26
Праці конференції
Program-oriented logics of non-determonistic quasiary predicates
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2017
Наукові записки НаУКМА. Комп’ютерні науки
c.137-140
27
Тези
Multy-relational algebras as semantics of quasiary logics
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2017
The 11th International Algebraic Conference in Ukraine dedicated to the 75th anniversary of V. V. Kirichenko
c.90
28
Тези
Відношення логічного наслідку в логіках монотонних та немонотонних часткових предикатів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2017
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
в.18 c.185
29
Тези
Logics of partial non-deterministic predicates
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2017
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
в.30 c.94-95
30
Тези
Cистеми логічного виведення логік часткових предикатів безкванторних рівнів
Шкільняк Степан Степанович
Волковицький Дмитро Борисович
2017
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
в.29 c.196-197
31
Тези
Побудова числень секвенційного типу в логіках реномінативних та безкванторно-функціональних рівнів
Шкільняк Степан Степанович
Волковицький Дмитро Борисович
2017
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
в.18 c.187
32
Наукова стаття
Безкванторно-функціональні логіки часткових квазіарних предикатів
Шкільняк Степан Степанович
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
в.3 c.148-154
33
Наукова стаття
Исчисления секвенциального типа для проверки выполнимости в логиках квазиарных предикатов
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2015
Вісник Київського національного університету імені Тараса Шевченка. Кібернетика
в.1 (15) c.30-37
34
Наукова стаття
Чисті першопорядкові логіки квазіарних предикатів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2016
Проблеми програмування
в.2-3 (спецвипуск) c.73-86
35
Наукова стаття
Композиційно-номінативні логіки безкванторних рівнів
Шкільняк Степан Степанович
2016
Проблеми програмування
в.2-3 (спецвипуск) c.48-62
36
Наукова стаття
Алгебри квазіарних та бі-квазіарних реляцій
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2016
Проблеми програмування
в.1 c.17-28
37
Наукова стаття
Реномінативні логіки квазіарних предикатів
Шкільняк Степан Степанович
2016
Компьютерная математика
в.1 c.46-57
38
Наукова стаття
Системи логічного виведення в логіках безкванторно-функціональних рівнів
Шкільняк Степан Степанович
2016
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.155-160
39
Тези
Quantifier-free functional and renominative logics of partial predicates
Шкільняк Степан Степанович
2016
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.27 c.149-151
40
Матеріали конференції
Logics of Non-Deterministic Quasiary Predicates
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2015
Handbook of the World Congress and School on Universal Logic
т.5 c.329-330
41
Навчальний посібник
Теорія алгоритмів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2015
ВПЦ "Київський університет"
c.1-239
42
Наукова стаття
Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2015
Computer Science Journal of Moldova
т.23 c.102-122
43
Наукова стаття
Числення секвенційного типу для перевірки виконуваності в логіках квазіарних предикатів
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2015
Вісник Київського національного університету імені Тараса Шевченка. Кібернетика
т.1 в.15 c.30-38
44
Праці конференції
Чисті першопорядкові логіки часткових та неоднозначних предикатів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.11 c.182-190
45
Праці конференції
Безкванторні композиційно-номінативні логіки функціональних рівнів
Шкільняк Степан Степанович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.11 c.262-269
46
Праці конференції
Алгебри квазіарних відношень
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.11 c.174-181
47
Праці конференції
Анализ строения множества именных множеств
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.11 c.133-137
48
Праці конференції
Реноминативные и безкванторные логики частичных квазиарных предикатов
Шкільняк Степан Степанович
2014
Научная дискуссия: вопросы математики, физики, химии, биологии: Международная заочная научно-практическая конференция
т.23 c.6-10
49
Праці конференції
Semantic Properties of Logics of Quasiary Predicates
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2015
Foundations of Informatics (FOI): International workshop
т.1 c.180-197
50
Тези
Безкванторно-функціональні логіки часткових предикатів
Шкільняк Степан Степанович
2015
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.25 c.145-146
51
Тези
Безкванторні композиційно-номінативні логіки квазіарних предикатів
Шкільняк Степан Степанович
2015
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
т.17 c.177
52
Тези
Логіки квазіарних предикатів із узагальненими реномінаціями та предикатами-індикаторами наявності значення для змінних
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2015
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
т.17 c.171
53
Матеріали конференції
Безкванторні логіки часткових квазіарних предикатів
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2014
Теорія прийняття рішень: міжнародна школа-семінар
т.7 c.184-185
54
Матеріали конференції
Реномінативні логіки часткових квазіарних предикатів з рівністю
Шкільняк Степан Степанович
2014
XXIII Міжнародна конференція "Problems of Decision Making under Uncertainties" (PDMU-2014), Мукачево, 12-16 травня 2014 р.
т.23 c.190-191
55
Матеріали конференції
Logics of partial and multi-valued predicates with extended renominations
Шкільняк Степан Степанович
2014
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.24 c.91
56
Наукова стаття
Вироджені семантичні моделі першопорядкових логік
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.169-173
57
Наукова стаття
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2014
Проблеми програмування
т.2 c.17-28
58
Наукова стаття
V-сингулярні семантичні моделі першопорядкових логік
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.201-210
59
Наукова стаття
Композиційно-номінативні логіки часткових та неоднозначних предикатів
Шкільняк Степан Степанович
2014
Компьютерная математика
т.1 c.93-102
60
Наукова стаття
Реномінативні композиційно-номінативні логіки з предикатами рівності
Шкільняк Степан Степанович
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.3 c.156-163
61
Наукова стаття
V-сингулярні семантичні моделі першо-порядкових логік
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2014
Вісник Київського національного університету імені Тараса Шевченка Серія фіз.-мат. науки
в.2 c.166-171
62
Праці конференції
Алгебри квазіарних відношень та їх властивості
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2014
International Conference KDS-2014 “International Models of Knowledge”
т.20 c.80-86
63
Тези
Першопорядкові логіки, розширені реномінаціями з невизначеним значенням змінних та предикатами-індикаторами наявності значення
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2013
XXII Міжнародна конференція "Problems of Decision Making under Uncertainties" (PDMU-2013), Ялта-Форос, 23-27 вересня 2013 р.
т.1 c.116–117
64
Тези
Алгебри квазіарних відношень та їх властивості
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2014
International conference knowledge-Dialogue-Solution
в.20 c.78
65
Матеріали конференції
Логіки часткових предикатів із розширеними реномінаціями та предикатами-індикаторами наявності значення
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2013
Глушковські читання: Всеукраїнська науково-практична конференція
c.169-171
66
Матеріали конференції
Нетрадиционные семантики логик первого порядка
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2013
Смирновские чтения по логике: Международная научная конференция
т.8 c.24-25
67
Навчальний посібник
Прикладна логіка
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2013
ВПЦ "Київський університет"
c.1-278
68
Наукова стаття
Логіки часткових предикатів з розширеними реномінаціями та кванторами
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2013
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.210-215
69
Наукова стаття
Властивості відношень логічного наслідку в логіках квазіарних предикатів
Шкільняк Степан Степанович
2013
Штучний інтелект
т.1 c.67-78
70
Наукова стаття
Семантичні властивості логік часткових предикатів з розширеними реномінаціями
Шкільняк Степан Степанович
2013
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.3 c.297-302
71
Наукова стаття
Спектр секвенційних числень першопорядкових композиційно-номінативних логік
Шкільняк Степан Степанович
2013
Проблеми програмування
т.3 c.22-37
72
Наукова стаття
Побудова секвенційних числень логік квазіарних предикатів першого порядку
Шкільняк Степан Степанович
2013
Штучний інтелект
т.4 c.62-73
73
Наукова стаття
Cемантические свойства и секвенциальные исчисления чистых композиционно-номинативных логик первого порядка
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2013
Information Theories & Applications
т.20 c.379-390
74
Наукова стаття
Сильний логічний наслідок в логіках квазіарних предикатів та секвенційні числення для його формалізації
Шкільняк Степан Степанович
2013
Вісник Київського національного університету імені Тараса Шевченка. Кібернетика
т.1 c.63-70
75
Наукова стаття
Композиційно-номінативні логіки із спеціальними предикатами наявності значення для змінних
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2013
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.128-133
76
Наукова стаття
Секвенційні системи логічного виведення першопорядкових логік часткових предикатів
Шкільняк Степан Степанович
2013
Компьютерная математика
т.2 c.88-96
77
Наукова стаття
Числення секвенційного типу для чистих першопорядкових логік квазіарних предикатів
Шкільняк Степан Степанович
2013
Наукові записки НаУКМА. Комп’ютерні науки
т.151 c.24-31
78
Праці конференції
Developing a Hierarchy of Composition-Nominative Logics
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2013
Handbook of the World Congress and School on Universal Logic
c.135-137
79
Праці конференції
Completeness Theorems for Program-oriented Algebra-based Logics of Partial Quasiary Predicates
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2013
Handbook of the World Congress and School on Universal Logic
c.227
80
Праці конференції
Composition-Nominative Logics of Partial Quasiary Functions and Predicates
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2013
Handbook of the World Congress and School on Universal Logic
c.335-337
81
Праці конференції
Первопорядковые композиционно-номинативные логики частичных предикатов
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2013
82
Праці конференції
Секвенційні числення логік квазіарних предикатів першого порядку
Шкільняк Степан Степанович
2013
Штучний інтелект. Інтелектуальні системи: матеріали Міжнародної науково-технічної конференції (Кацивелі, Крим, 2013)
c.40-43
83
Тези
Розширення логік часткових предикатів реномінаціями з невизначеним значенням
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2013
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.21 c.179-180
84
Тези
Kомпозиційно-номінативні логіки з розширеними реномінаціями
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2013
Dynamical System Modeling and Stability Investigation: International Conference
c.407
85
Тези
Розширення логік часткових предикатів реномінаціями з невизначеним значенням імен
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2013
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.21 c.179-180
86
Тези
Вироджені моделі логік часткових квазіарних предикатів
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2013
Dynamical System Modeling and Stability Investigation: International Conference
c.408
87
Тези
Композиційно-номінативні логіки часткових предикатів
Шкільняк Степан Степанович
2013
Міжнародна конференція присвячена 90-річчу від дня народження академіка В.М. Глушкова “Сучасна інформатика: проблеми, досягнення та перспективи розвитку”
c.42-44
88
Матеріали конференції
Kомпозиційно-номінативні логіки квазіарних предикатів
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2012
TAAPSD 2012
c.154-200
89
Матеріали конференції
Cеквенційні числення першопорядкових логік квазіарних предикатів
Шкільняк Степан Степанович
2012
TAAPSD 2012
c.305-332
90
Навчальний посібник
Теорія алгоритмів. Приклади й задачі
Шкільняк Степан Степанович
2012
ВПЦ "Київський університет"
c.1-151
91
Наукова стаття
Kомпозиційно-номінативні мультимодальні логіки
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2011
Штучний інтелект
т.4 c.126-133
92
Наукова стаття
Kомпозиційно-номінативні логіки епістемічного типу
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2011
Наукові записки НаУКМА. Комп’ютерні науки
т.125 c.4-7
93
Наукова стаття
Побудова модальних логік темпорального та епістемічного типу на основі композиційно-номінативного підходу
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2011
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.3 c.204-211
94
Наукова стаття
Двозначні та багатозначні композиційно-номінативні логіки
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.199-206
95
Наукова стаття
Спеціальні відношення логічного наслідку в логіках квазіарних предикатів
Шкільняк Степан Степанович
2011
Проблеми програмування
т.4 c.36-48
96
Наукова стаття
Секвенційні числення першопорядкових логік однозначних квазіарних предикатів
Шкільняк Степан Степанович
2012
Проблеми програмування
т.1 c.34-51
97
Наукова стаття
Секвенційні числення композиційно-номінативних логік квазіарних предикатів
Шкільняк Степан Степанович
2012
Проблеми програмування
т.2 c.33-43
98
Наукова стаття
Композиційно-номінативні логіки квазіарних предикатів та багатозначні логіки
Шкільняк Степан Степанович
2012
Штучний інтелект
т.1 c.66-74
99
Наукова стаття
Логічний наслідок та його формалізації в композиційно-номінативних логіках
Шкільняк Степан Степанович
2012
Штучний інтелект
т.1 c.307-312
100
Наукова стаття
Логічний наслідок та його формалізації в композиційно-номінативних логіках
Шкільняк Степан Степанович
2012
Штучний інтелект
т.1 c.307-312
101
Наукова стаття
Побудова секвенційних числень чистих першопорядкових композиційно-номінативних логік однозначних часткових предикатів
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.194-201
102
Наукова стаття
Секвенційні числення реномінативних логік квазіарних предикатів
Шкільняк Степан Степанович
2012
Наукові записки НаУКМА. Комп’ютерні науки
т.138 c.23-29
103
Наукова стаття
Логіки квазіарних предикатів кванторно-екваційного рівня
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2012
Проблеми програмування
т.4 c.19-34
104
Наукова стаття
Спеціальні секвенційні числення логік однозначних квазіарних предикатів
Шкільняк Степан Степанович
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.3 c.287-292
105
Наукова стаття
Спеціальні секвенційні числення чистих композиційно-номінативних логік першого порядку
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2012
Вісник Київського національного університету імені Тараса Шевченка. Кібернетика
т.12 c.38-45
106
Наукова стаття
Композиційно-номінативні логіки квазіарних предикатів: семантичні аспекти
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.4 c.165-172
107
Наукова стаття
Секвенційні числення логік часткових та неоднозначних квазіарних предикатів
Шкільняк Степан Степанович
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.4 c.231-236
108
Праці конференції
Системи логічного виведення секвенційного типу в логіках часткових предикатів
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2012
KDS + MeL: Міжнародні конференції
c.28-29
109
Тези
Багатозначні логіки та двозначні композиційно-номінативні логіки часткових предикатів, Тези XIX Міжнародної конференції "Problems of Decision Making under Uncertainties" (PDMU-2012), Мукачево, 23-27 квітня 2012 р
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2012
110
Тези
Багатозначні логіки та двозначні композиційно-номінативні логіки часткових предикатів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2012
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.19 c.179-180
111
Наукова стаття
Bідношення логічного наслідку для множин формул в композиційно-номінативних логіках
Шкільняк Степан Степанович
2011
Наукові записки НаУКМА. Комп’ютерні науки
т.125 c.22-26
112
Тези
Побудова логік мультимодального та епістемічного типу на основі композиційно-номінативного підходу
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2011
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.8 c.129-139
113
Навчальний посібник
Математична логіка. Основи теорії алгоритмів
Шкільняк Степан Степанович
2009
К.: ДП «Видавничий дім «Персонал»
c.1-279
114
Праці конференції
Логіки h-квазіарних предикатів
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2010
115
Праці конференції
Побудова темпоральних логік на основі композиційно-номінативного підходу.
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2010
116
Тези
Побудова логічних формалізмів на основі інтенсіонально-орієнтованого підходу
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2009
Intern. Conf. "Dynamical system modelling and stability investigation". Kyiv
c.338.0000
117
Тези
Побудова інтуїціоністських секвенційних числень на основі реляційних моделей
Шкільняк Степан Степанович
2009
Intern. Conf. "Dynamical system modelling and stability investigation". Kyiv
c.349.0000
118
Тези
Логіки часткових предикатів
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2009
International Conference Problems of Decision Making Under Uncertainties (PDMU-2007), Чернівці
c.141.0000
119
Тези
Семантичні аспекти композиційно-номінативних логік.
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2009
International Conference Problems of Decision Making Under Uncertainties (PDMU-2007), Чернівці
c.87.0000
120
Тези
Properties of Fixed Point Operators in Algebras of Partial Predicates
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2009
121
Тези
Неокласичні логіки майже еквітонних квазіарних предикатів
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2009
122
Тези
Семантичні властивості композиційно-номінативних логік
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2009
123
Праці конференції
Композиційно-номінативні логіки з операторами нерухомої точки
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2008
Проблеми програмування
т.2 c.64.0000
124
Тези
Композиційно-номінативні логіки з оператором нерухомої точки
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2008
Int. Conf. "Problems of Decision Making under Uncertainties (PDMU)", Chernivtsy. Ukraine
c.173.0000
125
Тези
Нерухомі точки операторів у предикативних алгебрах. Abstracts of International Conference TAAPSD’2008
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2008
126
Наукова стаття
Інтенсіональні аспекти композиційно-номінативних логік
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2007
Вибрані питання програмології. Праці наукового семінару "Програмологія та її застосування"
c.48.0000
127
Наукова стаття
Синтаксичні структури програм
Шкільняк Степан Степанович
2007
Вибрані питання програмології. Праці наукового семінару "Програмологія та її застосування"
c.201.0000
128
Наукова стаття
Інтенсіонально-орієнтований підхід до побудови логічних систем
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2007
Проблеми програмування
c.31.0000
129
Тези
Iнтегрований інтенсіонально-екстенсіональний підхід до побудови логічних формалізмів, орієнтованих на задачі моделювання
Шкільняк Степан Степанович
2007
Abstracts of International Workshop "Problems of decision making under uncertainties", Kyiv-Novy Svit
c.277.0000
130
Тези
Iнтенсійні аспекти композиційно-номінативних логік
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2007
Intern. Conf. "Dynamical system modelling and stability investigation". Kyiv
c.385.0000
131
Тези
Інтенсіонально-екстенсіональний метод побудови логічних та програмних формалізмів
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2007
International Conference Problems of Decision Making Under Uncertainties (PDMU-2007), Чернівці
c.99.0000
132
Наукова стаття
Логіки, орієнтовані на специфікації програм
Нікітченко Микола Степанович
Омельчук Людмила Леонідівна
Шкільняк Степан Степанович
2006
Проблеми програмування
133
Наукова стаття
Спектр композиційно-номінативних логік. Вісник Київського ун-ту. Серія: кібернетика. Вип.7. – Київ, 2006. – С. 44–48
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2006
Вісник Луганського університету ім.Тараса Шевченка "Гуманітарні студії"
134
Тези
Formalisms for Specification of Programs over Nominative Data. Electronic computers and informatics (ECI 2006). – Thesis of conference reports. – Kosice – Her"any, Slovakia, 2006. P.134-139
Нікітченко Микола Степанович
Омельчук Людмила Леонідівна
Шкільняк Степан Степанович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
135
Тези
Логічні формалізми, орієнтовані на специфікації програм та моделювання предметних областей. Problems of decision making under uncertainties. Abstracts. –Alushta, 2006. – С. 146–149
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
136
Тези
Logics of partial predicates: properties and electronic manual. Problems of decision making under uncertainties. Abstracts. –Alushta, 2006. – С. 47–49
Шкільняк Степан Степанович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
137
Тези
Семантичні властивості та секвенційні числення композиційно-номінативних логік. Праці міжнародної наукової конференції TAAPSD'2006. – Київ, 2006
Шкільняк Степан Степанович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"

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

Вгору