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

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

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

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

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

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


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

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

Публікації

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

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

Вгору