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

Нікітченко Микола Степанович
Nikitchenko Mykola

Ідентифікатор автора: 37833
Author Identifier Number Scopus: 6602842336 →
ResearcherID, Web of Science: H-9788-2018 →
Кількість пошукових запитів автора: 1304

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

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

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


Всього публікацій у базі - 178, з них наукових статей (наукові публікації) - 70, монографій - 3, підручників - 2, навчальних посібників - 7, тез (наукові публікації) - 51, матеріалів конференцій (наукові публікації) - 7

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

Публікації

Тип
Назва документу
Автори
Рік видання
Джерело
1
Наукова стаття
Preface
Нікітченко Микола Степанович
2019
Communications in Computer and Information Science
в.1007 c.5-8
2
Наукова стаття
Inference Rules for the Partial Floyd-Hoare Logic Based on Composition of Predicate Complement
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2019
Communications in Computer and Information Science
в.1007 c.71-88
3
Тези
Program-oriented Composition-Nominative Logics
Нікітченко Микола Степанович
2019
Logic and its Applications: The workshop [Електронний ресурс] - Режим доступу: http://logic.net.ua/sites/default/files/Book%20of%20Abstracts.pdf
в.1 c.7-8
4
Тези
Semantic Properties of Five-Valued Logics
Нікітченко Микола Степанович
Шишацька Олена Володимирівна
2019
Logic and its Applications: The workshop [Електронний ресурс] - Режим доступу: http://logic.net.ua/sites/default/files/Book%20of%20Abstracts.pdf
в.1 c.8
5
Наукова стаття
Семантичні властивості логік загальних недетермінованих предикатів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2017
Штучний інтелект
в.3-4 c.111-121
6
Наукова стаття
Алгебри загальних недетермінованих предикатів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2018
Проблеми програмування
в.1 c.5-21
7
Наукова стаття
Логіки загальних недетермінованих предикатів: семантичні аспекти
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2018
Проблеми програмування
в.2-3 c.31-45
8
Наукова стаття
Extended Classical Logics with Quasiary Predicates
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2018
Handbook of the World Congress and School on Universal Logic
в.6 c.538-539
9
Наукова стаття
Семантичні властивості п’ятизначних логік
Нікітченко Микола Степанович
Шишацька Олена Володимирівна
2018
Проблеми програмування
т.1 c.22-35
10
Наукова стаття
П’ятизначні логіки: побудова та інтерпретація
Нікітченко Микола Степанович
Шишацька Олена Володимирівна
2018
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
в.4 c.147-151
11
Наукова стаття
Formalization of the Nominative Algorithmic Algebra in Mizar
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2018
Advances in Intelligent Systems and Computing
в.656 c.176-186
12
Наукова стаття
Composition-nominative logics as institutions
Нікітченко Микола Степанович
Ченцов Олексій Ілліч
2018
Logica Universalis
в.126 c.221-238
13
Наукова стаття
Methodological Principles for Program Logic Construction
Нікітченко Микола Степанович
2018
Handbook of the World Congress and School on Universal Logic
c.511-512
14
Наукова стаття
Logic and Computer Programming
Нікітченко Микола Степанович
2018
Handbook of the World Congress and School on Universal Logic
c.68-70
15
Наукова стаття
On algebras of algorithms and specifications over uninterpreted data
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2018
FORMALIZED MATHEMATICS
в.26 (2) c.143-147
16
Наукова стаття
On the Sequence Rule for the Floyd-Hoare Logic with Partial Pre- and Post-Conditions
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2018
Proceedings of the 14th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops
в.2104 c.716-724
17
Наукова стаття
Kleene algebra of partial predicates
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2018
FORMALIZED MATHEMATICS
в.26 (1) c.11-20
18
Наукова стаття
On Formalization of Semantics of Real-Time and Cyber-Physical Systems
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
Панченко Тарас Володимирович
2019
Advances in Intelligent Systems and Computing
в.754 c.213-223
19
Наукова стаття
Implementation of the Composition-nominative Approach to Program Formalization in Mizar
Іванов Євген В’ячеславович
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2018
Computer Science Journal of Moldova
в.26 c.59-76
20
Наукова стаття
Extended Floyd-Hoare logic over relational nominative data
Іванов Євген В’ячеславович
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2018
Communications in Computer and Information Science
в.826 c.41-64
21
Наукова стаття
Completeness Theorems for Program-oriented Logics of Partial Quasiary Predicates
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2017
Coleção CLE
в.Vol.81 - Aftermath of the Logical Paradise c.203-251
22
Праці конференції
Towards Representation of Free Logic as Logic of Partial Quasiary Predicates
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2018
Conference on mathematical on Foundations of Informatics: Proceedings MFOI
в.2018 c.180-189
23
Праці конференції
Satisfiability Problems in Quasiary Program Logics
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2018
Advanced Computer Information Technologies (ACIT): Міжнародна конференція
в.8 c.175-178
24
Тези
Properties of Logics of General Non-Deterministic Quasiary Predicates
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2018
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
в.32 c.95-96
25
Монографія
Формальные методы построения параллельных программ: научная монография
Жереб Костянтин Анатолійович
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2016
ФО-П Александрова М.В.
26
Монографія
Розробка та впровадження галузевої рамки кваліфікацій в галузі "Інформаційні технології"
Заславський Володимир Анатолійович
Нікітченко Микола Степанович
Омельчук Людмила Леонідівна
2016
Київський національний університет імені Тараса Шевченка
27
Навчальний посібник
Дискретна математика у прикладах і задачах
Нікітченко Микола Степанович
Трохимчук Ростислав Миколайович
2017
ВПЦ "Київський університет"
т.1 в.1 c.1-281
28
Наукова стаття
Nominative data with ordered set of names
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2017
Computer Science Journal of Moldova
т.25 c.195-216
29
Наукова стаття
Formalization of the Nominative Algorithmic Algebra in Mizar
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2017
Advances in Intelligent Systems and Computing
c.176-186
30
Наукова стаття
Simple named-complex valued nominative data -- definition and basic operations
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2017
FORMALIZED MATHEMATICS
в.25 c.online
31
Наукова стаття
Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2016
Штучний інтелект
в.4 c.103-110
32
Наукова стаття
Proving Properties of Programs on Hierarchical Nominative Data
Нікітченко Микола Степанович
2016
Штучний інтелект
т.3 в.72 c.371-398
33
Наукова стаття
Properties of quasiary specification algebras
Нікітченко Микола Степанович
2016
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
в.4 c.132-140
34
Наукова стаття
Першопорядкові логіки із квазіарними та n-арними предикатами
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2016
Наукові записки НаУКМА. Комп’ютерні науки
т.190 c.16-22
35
Наукова стаття
Чисті першопорядкові квазіaрні логіки з предикатами рівності
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2017
Проблеми програмування
в.2 c.263-278
36
Наукова стаття
Algebras and logics of partial quasiary predicates
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2017
Algebra and Discrete Mathematics
т.23 в.2 c.263-278
37
Наукова стаття
Preface
Нікітченко Микола Степанович
2017
Communications in Computer and Information Science
38
Наукова стаття
Preface
Нікітченко Микола Степанович
2017
CEUR Workshop Proceedings
39
Праці конференції
The Institution-Theoretic Approach to Composition-Nominative Logics
Нікітченко Микола Степанович
Ченцов Олексій Ілліч
2016
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.257-262
40
Праці конференції
Formalization of the Nominative Algorithmic Algebra in Mizar
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2017
Information Systems Architecture and Technology: Proceedings of thу International Conference on Information Systems Architecture and Technology
c.237-244
41
Праці конференції
Program-oriented logics of non-determonistic quasiary predicates
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2017
Наукові записки НаУКМА. Комп’ютерні науки
c.137-140
42
Праці конференції
An Approach To Formalization of an Extension of Floyd-Hoare Logic
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2017
International Conference ICTERI
в.1844 c.504-523
43
Праці конференції
STRUCTURE OF CONTEXT - SENSITIVE SOFTWARE SERVICE FOR NOTIFICATION ABOUT HUMAN SAFETY THREATS
Нікітченко Микола Степанович
2017
Сучасні комп’ютерні інформаційні технології: Матеріали Всеукраїнської конференції з міжнародною участю АСІТ
c.130
44
Тези
Non-classical properties of program-oriented logics
Нікітченко Микола Степанович
2017
Advanced Computer Information Technologies (ACIT): Міжнародна конференція
c.129-130
45
Тези
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
46
Тези
Відношення логічного наслідку в логіках монотонних та немонотонних часткових предикатів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2017
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
в.18 c.185
47
Тези
Logics of partial non-deterministic predicates
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2017
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
в.30 c.94-95
48
Навчальний посібник
Теорія програмування в прикладах і задачах
Нікітченко Микола Степанович
Панченко Тарас Володимирович
Поляков Сергій Анатолійович
2015
К.: Видавничо-поліграфічний центр «Київський університет» (навчальний посібник)
c.191
49
Наукова стаття
Исчисления секвенциального типа для проверки выполнимости в логиках квазиарных предикатов
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2015
Вісник Київського національного університету імені Тараса Шевченка. Кібернетика
в.1 (15) c.30-37
50
Наукова стаття
Чисті першопорядкові логіки квазіарних предикатів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2016
Проблеми програмування
в.2-3 (спецвипуск) c.73-86
51
Наукова стаття
Алгебри квазіарних та бі-квазіарних реляцій
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2016
Проблеми програмування
в.1 c.17-28
52
Наукова стаття
Properties of Nominative Programs Specified byEffective Definitional Schemes
Нікітченко Микола Степанович
2016
Conference on mathematical on Foundations of Informatics: Proceedings MFOI
c.222-240
53
Матеріали конференції
Logics of Non-Deterministic Quasiary Predicates
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2015
Handbook of the World Congress and School on Universal Logic
т.5 c.329-330
54
Матеріали конференції
Intensionality, compositionality, and nominativity in information system development
Нікітченко Микола Степанович
2015
IEEE International Conference on Intelligent Computing and Information Systems (ICICIS)
c.12-14
55
Навчальний посібник
Терія програмування в прикладах і задачах
Нікітченко Микола Степанович
Панченко Тарас Володимирович
Поляков Сергій Анатолійович
2015
ВПЦ "Київський університет"
c.1-191
56
Навчальний посібник
Теорія алгоритмів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2015
ВПЦ "Київський університет"
c.1-239
57
Навчальний посібник
Теорія програмування в прикладах та задачах
Нікітченко Микола Степанович
Панченко Тарас Володимирович
Поляков Сергій Анатолійович
2014
HQPrint
c.186
58
Наукова стаття
On a Decidable Formal Theory for Abstract Continuous-Time Dynamical Systems
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2014
Communications in Computer and Information Science
т.469 c.78-99
59
Наукова стаття
On Algebraic Properties of Nominative Data and Functions
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2014
Communications in Computer and Information Science
т.469 c.117-138
60
Наукова стаття
Принципы разработки украинской секторальной рамки квалификаций по Информатике
Заславський Володимир Анатолійович
Нікітченко Микола Степанович
Омельчук Людмила Леонідівна
2014
Вестник университета (Государственный университет управления) – Москва, Российская Федерация
т.19 c.153-160
61
Наукова стаття
EQUATIONAL LOGIC OF PARTIAL PREDICATES STABLE UNDER TOLERANCE RELATIONS
Нікітченко Микола Степанович
Россада Тетяна Володимирівна
2014
Collection of articles: “CONTEMPORARY PROBLEMS OF NATURAL SCIENCES”
т.1 c.44-49
62
Наукова стаття
Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2015
Computer Science Journal of Moldova
т.23 c.102-122
63
Наукова стаття
Set-theoretic Analysis of Nominative Data
Нікітченко Микола Степанович
2015
Computer Science Journal of Moldova
т.23 c.270-288
64
Наукова стаття
Event-Based Proof of the Mutual Exclusion Property of Peterson’s Algorithm
Нікітченко Микола Степанович
2015
FORMALIZED MATHEMATICS
т.23 в.4 c.325-331
65
Наукова стаття
Числення секвенційного типу для перевірки виконуваності в логіках квазіарних предикатів
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2015
Вісник Київського національного університету імені Тараса Шевченка. Кібернетика
т.1 в.15 c.30-38
66
Підручник
Технологія програмування інформаційних систем. Методи, засоби, інструменти.
Нікітченко Микола Степанович
Омельчук Людмила Леонідівна
2015
ВПЦ "Київський університет"
c.1-367
67
Підручник
Технологія програмування інформаційних систем: Методи, засоби, інструменти
Нікітченко Микола Степанович
Омельчук Людмила Леонідівна
2015
ВПЦ "Київський університет"
68
Праці конференції
Чисті першопорядкові логіки часткових та неоднозначних предикатів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.11 c.182-190
69
Праці конференції
Алгебри квазіарних відношень
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.11 c.174-181
70
Праці конференції
Анализ строения множества именных множеств
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.11 c.133-137
71
Праці конференції
Semantic Properties of Logics of Quasiary Predicates
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2015
Foundations of Informatics (FOI): International workshop
т.1 c.180-197
72
Праці конференції
Institution for Pure First-Order Composition-Nominative Logic
Нікітченко Микола Степанович
2015
Foundations of Informatics (FOI): International workshop
c.180-197
73
Праці конференції
Analysis of Nominative Data Sets Structure
Нікітченко Микола Степанович
2015
Foundations of Informatics (FOI): International workshop
c.65-76
74
Праці конференції
Institution for Pure First-Order Composition-Nominative Logic
Нікітченко Микола Степанович
Ченцов Олексій Ілліч
2015
Foundations of Informatics (FOI): International workshop
т.1 c.50-53
75
Тези
On Nominative Glushkov Algebras
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2014
Матеріали Всеукраїнської науково-практичної конференції В.М. Глушков – піонер кібернетики, 11 грудня 2014 р.
c.48-49
76
Тези
Algebraic Properties of Nominative Data
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2014
Proceedings of the International Algebraic Conference dedicated to the 100th anniversary of L.A. Kaluzhnin, 7-12 July 2014
c.36-36
77
Тези
Логіки квазіарних предикатів із узагальненими реномінаціями та предикатами-індикаторами наявності значення для змінних
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2015
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
т.17 c.171
78
Тези
Верифікація композиційно-номінативних програм
Нікітченко Микола Степанович
2015
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
c.171
79
Тези
Philosophical Aspects of Programming Theory Development
Нікітченко Микола Степанович
2015
Handbook of the World Congress and School on Universal Logic
c.210-211
80
Тези
Composition-Nominative Logics as Institutions
Нікітченко Микола Степанович
2015
Handbook of the World Congress and School on Universal Logic
c.370-371
81
Тези
Composition-Nominative Logics as Institutions
Нікітченко Микола Степанович
Ченцов Олексій Ілліч
2015
Handbook of the 5th World Congress and School on Universal Logic (Istanbul, Turkey, June, 20–30, 2015). – Istanbul University, 2015
c.370-371
82
Тези
Formalization of Nominative Data in Mizar
Нікітченко Микола Степанович
2015
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.82-85
83
Матеріали конференції
Безкванторні логіки часткових квазіарних предикатів
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2014
Теорія прийняття рішень: міжнародна школа-семінар
т.7 c.184-185
84
Матеріали конференції
Quasiary Specification Algebras and Logics
Нікітченко Микола Степанович
2014
International Workshop on Algebraic Development Techniques
c.56-57
85
Навчальний посібник
Навчальний посібник з дисципліни "Теорія програмування"
Нікітченко Микола Степанович
Панченко Тарас Володимирович
Поляков Сергій Анатолійович
2014
HQPrint
c.186
86
Наукова стаття
Вироджені семантичні моделі першопорядкових логік
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.169-173
87
Наукова стаття
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2014
Проблеми програмування
т.2 c.17-28
88
Наукова стаття
V-сингулярні семантичні моделі першопорядкових логік
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.201-210
89
Наукова стаття
Композиція побудови умови за прообразом у монотонних логіках Флойда-Хоара
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.3 c.163-168
90
Наукова стаття
V-сингулярні семантичні моделі першо-порядкових логік
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2014
Вісник Київського національного університету імені Тараса Шевченка Серія фіз.-мат. науки
в.2 c.166-171
91
Праці конференції
Алгебри квазіарних відношень та їх властивості
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2014
International Conference KDS-2014 “International Models of Knowledge”
т.20 c.80-86
92
Праці конференції
Inference Systems for Floyd-Hoare Logic with Partial Predicates
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2013
Proceedings of the Twelfth International Conference on Informatics, INFORMATICS 2013
c.88-93
93
Праці конференції
Extending Floyd-Hoare Logic for Partial Pre- and Postconditions
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2013
Communications in Computer and Information Science
т.412 c.355-378
94
Праці конференції
On Logical and Semantic Investigations in Kyiv School of Automated Reasoning
Лялецький Олександр Вадимович
Нікітченко Микола Степанович
2014
6th Podlasie Conference on Mathematics
c.1-49
95
Розділ монографії
Logical and Semantic Investigations in Kyiv School of Automated Reasoning
Лялецький Олександр Вадимович
Нікітченко Микола Степанович
2014
Trends in ContemporaryComputer Science" (206 pages), Bialystok University of Technology Publishing Office, Poland
c.83-98
96
Тези
Першопорядкові логіки, розширені реномінаціями з невизначеним значенням змінних та предикатами-індикаторами наявності значення
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2013
XXII Міжнародна конференція "Problems of Decision Making under Uncertainties" (PDMU-2013), Ялта-Форос, 23-27 вересня 2013 р.
т.1 c.116–117
97
Тези
Алгебри квазіарних відношень та їх властивості
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2014
International conference knowledge-Dialogue-Solution
в.20 c.78
98
Матеріали конференції
Логіки часткових предикатів із розширеними реномінаціями та предикатами-індикаторами наявності значення
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2013
Глушковські читання: Всеукраїнська науково-практична конференція
c.169-171
99
Матеріали конференції
Нетрадиционные семантики логик первого порядка
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2013
Смирновские чтения по логике: Международная научная конференция
т.8 c.24-25
100
Навчальний посібник
Прикладна логіка
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2013
ВПЦ "Київський університет"
c.1-278
101
Наукова стаття
Семантичні властивості монотонних логік Флойда-Хоара
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.215.0000
102
Наукова стаття
Basics of Intensionalized Data: Presets, Sets, and Nominats
Нікітченко Микола Степанович
Ченцов Олексій Ілліч
2012
Current problems in information and computational technologies
т.20 c.334.0000
103
Наукова стаття
Логіки часткових предикатів з розширеними реномінаціями та кванторами
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2013
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.210-215
104
Наукова стаття
Cемантические свойства и секвенциальные исчисления чистых композиционно-номинативных логик первого порядка
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2013
Information Theories & Applications
т.20 c.379-390
105
Наукова стаття
Композиційно-номінативні логіки із спеціальними предикатами наявності значення для змінних
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2013
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.128-133
106
Наукова стаття
Hybrid possibilistic systems with nondeterministic continuous evolutions and switchings
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2012
Acta Electrotechnica et Informatica
т.12 c.49-59
107
Праці конференції
Program Algebras with Monotone Floyd-Hoare Composition
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2013
ICTERI 2013. Proceedings of the 9th International Conference on ICT in Education, Research and Industrial Applications
т.1 c.533.0000
108
Праці конференції
Многосортная монотонная логика Флойда-Хоара
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2013
International Journal Information Theories and Applications 2013
т.20 c.331.0000
109
Праці конференції
Inference Systems for Floyd-Hoare Logic with Partial Predicates
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2013
Proceedings of the Twelfth International Conference on Informatics, INFORMATICS 2013
т.1 c.88.0000
110
Праці конференції
Developing a Hierarchy of Composition-Nominative Logics
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2013
Handbook of the World Congress and School on Universal Logic
c.135-137
111
Праці конференції
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
112
Праці конференції
Composition-Nominative Logics of Partial Quasiary Functions and Predicates
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2013
Handbook of the World Congress and School on Universal Logic
c.335-337
113
Праці конференції
Первопорядковые композиционно-номинативные логики частичных предикатов
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2013
114
Тези
Проблема спростовності у монотонних Логіках Флойда-Хоара
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2013
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.1 c.97.0000
115
Тези
Розширення логік часткових предикатів реномінаціями з невизначеним значенням
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2013
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.21 c.179-180
116
Тези
Kомпозиційно-номінативні логіки з розширеними реномінаціями
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2013
Dynamical System Modeling and Stability Investigation: International Conference
c.407
117
Тези
Розширення логік часткових предикатів реномінаціями з невизначеним значенням імен
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2013
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.21 c.179-180
118
Тези
Вироджені моделі логік часткових квазіарних предикатів
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2013
Dynamical System Modeling and Stability Investigation: International Conference
c.408
119
Матеріали конференції
Kомпозиційно-номінативні логіки квазіарних предикатів
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2012
TAAPSD 2012
c.154-200
120
Монографія
On Combination of Deduction and Analytical Transformations in E-Learning Testing
Лялецький Олександр Вадимович
Нікітченко Микола Степанович
2012
Artificial Intelligence: Methods and Techniques for Business and Engineering Applications, Sofia, Болгарія
т.1 c.177-190
121
Наукова стаття
Побудова модальних логік темпорального та епістемічного типу на основі композиційно-номінативного підходу
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2011
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.3 c.204-211
122
Наукова стаття
Двозначні та багатозначні композиційно-номінативні логіки
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.199-206
123
Наукова стаття
Побудова секвенційних числень чистих першопорядкових композиційно-номінативних логік однозначних часткових предикатів
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.194-201
124
Наукова стаття
Логіки квазіарних предикатів кванторно-екваційного рівня
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2012
Проблеми програмування
т.4 c.19-34
125
Наукова стаття
Спеціальні секвенційні числення чистих композиційно-номінативних логік першого порядку
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2012
Вісник Київського національного університету імені Тараса Шевченка. Кібернетика
т.12 c.38-45
126
Наукова стаття
Композиційно-номінативні логіки квазіарних предикатів: семантичні аспекти
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.4 c.165-172
127
Праці конференції
Системи логічного виведення секвенційного типу в логіках часткових предикатів
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2012
KDS + MeL: Міжнародні конференції
c.28-29
128
Тези
Багатозначні логіки та двозначні композиційно-номінативні логіки часткових предикатів, Тези XIX Міжнародної конференції "Problems of Decision Making under Uncertainties" (PDMU-2012), Мукачево, 23-27 квітня 2012 р
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2012
129
Тези
Багатозначні логіки та двозначні композиційно-номінативні логіки часткових предикатів
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2012
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.19 c.179-180
130
Тези
Possibilistic models of hybrid systems with nondeterministic continuous evolutions and switchings
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2011
Proceedings of International Scientific Conference INFORMATICS’2011 – 16-18 November 2011
c.231-236
131
Тези
Proving behavioral properties of distributed algorithms using their compositional semantics
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2011
Proceedings of the First International Seminar “Specification and Verification of Hybrid Systems”, October 10-12, 2011, Taras Shevchenko University of Kyiv
c.9-19
132
Тези
Formalization and reasoning for real-time programming languages
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2011
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.8-10
133
Тези
Possibilistic modeling of a special class of hybrid systems
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2011
Dynamical System Modeling and Stability Investigation: International Conference
c.25-27
134
Наукова стаття
Композиційно-номінативні мови програм з асоціативним розіменуванням
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2010
Вісник Львівського університету. Серія прикладна математика та інформатика
т.16 c.124-139
135
Наукова стаття
Стабільність та монотонність програм відносно структурних трансформацій даних
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2010
Проблеми програмування
т.2 c.58-67
136
Тези
Побудова логік мультимодального та епістемічного типу на основі композиційно-номінативного підходу
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2011
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.8 c.129-139
137
Тези
Modeling programs over complex-named data by term rewriting systems
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2010
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.40-49
138
Тези
Programming with nominative data
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2010
Proceedings of CSE’2010 International Scientific Conference on Computer Science and Engineering - 20-22 September 2010
c.30-39
139
Особливості розробки освітнього стандарту з інформатики
Нікітченко Микола Степанович
2010
140
Праці конференції
Особливості розробки освітнього стандарту з інформатики (напрям підготовки 040302)
Нікітченко Микола Степанович
2010
141
Праці конференції
INTEGRATING PROGRAMMING-RELATED DISCIPLINES: MAIN PRINCIPLES AND NOTIONS
Нікітченко Микола Степанович
2010
142
Праці конференції
Логіки h-квазіарних предикатів
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2010
143
Праці конференції
Побудова темпоральних логік на основі композиційно-номінативного підходу.
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2010
144
Праці конференції
Programming with nominative data
Нікітченко Микола Степанович
2010
145
Тези
Modeling programs over complex-named databy term rewriting systems
Нікітченко Микола Степанович
2010
146
Тези
Composition Nominative Algebras as Semantic Base for Specification and Programming Languages
Нікітченко Микола Степанович
2010
147
Тези
Modeling programs over complex-named data by term rewriting systems
Нікітченко Микола Степанович
2010
148
Наукова стаття
Композиционно-номинативные аспекты адресного программирования
Нікітченко Микола Степанович
2009
149
Наукова стаття
Кафедра теорії та технології програмування
Нікітченко Микола Степанович
2009
150
Наукова стаття
Інтеграція інформатико-програмістських дисциплін на основі композиційно-номінативного підходу
Нікітченко Микола Степанович
2009
151
Праці конференції
Про розробку освітнього стандарту за напрямом ІНФОРМАТИКА
Нікітченко Микола Степанович
2009
152
Тези
Побудова логічних формалізмів на основі інтенсіонально-орієнтованого підходу
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2009
Intern. Conf. "Dynamical system modelling and stability investigation". Kyiv
c.338.0000
153
Тези
Логіки часткових предикатів
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2009
International Conference Problems of Decision Making Under Uncertainties (PDMU-2007), Чернівці
c.141.0000
154
Тези
Семантичні аспекти композиційно-номінативних логік.
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2009
International Conference Problems of Decision Making Under Uncertainties (PDMU-2007), Чернівці
c.87.0000
155
Тези
Properties of Fixed Point Operators in Algebras of Partial Predicates
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2009
156
Тези
ВЛАСТИВОСТІ КОМПОЗИЦІЙНО-НОМІНАТИВНИХ МОВ ПРОГРАМ
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2009
157
Тези
Composition Nominative Algebra as Computer Program Formalism
Нікітченко Микола Степанович
2009
158
Тези
Неокласичні логіки майже еквітонних квазіарних предикатів
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2009
159
Тези
Семантичні властивості композиційно-номінативних логік
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2009
160
Наукова стаття
Teaching Theory of Programming: methodology and basic notions
Нікітченко Микола Степанович
2008
Informational Technologies in Education
т.2 c.459.0000
161
Праці конференції
Композиційно-номінативні логіки з операторами нерухомої точки
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2008
Проблеми програмування
т.2 c.64.0000
162
Праці конференції
Insertion modeling in distributed system design
Нікітченко Микола Степанович
2008
Проблеми програмування
c.13.0000
163
Тези
Класифікація мов та методів формальних специфікацій програмних систем. Abstracts of International Conference TAAPSD’2008
Буй Дмитро Борисович
Нікітченко Микола Степанович
Омельчук Людмила Леонідівна
Редько Володимир Никифорович
Шишацька Олена Володимирівна
2008
164
Тези
Композиційно-номінативні логіки з оператором нерухомої точки
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2008
Int. Conf. "Problems of Decision Making under Uncertainties (PDMU)", Chernivtsy. Ukraine
c.173.0000
165
Тези
Constructing theory of programming as a gnoseology-based discipline. Abstracts of International Conference TAAPSD’2008
Нікітченко Микола Степанович
2008
166
Тези
Нерухомі точки операторів у предикативних алгебрах. Abstracts of International Conference TAAPSD’2008
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2008
167
Наукова стаття
Інтенсіонально-орієнтований підхід до теорії програмування
Нікітченко Микола Степанович
2007
Вибрані питання програмології. Праці наукового семінару "Програмологія та її застосування"
c.22.0000
168
Наукова стаття
Інтенсіональні аспекти композиційно-номінативних логік
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2007
Вибрані питання програмології. Праці наукового семінару "Програмологія та її застосування"
c.48.0000
169
Наукова стаття
Інтенсіонально-орієнтований підхід до побудови логічних систем
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2007
Проблеми програмування
c.31.0000
170
Тези
Checking temporal properties of requirements in VRS
Нікітченко Микола Степанович
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.267.0000
171
Тези
Iнтенсійні аспекти композиційно-номінативних логік
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2007
Intern. Conf. "Dynamical system modelling and stability investigation". Kyiv
c.385.0000
172
Тези
Інтенсіонально-екстенсіональний метод побудови логічних та програмних формалізмів
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2007
International Conference Problems of Decision Making Under Uncertainties (PDMU-2007), Чернівці
c.99.0000
173
Наукова стаття
Логіки, орієнтовані на специфікації програм
Нікітченко Микола Степанович
Омельчук Людмила Леонідівна
Шкільняк Степан Степанович
2006
Проблеми програмування
174
Наукова стаття
Спектр композиційно-номінативних логік. Вісник Київського ун-ту. Серія: кібернетика. Вип.7. – Київ, 2006. – С. 44–48
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2006
Вісник Луганського університету ім.Тараса Шевченка "Гуманітарні студії"
175
Тези
Basics of intensionally-oriented appoach in informatics. TAAPSD, Proceedings, 2006, December 5-8, Kyiv
Нікітченко Микола Степанович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
176
Тези
Deductive requirements checking in VRS. Electronic computers and informatics (ECI 2006). – Thesis of conference reports. – Kosice – Her"any, Slovakia, 2006. P.140-145
Нікітченко Микола Степанович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
177
Тези
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
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
178
Тези
Логічні формалізми, орієнтовані на специфікації програм та моделювання предметних областей. Problems of decision making under uncertainties. Abstracts. –Alushta, 2006. – С. 146–149
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"

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

Вгору