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

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

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

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

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

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


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

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

Публікації

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

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

Вгору