Структурні підрозділи

Кафедра: Теорії та технології програмування


ID: 6739
Кількість показів: 3893
дата змінення: 25.11.2014 12:26:25
Ким змінено (ім'я): (kya) Юлія Костюченко
Тип
Назва документу
Автори
Рік видання
Джерело
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
Наукова стаття
SMT-LIB Theory of Nominative Data


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Омельчук Людмила Леонідівна
Шишацька Олена Володимирівна
2020
Communications in Computer and Information Science
т.1175 c.89-110
4
Наукова стаття
Застосування web-ресурсів у процесі навчання студентів закладів вищої освіти


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2020
Наукові записки. Серія: Педагогічні науки. Збірник наукових праць
c.157-161
5
Наукова стаття
7-значні логіки та логіки загальних недетермінованих предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
2018
Штучний інтелект
c.110-121
6
Тези
Algebras of General Non-Deterministic Predicates


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2019
Logic and its Applications: The workshop [Електронний ресурс] - Режим доступу: http://logic.net.ua/sites/default/files/Book%20of%20Abstracts.pdf
c.11-12
7
Наукова стаття
Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
Мамедов Тогрул Алірзайович
2019
Computer Science Journal of Moldova
т.27 c.162-187
8
Праці конференції
Completeness of the Logic of Partial Quasiary Predicates with the Complement Composition


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
Мамедов Тогрул Алірзайович
2019
Mathematical Foundations of Informatics (MFOI): Міжнародна конференція
c.187-202
9
Тези
Composition-Nominative Specification Languages and Logics for the Object-Oriented Programs


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Омельчук Людмила Леонідівна
2019
Logic and its Applications: The workshop [Електронний ресурс] - Режим доступу: http://logic.net.ua/sites/default/files/Book%20of%20Abstracts.pdf
c.9-10
10
Праці конференції
Compositional-Nominative Approach to the Client-Server Systems Properties Proofs within Different Formal Execution Models


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
Омельчук Людмила Леонідівна
Русіна Наталія Геннадіївна
Шишацька Олена Володимирівна
Fabunmi Sunmade
2019
Ukraine Conference on Electrical and Computer Engineering (UKRCON)
c.1127-1132
11
Праці конференції
Development of the ICT-standard of Higher Education in Ukraine within the Framework of European Requirements


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Омельчук Людмила Леонідівна
Русіна Наталія Геннадіївна
Шишацька Олена Володимирівна
2019
ICT in Education, Research and Industrial Applications: Integration, Harmonization, and Knowledge Transfer (ICTERI): Міжнародна конференція
т.1 c.262-273
12
Праці конференції
Extending the SMT-Lib Standard with Theory of Nominative


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Омельчук Людмила Леонідівна
Шишацька Олена Володимирівна
2019
ICT in Education, Research and Industrial Applications: Integration, Harmonization, and Knowledge Transfer (ICTERI): Міжнародна конференція
т.2 c.522-533
13
Тези
First-order logics of partial predicates with composition of predicate complement


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
2019
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
c.77-78
14
Розділ монографії
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
15
Тези
Many-Valued Logics in the UML/OCL Model


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шишацька Олена Володимирівна
2019
Logic and its Applications: The workshop [Електронний ресурс] - Режим доступу: http://logic.net.ua/sites/default/files/Book%20of%20Abstracts.pdf
c.12-13
16
Тези
Non-stationary time-series distance clustering for a similarity analysis


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Круковець Дмитро Юрійович
2019
Логіка та її застосування (UCLA): Українська наукова конференція
c.117-119
17
Праці конференції
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 c.542-551
18
Наукова стаття
Preface


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Ermolayev V.
Yakovyna V.
Kharchenko V. P.
Spivakovsky A.
2019
19
Наукова стаття
Preface


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Ermolayev V.
Suárez-Figueroa M.C.
Yakovyna V.
Mayr H.C.
Spivakovsky A.
2019
Communications in Computer and Information Science
c.5-8
20
Праці конференції
Program Logics Based on Algebras with the Composition of Predicate Complement


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
2019
Advanced Computer Information Technologies (ACIT): Міжнародна конференція
c.285-288
21
Праці конференції
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 c.603-616
22
Тези
Program-oriented Composition-Nominative Logics


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
2019
Logic and its Applications: The workshop [Електронний ресурс] - Режим доступу: http://logic.net.ua/sites/default/files/Book%20of%20Abstracts.pdf
c.7-8
23
Тези
Semantic Properties of Five-Valued Logics


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шишацька Олена Володимирівна
2019
Logic and its Applications: The workshop [Електронний ресурс] - Режим доступу: http://logic.net.ua/sites/default/files/Book%20of%20Abstracts.pdf
c.8
24
Тези
Sequent calculi for logics with composition of predicate complement


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
Мамедов Тогрул Алірзайович
2019
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
c.67-69
25
Тези
Teaching of the Course "Mathematical Logic" for Students of Humanities


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2019
Logic and its Applications: The workshop [Електронний ресурс] - Режим доступу: http://logic.net.ua/sites/default/files/Book%20of%20Abstracts.pdf
c.10-11
26
Наукова стаття
Testing in the process of verification during the development of software products


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2018
EURÓPSKA VEDA/EUROPEAN SCIENCE
c.206-209
27
Матеріали конференції
Автоматична генерація задач для студентів з курсу «математична логіка»


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2018
Розвиток інтелектуальних умінь і творчих здібностей учнів та студентів у процесі навчання дисциплін природничо-математичного циклу: міжнародна дистанційна науково-методична конференція
т.1 c.204-205
28
Матеріали конференції
Впровадження ІКТ для організації управлінської діяльності навчального закладу


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
Поданчук Н.Г.
2019
Автоматизація та комп’ютерно-інтегровані технології у виробництві та освіті: стан, досягнення, перспективи розвитку: Всеукраїнська науково-практична Internet-конференція
c.212-214
29
Тези
Задача розв'язності формул в теорії номінальних даних


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Омельчук Людмила Леонідівна
Шишацька Олена Володимирівна
2019
Логіка та її застосування (UCLA): Українська наукова конференція
c.133-134
30
Праці конференції
Логіки квазіарних предикатів з рівністю та предикатним доповненням


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2019
Логіка та її застосування (UCLA): Українська наукова конференція
c.88-99
31
Наукова стаття
Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2019
Проблеми програмування
c.28-44
32
Праці конференції
Першопорядкові логіки часткових предикатів з композицією предикатного доповнення


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2019
Логіка та її застосування (UCLA): Українська наукова конференція
c.56-68
33
Праці конференції
Побудова п’ятизначних EU-логік


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шишацька Олена Володимирівна
2018
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
т.1 c.379-381
34
Тези
Про повноту класичних логічних числень


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зубенко Віталій Володимирович
2019
Логіка та її застосування (UCLA): Українська наукова конференція
c.125
35
Тези
Про процедурну платформу теорії алгоритмів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зубенко Віталій Володимирович
2019
Логіка та її застосування (UCLA): Українська наукова конференція
c.126-127
36
Наукова стаття
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
Мамедов Тогрул Алірзайович
2019
Проблеми програмування
c.3-13
37
Тези
Формалізація речень природної мови мовою логіки висловлень


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2019
Логіка та її застосування (UCLA): Українська наукова конференція
c.135-136
38
Автореферат
Формальні моделі баз даних та багатозначні логіки: автореферат дисертації на здобуття ступеня канд. фіз.-мат.наук


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шишацька Олена Володимирівна
2019
Київ
c.1-20
39
Праці конференції
Чисті першопорядкові логіки квазіарних предикатів з композицією предикатного доповнення


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
2019
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
c.371-373
40
Наукова стаття
On Two Representations of Concurrent Programs


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2017
Проблеми програмування
т.6 c.192-199
41
Наукова стаття
A Formal Proof of Correctness of a Distributed Presentation Software System


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2017
Proceedings of International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer (ICTERI)
c.467-487
42
Наукова стаття
A Formal Proof of Properties of a Presentation System using Isabelle


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2018
Ukraine Conference on Electrical and Computer Engineering (UKRCON)
43
Наукова стаття
Block-Diagonal Approach to Non-Negative Factorization of Sparse Linguistic Matrices and Tensors of Extra-Large Dimension Using the Latent Dirichlet Distribution


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Марченко Олександр Олександрович
Анісімов Анатолій Васильович
Насіров Еміл Мехдієвич
2018
Cybernetics and Systems Analysis
т.54 c.853-859
44
Наукова стаття
Completeness Theorems for Program-oriented Logics of Partial Quasiary Predicates


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2017
Coleção CLE
c.203-251
45
Наукова стаття
Composition-nominative logics as institutions


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Ченцов Олексій Ілліч
2018
Logica Universalis
c.221-238
46
Наукова стаття
Construction and research of the generalized iterative GMDH algorithm with active neurons


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2018
Advances in Intelligent Systems and Computing
c.492-510
47
Наукова стаття
Dynamically changing user interfaces: software solutions based on automatically collected user information


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2018
Proceedings of the Institute for System Programming
c.207-220
48
Наукова стаття
English text parsing by means of error correcting automaton


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Марченко Олександр Олександрович
Анісімов Анатолій Васильович
Завадський Ігор Олександрович
Мельников Єгор
2018
Lecture Notes in Computer Science
т.10859 c.281-289
49
Наукова стаття
Extended Classical Logics with Quasiary Predicates


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2018
Handbook of the World Congress and School on Universal Logic
c.538-539
50
Наукова стаття
Extended Floyd-Hoare logic over relational nominative data


Факультет комп'ютерних наук та кібернетики
Факультет інформаційних технологій

Програмних систем і технологій
Теорії та технології програмування
Нікітченко Микола Степанович
Іванов Євген В’ячеславович
Криволап Андрій Володимирович
Artur Korniłowicz
2018
Communications in Computer and Information Science
c.41-64
51
Наукова стаття
Formalization of the Nominative Algorithmic Algebra in Mizar


Факультет комп'ютерних наук та кібернетики
Програмних систем і технологій
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Криволап Андрій Володимирович
Іванов Євген В’ячеславович
2018
Advances in Intelligent Systems and Computing
c.176-186
52
Наукова стаття
Implementation of the Composition-nominative Approach to Program Formalization in Mizar


Факультет комп'ютерних наук та кібернетики
Факультет інформаційних технологій

Програмних систем і технологій
Теорії та технології програмування
Іванов Євген В’ячеславович
Криволап Андрій Володимирович
Нікітченко Микола Степанович
Artur Korniłowicz
2018
Computer Science Journal of Moldova
c.59-76
53
Наукова стаття
Kleene algebra of partial predicates


Факультет комп'ютерних наук та кібернетики
Факультет інформаційних технологій

Програмних систем і технологій
Теорії та технології програмування
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
Artur Korniłowicz
2018
FORMALIZED MATHEMATICS
c.11-20
54
Наукова стаття
Logic and Computer Programming


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
2018
Handbook of the World Congress and School on Universal Logic
c.68-70
55
Наукова стаття
Methodological Principles for Program Logic Construction


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
2018
Handbook of the World Congress and School on Universal Logic
c.511-512
56
Тези
Numerical study of the generalized iterative algorithm GIA GMDH with active neurons


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2017
Proceedings of the International Scientific and Technical Conference on Computer Sciences and Information Technologies, CSIT
c.496-500
57
Наукова стаття
On Formalization of Semantics of Real-Time and Cyber-Physical Systems


Факультет комп'ютерних наук та кібернетики
Факультет інформаційних технологій

Програмних систем і технологій
Теорії та технології програмування
Іванов Євген В’ячеславович
Панченко Тарас Володимирович
Нікітченко Микола Степанович
F. Sunmade
2019
Advances in Intelligent Systems and Computing
c.213-223
58
Наукова стаття
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
c.716-724
59
Тези
Properties of Logics of General Non-Deterministic Quasiary Predicates


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2018
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
c.95-96
60
Праці конференції
Quality of Concurrent Shared Memory Programs


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
Fabunmi Sunmade
2018
International Conference on the Quality of Information and Communications Technology QUATIC
c.1122-1126
61
Праці конференції
Satisfiability Problems in Quasiary Program Logics


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Тимофєєв Валентин Георгійович
2018
Advanced Computer Information Technologies (ACIT): Міжнародна конференція
c.175-178
62
Праці конференції
Towards Representation of Free Logic as Logic of Partial Quasiary Predicates


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2018
Mathematical Foundations of Informatics (MFOI): Міжнародна конференція
c.180-189
63
Тези
Usage of Inductive Algorithms for Building a Search Results Ranking Model Based on Visitor Rating Evaluations


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2017
Proceedings of the International Scientific and Technical Conference on Computer Sciences and Information Technologies, CSIT
c.466-470
64
Наукова стаття
Алгебри загальних недетермінованих предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2018
Проблеми програмування
c.5-21
65
Наукова стаття
Аналіз якості інформаційного наповнення сайту


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2018
Геометричне моделювання та інформаційні технології: науковий журнал
c.58-64
66
Тези
Використання інформаційно-комп’ютерних технологій для побудови графіків функцій


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2018
Тези доповідей Міжнародної науково-технічної конференції "Інформаційно-комп’ютерні технології"
c.5-6
67
Тези
Вплив сучасних тенденцій UX\UI дизайну на розвиток веб-ресурсів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2017
Матеріали всеукраїнської науково-практичної конференції студентів, аспірантів та молодих вчених
c.133-134
68
Наукова стаття
Еквівалентність двох систем паралельного виконання


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2018
Международная научно-практическая конференция по программированию (УкрПрог)
69
Наукова стаття
Застосування STEM-освіти у процесі професійної підготовки майбутніх фахівців комп’ютерних технологій


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2018
Project approach and educational innovations in the context of integration into the European education area: the collection of materials of the international scientific and practical conference
c.25-28
70
Наукова стаття
Застосування інформаційно-комунікаційних технологій навчання в процесі підготовки майбутніх фахівців інформаційних технологій


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Русіна Наталія Геннадіївна
2018
Вісник Черкаського національного університету ім. Б.Хмельницького, серія прикладна математика, інформатика
c.96-103
71
Наукова стаття
Застосування кластерного аналізу для відсіювання пошукового спаму


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2017
Індуктивне моделювання складних систем: Зб. наук. пр.
c.95-100
72
Монографія
Інформаційний аналіз управління процесами в складних системах: теорія та практика


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2018
Миколаїв: МНУ імені В.О.Сухомлинського
73
Монографія
Ітераційні алгоритми індуктивного моделювання


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2018
Наукова думка
74
Наукова стаття
Комплексний підхід до підвищення якості пошуку інформації в мережі Інтернет


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2018
Управляющие системы и машины (УСиМ)
c.46-54
75
Наукова стаття
Логіки загальних недетермінованих предикатів: семантичні аспекти


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2018
Проблеми програмування
c.31-45
76
Наукова стаття
Модель паралелізму в IPCL з породженням екземплярів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2017
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.131-133
77
Навчальний посібник
Основи інформатики


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна

Федорова Марія Вікторівна
2018
Кропивницький: ФО-П Александрова М.В
78
Наукова стаття
П’ятизначні логіки: побудова та інтерпретація


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Шишацька Олена Володимирівна
2017
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.147-151
79
Наукова стаття
Побудова особисто-орієнтованих моделей ранжування результатів пошуку інформації


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2018
Індуктивне моделювання складних систем: Зб. наук. пр.
80
Тези
Про табличні алгоритми та функції


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зубенко Віталій Володимирович
2018
Міжнародної наук.-техн. конф. "Інформаційно-комп'ютерні технології"
c.67-68
81
Наукова стаття
Розширений динамічний стан та модель породження екземплярів у IPCL


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2017
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.127-130
82
Авторські свідоцтва
Свідоцтво про реєстрацію авторського права на твір "Комп'ютерна програма віддаленого керування електронними пристроями для бездротових команд" №69350 від 22.12.2016


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2018
Індуктивне моделювання складних систем: Зб. наук. пр.
83
Авторські свідоцтва
Свідоцтво про реєстрацію авторського права на твір "Система псевдоідентифікації користувачів на основі поведінкових характеристик"


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2018
Індуктивне моделювання складних систем: Зб. наук. пр.
84
Наукова стаття
Семантичні властивості логік загальних недетермінованих предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2017
Штучний інтелект
c.111-121
85
Наукова стаття
Семантичні властивості п’ятизначних логік


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шишацька Олена Володимирівна
2018
Проблеми програмування
т.1 c.22-35
86
Тези
Створення 3D моделі в системі автоматизованого проектування


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2018
Сучасний рух науки: тези міжнародної науково-практичної інтернет- конференції
c.13-17
87
Тези
Технічна реалізація контролю знань студентів у LMS Moodle


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2018
Теорія і практика використання системи управління навчанням Moodle»
c.26
88
Наукова стаття
Технологія автоматизованої адаптації веб-додатків на основі ідентифікації кіберсутностей


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2018
Управляющие системы и машины (УСиМ)
c.51-59
89
Наукова стаття
Упровадження засобів інформаційно-комунікаційних технологій при підготовці майбутніх правознавців


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2018
Збірник Криворізького національного університету «Новітні комп’ютерні технології»
c.65-77
90
Праці конференції
Формування змісту та методів навчання з програмування фахівців ІТ-галузей вищих навчальних закладів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2018
Матеріали міжнародної науково-практичної конференції «Проблеми математичної освіти» (ПМО)
c.211-212
91
Праці конференції
A correctness proof for presentation software using Isabelle


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
Іванов Євген В’ячеславович
2016
13th International Scientific Conference “Theoretical and Applied Aspects of Program Systems Development” (TAAPSD’2016)
c.117-120
92
Праці конференції
A Formal Proof of Properties of a Presentation System using Isabelle


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
Іванов Є. А.
2017
IEEE First Ukraine Conference on Electrical and Computer Engineering (UkrCon’2017)
c.1155-1160
93
Наукова стаття
Algebras and logics of partial quasiary predicates


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2017
Algebra and Discrete Mathematics
т.23 c.263-278
94
Праці конференції
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): Міжнародна конференція
c.504-523
95
Праці конференції
Authorship Attribution System


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Марченко Олександр Олександрович
Анісімов Анатолій Васильович
Никоненко Андрій Олександрович
2017
International Conference on Applications of Natural Language to Information Systems
c.227-234
96
Наукова стаття
Authorship attribution system


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Марченко Олександр Олександрович
Анісімов Анатолій Васильович
Никоненко Андрій Олександрович
2017
Lecture Notes in Computer Science
т.10260 c.227-231
97
Тези
Cистеми логічного виведення логік часткових предикатів безкванторних рівнів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
Волковицький Дмитро Борисович
2017
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
c.196-197
98
Тези
Finite automaton actions of free groups


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Федорова Марія Вікторівна
2016
Міжнародна математична конференція Groups and Actions: Geometry and Dynamicsю Конференція присвячена пам’яті В.І. Сущанського, Київ, 19 – 22 грудня 2016 року.
c.22
99
Наукова стаття
Finite automaton actions of free groups


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Федорова Марія Вікторівна
2016
Bulletin of Taras Shevchenko National Universiry of Kyiv. Series: Physics & Mathematics
c.15-18
100
Тези
Finite automaton actions of free groups of rank n


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Федорова Марія Вікторівна
2017
The 11th International Algebraic Conference in Ukraine dedicated to the 75th anniversary of V. V. Kirichenko
c.43
101
Праці конференції
Formalization of the Nominative Algorithmic Algebra in Mizar


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Криволап Андрій Володимирович
J. Świątek
2017
Information Systems Architecture and Technology: Proceedings of thу International Conference on Information Systems Architecture and Technology
c.237-244
102
Тези
Logics of partial non-deterministic predicates


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2017
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
c.94-95
103
Праці конференції
Machine Learning Method for Paraphrase Identification


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Марченко Олександр Олександрович
Анісімов Анатолій Васильович
Никоненко Андрій Олександрович
2017
Flexible Query Answering Systems. Proceedings of International Conference,
т.2017 c.164-173
104
Наукова стаття
Machine learning method for paraphrase identification


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Марченко Олександр Олександрович
Анісімов Анатолій Васильович
Никоненко Андрій Олександрович
2017
Lecture Notes in Computer Science
т.10333 c.164-173
105
Тези
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
106
Наукова стаття
Nominative data with ordered set of names


Факультет інформаційних технологій
Програмних систем і технологій
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2017
Computer Science Journal of Moldova
т.25 c.195-216
107
Тези
Non-classical properties of program-oriented logics


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
2017
Advanced Computer Information Technologies (ACIT): Міжнародна конференція
c.129-130
108
Тези
Orbital schreier graphs of free products of cyclic groups


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2017
Intern. Conf. "Dynamical system modelling and stability investigation". Kyiv
c.178
109
Наукова стаття
Planarity of orbital schreier graphs of free products of cyclic groups


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Федорова Марія Вікторівна
2016
Bulletin of Taras Shevchenko National University of Kyiv, Physics and Mathematics
c.19-22
110
Наукова стаття
Preface


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
2017
111
Праці конференції
Program-oriented logics of non-determonistic quasiary predicates


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2017
Наукові записки НаУКМА. Комп’ютерні науки
c.137-140
112
Наукова стаття
Properties of quasiary specification algebras


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
2016
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.132-140
113
Наукова стаття
Proving Properties of Programs on Hierarchical Nominative Data


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Скобелєв Володимир Геннадійович
2016
Штучний інтелект
т.3 c.371-398
114
Праці конференції
Real-time health monitoring via ECG analysis


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
Будіченко Владислав Олегович
2016
Штучний інтелект та інтелектуальні системи: Міжнародна науково-технічна конференція (AIIS)
115
Наукова стаття
Real-time health monitoring via ECG analysis


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
Будіченко Владислав Олегович
2017
Штучний інтелект
c.98-100
116
Наукова стаття
Simple named-complex valued nominative data -- definition and basic operations


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Криволап Андрій Володимирович
2017
FORMALIZED MATHEMATICS
c.online
117
Праці конференції
STRUCTURE OF CONTEXT - SENSITIVE SOFTWARE SERVICE FOR NOTIFICATION ABOUT HUMAN SAFETY THREATS


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
2017
Сучасні комп’ютерні інформаційні технології: Матеріали Всеукраїнської конференції з міжнародною участю АСІТ
c.130
118
Праці конференції
The implementation of BI geospatial information mapping system


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
Мамедов Тогрул Алірзайович
2016
13th International Scientific Conference “Theoretical and Applied Aspects of Program Systems Development” (TAAPSD’2016)
c.174-177
119
Праці конференції
The Institution-Theoretic Approach to Composition-Nominative Logics


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Ченцов Олексій Ілліч
Нікітченко Микола Степанович
2016
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.257-262
120
Навчальний посібник
Актуальні проблеми Data Mining


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
Теорії та технології програмування
Марченко Олександр Олександрович
2017
ВПЦ "Київський університет"
c.1-150
121
Наукова стаття
Використання комплексу спеціального програмного забезпечення майбутніми правознавцями у процесі розв’язування правових задач


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2016
Новітні інформаційно-комунікаційні технології в освіті: Всеукраїнська науково-практична конференція молодих учених та студентів
c.96-98
122
Тези
Відношення логічного наслідку в логіках монотонних та немонотонних часткових предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2017
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
c.185
123
Навчальний посібник
Дискретна математика у прикладах і задачах


Факультет комп'ютерних наук та кібернетики
НДС Теоретичної кібернетики
Теоретичної кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Трохимчук Ростислав Миколайович
2017
ВПЦ "Київський університет"
т.1 c.1-281
124
Матеріали конференції
Досвід розробки стандарту вищої освіти за спеціальністю 121 «Інженерія програмного забезпечення»


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Омельчук Людмила Леонідівна
2016
Класичний університет у контексті викликів епохи (Classic University in the Context of Challenges of the Epoch) : матеріали українсько-польської міжнародної наукової конференції (м. Київ, 22–23 вересня 2016 року)
c.115-116
125
Наукова стаття
Логіки безкванторно-функціональних рівнів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
Волковицький Дмитро Борисович
2016
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.117-122
126
Наукова стаття
Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2016
Штучний інтелект
c.103-110
127
Наукова стаття
Метод машинного навчання для ідентифікації парафразу


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
Теорії та технології програмування
Марченко Олександр Олександрович
Никоненко Андрій Олександрович
2016
Штучний інтелект
т.1 c.128-136
128
Тези
Метод машинного навчання для ідентифікації парафразу


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Марченко Олександр Олександрович
Никоненко Андрій Олександрович
2017
Конференції AIIS
129
Дисертаційна робота
Методика формування інформатичних компетентностей у майбутніх правознавців


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2016
Вид-во НПУ імені М. П. Драгоманова
130
Автореферат
Методика формування інформатичних компетентностей у майбутніх правознавців


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2016
Вид-во НПУ імені М. П. Драгоманова
131
Навчальний посібник
Об’єктно-орієнтоване програмування. Лабораторний практикум: навчальний посібник


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
Омельчук Людмила Леонідівна
Бойко Борис Іванович
2016
Айс Прінт
132
Наукова стаття
Першопорядкові логіки із квазіарними та n-арними предикатами


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2016
Наукові записки НаУКМА. Комп’ютерні науки
т.190 c.16-22
133
Тези
Побудова числень секвенційного типу в логіках реномінативних та безкванторно-функціональних рівнів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
Волковицький Дмитро Борисович
2017
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
c.187
134
Монографія
Розробка та впровадження галузевої рамки кваліфікацій в галузі "Інформаційні технології"


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
Теорії та технології програмування
Омельчук Людмила Леонідівна
Нікітченко Микола Степанович
Заславський Володимир Анатолійович
2016
Київський національний університет імені Тараса Шевченка
135
Наукова стаття
Секвенційні числення логік безкванторно-функціональних рівнів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
Волковицький Дмитро Борисович
2016
Штучний інтелект
c.50-62
136
Наукова стаття
Система визначення авторства тексту


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Марченко Олександр Олександрович
Никоненко Андрій Олександрович
2016
Штучний інтелект
т.1 c.77-85
137
Тези
Система визначення авторства тексту


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Марченко Олександр Олександрович
Никоненко Андрій Олександрович
2017
Конференції AIIS
138
Праці конференції
СТАНДАРТ ВИЩОЇ ОСВІТИ ЗА СПЕЦІАЛЬНІСТЮ “ІНЖЕНЕРІЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ” ЯК ІНСТРУМЕНТ ЗАБЕЗПЕЧЕННЯ ЯКОСТІ IT-ОСВІТИ В УКРАЇНІ


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Омельчук Людмила Леонідівна
2017
Сучасні комп’ютерні інформаційні технології: Матеріали Всеукраїнської конференції з міжнародною участю АСІТ
c.164-166
139
Тези
Табличні алгоритми


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зубенко Віталій Володимирович
2017
International Conference Problem of Decision Making Under Uncertainties
140
Наукова стаття
Точные оценки временной сложности реализации алгоритмов теоретико-множественных операций в табличных алгебрах


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теоретичної кібернетики
Теорії та технології програмування



Канарська Ірина Сергіївна
2017
Кібернетика і системний аналіз
т.53 c.3-15
141
Монографія
Формальные методы построения параллельных программ: научная монография


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Жереб Костянтин Анатолійович
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
Дорошенко Анатолій Юхимович
Яценко Олена Анатоліївна
2016
ФО-П Александрова М.В.
142
Наукова стаття
Чисті першопорядкові квазіaрні логіки з предикатами рівності


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2017
Проблеми програмування
c.263-278
143
Праці конференції
A Parallel Distributed System for Social Media Data Streams Processing


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
2016
Congress on Information Technology, Computational and Experimental Physics (CITCEP)
т.1 c.235-238
144
Праці конференції
Adaptation of Legacy Fortran Applications to Cloud Computing


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Дорошенко Анатолій Юхимович

Жереб Костянтин Анатолійович
2016
International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer (Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV))
c.119-126
145
Праці конференції
Application of the Method for Concurrent Programs Properties Proof to Real-World Industrial Software Systems


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2016
International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer (Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV))
т.1614 c.119-128
146
Праці конференції
Automated Program Design – an Example of Solving Weather Forecasting Problem


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
2016
Congress on Information Technology, Computational and Experimental Physics (CITCEP)
т.1 c.17-20
147
Наукова стаття
Development of computational techniques to solve problems external and internal ballistics


Факультет комп'ютерних наук та кібернетики
НДЛ Обчислювальних методів в механіці суцільних середовищ
Обчислювальної математики
Теорії та технології програмування

Стеля Олег Борисович
Сіренко Ігор Павлович
Потапенко Леонід Іванович
2016
Научни известия на НТСМ
т.24 c.3-6
148
Наукова стаття
Development of computational techniques to solve problems external and internal ballistics


Факультет комп'ютерних наук та кібернетики
НДЛ Обчислювальних методів в механіці суцільних середовищ
Обчислювальної математики
Теорії та технології програмування

Стеля Олег Борисович
Сіренко Ігор Павлович
Потапенко Леонід Іванович
2016
Science. Business. Society
т.1 c.3-6
149
Наукова стаття
Hydrodynamic Modeling of Industrial Pollutants Spreading in Atmosphere


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
2016
Mathematical Problems in Meteorological Modelling
т.24 c.96-125
150
Наукова стаття
Mathematical Foundations of Multiple Inheritance: Reflexive-transitive Closure of the Binary Relations


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Шишацька Олена Володимирівна

2016
Perspective technologies and methods in mems design: International conference
т.1
151
Наукова стаття
Peterson’s Algorithm for Mutual Exclusion Correctness Proof in IPCL


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.68-73
152
Наукова стаття
Properties of Nominative Programs Specified byEffective Definitional Schemes


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Скобелєв Володимир Геннадійович
Нікітченко Микола Степанович
2016
Mathematical Foundations of Informatics (MFOI): Міжнародна конференція
c.222-240
153
Наукова стаття
Properties Proof Method in IPCL Application To Real-World System Correctness Proof


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2015
Information Models and Analyses
154
Тези
Quantifier-free functional and renominative logics of partial predicates


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
Волковицький Дмитро Борисович
2016
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.27 c.149-151
155
Наукова стаття
Sales Forecasting using Data Mining Methods


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.94-101
156
Тези
The Significant Features for Search Engines Ranking Results


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2016
Proceedings of the International Workshop on Inductive Modelling IWIM
c.54-60
157
Наукова стаття
Автоматизована розробка паралельної розподіленої системи обробки потокових даних


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
2016
Проблеми програмування
158
Наукова стаття
Алгебри квазіарних та бі-квазіарних реляцій


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2016
Проблеми програмування
c.17-28
159
Наукова стаття
Альтернативні види пошуку науково-технічної інформації в Інтернеті


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2016
Геометричне моделювання та інформаційні технології: науковий журнал
c.69-73
160
Наукова стаття
Безкванторно-функціональні логіки часткових квазіарних предикатів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Волковицький Дмитро Борисович
Шкільняк Степан Степанович
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.148-154
161
Тези
Використання RGB-світловодів для передачі даних


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
2015
Міжнародна конференція Infocom Advanced Soilution
т.1
162
Наукова стаття
До створення Інтернет порталу надання послуг метеорологічного прогнозування на мультипроцесорній плвтформі


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
2015
Проблеми програмування
т.3 c.24-32
163
Наукова стаття
Доведення властивості коректної роботи банківської системи виплати грошових переказів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2016
Проблеми програмування
c.119-132
164
Тези
Застосування середовища Moodle у процесі навчання студентів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2016
Збірник Криворізького національного університету «Новітні комп’ютерні технології»
т.14 c.103
165
Тези
Застосування хмарних технологій у процесі навчання студентів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2016
Всеукраїнська науково-практична інтернет конференція «Автоматизація та комп’ютерно-інтегровані технології у виробництві та освіті: стан, досягнення, перспективи розвитку»
c.102-103
166
Наукова стаття
Исследование значимости признаков ранжирования результатов работы поисковых систем


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2016
Індуктивне моделювання складних систем: Зб. наук. пр.
c.111-116
167
Наукова стаття
Исчисления секвенциального типа для проверки выполнимости в логиках квазиарных предикатов


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
Нікітченко Микола Степанович
2015
Вісник Київського національного університету імені Тараса Шевченка. Кібернетика
c.30-37
168
Наукова стаття
К вопросу о производительности распределенных хранилищ объектов данных в памяти ОЗУ


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
2015
Проблеми програмування
c.33-38
169
Тези
Кластерна система для автоматизованого моніторингу потокових даних соціальних мереж


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
2015
Міжнародна конференція Infocom Advanced Soilution
т.1 c.106-107
170
Тези
Кластерний модуль управління робочими процесами для системи підтримки операцій оператора зв’язку


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
2015
Міжнародна конференція Infocom Advanced Soilution
т.1 c.106-107
171
Наукова стаття
Композиційно-номінативні логіки безкванторних рівнів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
Волковицький Дмитро Борисович
2016
Проблеми програмування
c.48-62
172
Наукова стаття
Логики частичных предикатов, индуцированные трехзначными логиками Клини


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування

Шишацька Олена Володимирівна
2016
Штучний інтелект
c.43-47
173
Наукова стаття
Математические основания множественного наследования: рефлексивно-транзитивное замыкание


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування

Шишацька Олена Володимирівна
2016
Міжнародний науково-практичний семінар -"Комбінаторні конфігурації та їх застосування"
174
Наукова стаття
Математические основания множественного наследования: рефлексивно-транзитивное замыкание


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування

Шишацька Олена Володимирівна
2016
Вісник Харківського національного університету ім. В.Н. Каразіна
т.28
175
Тези
Механизм извлечения и анализа данных слабоструктурированных веб-документов с использованием семантической разметки


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2016
Матеріали міжнародної наукової конференції «Інтелектуальні системи прийняття рішень та проблеми обчисленого інтелекту» ISDMCI
c.118-120
176
Наукова стаття
Многошаговый метод численного решения задачи моделирования циркуляции атмосферы в постановке задачи Коши


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
2015
177
Наукова стаття
Об инвариантности ключей относительно операций табличных алгебр


Факультет комп'ютерних наук та кібернетики
Теоретичної кібернетики
Теорії та технології програмування



2015
Кибернетика и системный анализ (КиСА)
т.51 c.3-13
178
Наукова стаття
Перетворення успадкованого коду на Fortran до масштабованого паралелізму і хмарних обчислень


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Дорошенко Анатолій Юхимович


Жереб Костянтин Анатолійович
2016
Проблеми програмування
c.133-140
179
Наукова стаття
Прогнозування навантаження та планування розкладу роботи операторів контактного центру


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2016
Проблеми програмування
c.227-236
180
Наукова стаття
Реномінативні логіки квазіарних предикатів


Факультет комп'ютерних наук та кібернетики
Теоретичної кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
Волковицький Дмитро Борисович
2016
Компьютерная математика
c.46-57
181
Наукова стаття
Рефлексивно-транзитивные замыкания бинарных отношений


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Шишацька Олена Володимирівна

2016
Электротехнические и компьютерные системы
182
Тези
Система реального часу для автоматизованого моніторингу потокових даних соціальних мереж


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
2015
ICACIT: Міжнародна конференція з автоматичного управління та інформаційних технологій
т.3 c.172-175
183
Наукова стаття
Системи логічного виведення в логіках безкванторно-функціональних рівнів


Факультет комп'ютерних наук та кібернетики
Теоретичної кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
Волковицький Дмитро Борисович
2016
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.155-160
184
Навчальний посібник
Теоретико-множинні основи табличних баз даних


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теоретичної кібернетики
Теорії та технології програмування

Сільвейструк Людмила Миколаївна


2016
К.: Видавничо-поліграфічний центр «Київський університет» (навчальний посібник)
c.1-135
185
Навчальний посібник
Теорія програмування в прикладах і задачах


Факультет комп'ютерних наук та кібернетики
Факультет інформаційних технологій

Теорії та технології програмування
Панченко Тарас Володимирович
Нікітченко Микола Степанович
Поляков Сергій Анатолійович
2015
К.: Видавничо-поліграфічний центр «Київський університет» (навчальний посібник)
c.191
186
Наукова стаття
Чисті першопорядкові логіки квазіарних предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
2016
Проблеми програмування
c.73-86
187
Підручник
Технологія програмування інформаційних систем: Методи, засоби, інструменти


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Омельчук Людмила Леонідівна
Нікітченко Микола Степанович

2015
ВПЦ "Київський університет"
188
Праці конференції
Analysis of Nominative Data Sets Structure


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
2015
Foundations of Informatics (FOI): International workshop
c.65-76
189
Наукова стаття
Axiomaticsformultivalueddependenciesintabledatabases:correctness,completeness, completeness criteria


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
2015
Springer International Publishing Switzerland Brunów, Poland.
c.45-55
190
Наукова стаття
Composition - nominative specification languages of the object - oriented programs


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Омельчук Людмила Леонідівна
2015
European Cooperation. – Warsaw, Poland
c.76-84
191
Тези
Composition-Nominative Logics as Institutions


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
2015
Handbook of the World Congress and School on Universal Logic
c.370-371
192
Тези
DSS: state of art and points of growth


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
НДС проблем системного аналізу
Системного аналізу і теорії прийняття рішень
Теорії та технології програмування
Наконечний Олександр Григорович

Донченко Володимир Степанович
Зінько Петро Миколайович
2015
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.2 c.30
193
Наукова стаття
EQUATIONAL LOGIC OF PARTIAL PREDICATES STABLE UNDER TOLERANCE RELATIONS


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович

2014
Collection of articles: “CONTEMPORARY PROBLEMS OF NATURAL SCIENCES”
т.1 c.44-49
194
Наукова стаття
Event-Based Proof of the Mutual Exclusion Property of Peterson’s Algorithm


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
2015
FORMALIZED MATHEMATICS
т.23 c.325-331
195
Наукова стаття
Inductive Building of Search Results Ranking Models to Enhance the Relevance of Text Information Retrieval


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2015
Database and Expert Systems Applications
c.291-295
196
Праці конференції
Institution for Pure First-Order Composition-Nominative Logic


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
2015
Foundations of Informatics (FOI): International workshop
c.180-197
197
Матеріали конференції
Intensionality, compositionality, and nominativity in information system development


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
2015
IEEE International Conference on Intelligent Computing and Information Systems (ICICIS)
c.12-14
198
Наукова стаття
Linearization algorithms CLOS and LOOPS of the classes in programming languages: the formal definitions


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


Поляков Сергій Анатолійович
2015
International Scientific Conference on Informatics . INFORMATICS'2015, November 18th – 20h, 2015 in Poprad , Slovakia
c.176-185
199
Наукова стаття
Linearization algoritmhms CLOS and LOOPS of the classes in programming languages: the formal definitions


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


Поляков Сергій Анатолійович
2015
International Scientific Conference on Informatics . INFORMATICS'2015, November 18th – 20h, 2015 in Poprad , Slovakia
c.63-66
200
Матеріали конференції
Logics of Non-Deterministic Quasiary Predicates


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2015
Handbook of the World Congress and School on Universal Logic
т.5 c.329-330
201
Наукова стаття
Parallel Programs Correctness Proof Method Using Simplified State with Applications


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.174-177
202
Тези
Philosophical Aspects of Programming Theory Development


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
2015
Handbook of the World Congress and School on Universal Logic
c.210-211
203
Праці конференції
Safety Property Proof using Correctness Proof Methodology in IPCL


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2015
International Scientific Conference of Students and Young Scientists "Theoretical and Applied Aspects of Cybernetics"
c.37-44
204
Праці конференції
Semantic Properties of Logics of Quasiary Predicates


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
Нікітченко Микола Степанович
2015
Foundations of Informatics (FOI): International workshop
т.1 c.180-197
205
Наукова стаття
Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2015
Computer Science Journal of Moldova
т.23 c.102-122
206
Наукова стаття
Set-theoretic Analysis of Nominative Data


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Скобелєв Володимир Геннадійович
Нікітченко Микола Степанович
2015
Computer Science Journal of Moldova
т.23 c.270-288
207
Тези
Web-based information analysis using inductive modeling algorithms


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2015
Proceedings of the International Conference on Inductive Modelling ICIM
c.81-84
208
Наукова стаття
Аксiоматика багатозначних залежностей табличних баз даних


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2015
Доповіді НАН України
т.6 c.24-29
209
Тези
Аксіоматика багатозначних залежностей табличних баз даних: повнота та її критерії


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.35-43
210
Праці конференції
Алгебри квазіарних відношень


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.11 c.174-181
211
Праці конференції
Анализ строения множества именных множеств


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Скобелєв Володимир Геннадійович
Іванов Євген В’ячеславович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.11 c.133-137
212
Наукова стаття
Аналіз результатів педагогічного експерименту формування інформатичних компетентностей у майбутніх правознавців


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2015
Науковий часопис НПУ імені М.П. Драгоманова. Серія 2. Комп’ютерно-орієнтовані системи навчання
c.165-170
213
Тези
Безкванторні композиційно-номінативні логіки квазіарних предикатів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
Волковицький Дмитро Борисович
2015
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
т.17 c.177
214
Праці конференції
Безкванторні композиційно-номінативні логіки функціональних рівнів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
Волковицький Дмитро Борисович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.11 c.262-269
215
Тези
Безкванторно-функціональні логіки часткових предикатів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
Волковицький Дмитро Борисович
2015
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.25 c.145-146
216
Тези
Верифікація композиційно-номінативних програм


Факультет комп'ютерних наук та кібернетики
НДС проблем системного аналізу
Теорії та технології програмування

Нікітченко Микола Степанович
2015
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
c.171
217
Наукова стаття
Відношення конфіальності, передпорядки та порядки, семантика фрази ORDER BY запитів SQL-подібних мов


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шишацька Олена Володимирівна

2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.4 c.88-96
218
Наукова стаття
Доведення тотальної коректності системи Infosoft e-Detailing у IPCL


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.80-83
219
Праці конференції
Документо-орієнтовані СУБД класу NOSQL: модель даних та семантика методу Find()


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2015
Інтелектуальні технології в системному програмуванні. Всеукраїнська науково-практична конференція молодих учених та студентів
c.54-56
220
Тези
Загальна модель успадкування


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.25-28
221
Праці конференції
Информационная система «Поступление в Киевский университет»: ER-модель предметной области, схема базы данных, интерфейсные решения


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
2014
Knowledge - Dialogue - Solution (KDS): International Conference
c.54-62
222
Праці конференції
Композиційна семантика базових правил підстановки B методу


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2015
Інтелектуальні технології в системному програмуванні. Всеукраїнська науково-практична конференція молодих учених та студентів
c.90
223
Наукова стаття
Критерії збереження активного домену сигнатурними операціями табличних алгебр


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теоретичної кібернетики
Теорії та технології програмування
Канарська Ірина Сергіївна


2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.94-98
224
Наукова стаття
Логики частичных предикатов, индуцированные трехзначными логиками Клини


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування

Шишацька Олена Володимирівна
2015
Штучний інтелект та інтелектуальні системи: Міжнародна науково-технічна конференція (AIIS)
c.67-72
225
Тези
Логіки квазіарних предикатів із узагальненими реномінаціями та предикатами-індикаторами наявності значення для змінних


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2015
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
т.17 c.171
226
Тези
Математичесие основания современных реляционных СУБД


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2015
Международный научно-практический форум «Наука и бизнес»
c.52-55
227
Тези
Математические основания современных реляционных СУБД


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2015
Международный научно-практический форум «Наука и бизнес»
c.128-132
228
Тези
Модель даннях документо-ориентированной системы управления базами даннях MONGODB


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.44-7
229
Навчальний посібник
Навчально-методичний посібник «Сучасні інформаційні технології» для студентів спеціальності «Правознавство» (6.030401)


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна

2015
СПД Гадяк Жанна Володимирівна, друкарня «Волиньполіграф»
c.1-104
230
Праці конференції
О языке запросов информационной системы «Поступление в Киевский университет»


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.61-66
231
Тези
Огляд типів рекомендаційних систем та використання баз даних для підвищеня їх продуктивності


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


Поляков Сергій Анатолійович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.29-34
232
Наукова стаття
Оцінювання знань студентів у вищих навчальних закладах


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2015
Science and Education a New Dimension. Pedagogy and Psychology
c.21-24
233
Наукова стаття
Применение кластерного анализа для повышения полноты поиска информации в сети Интернет


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2015
Індуктивне моделювання складних систем: Зб. наук. пр.
c.123-128
234
Наукова стаття
Принципы разработки украинской секторальной рамки квалификаций по Информатике


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Омельчук Людмила Леонідівна
Заславський Володимир Анатолійович
Нікітченко Микола Степанович
2014
Вестник университета (Государственный университет управления) – Москва, Российская Федерация
т.19 c.153-160
235
Праці конференції
Реноминативные и безкванторные логики частичных квазиарных предикатов


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Волковицький Дмитро Борисович
Шкільняк Степан Степанович
2014
Научная дискуссия: вопросы математики, физики, химии, биологии: Международная заочная научно-практическая конференция
т.23 c.6-10
236
Тези
Системы поддержки принятия решений: ретроспективы и перспективы


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
НДС проблем системного аналізу
Системного аналізу і теорії прийняття рішень
Теорії та технології програмування
Наконечний Олександр Григорович
Донченко Володимир Степанович

Зінько Петро Миколайович
2015
Наука и бизнес. Экономика знаний. Международный научно-практический форум.
т.2 c.196-200
237
Тези
Ситемы поддержки принеятия решений: ретроспективы и перспективы


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування

Донченко Володимир Степанович
Зінько Петро Миколайович
Наконечний Олександр Григорович
2015
Международный научно-практический форум «Наука и бизнес»
c.196-200
238
Наукова стаття
Современное состояние теории мультимножеств с сущностной точки зрения


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування

Гришко Юлія Олександрівна

2015
239
Навчальний посібник
Теорія алгоритмів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2015
ВПЦ "Київський університет"
c.1-239
240
Навчальний посібник
Терія програмування в прикладах і задачах


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Панченко Тарас Володимирович
Поляков Сергій Анатолійович
2015
ВПЦ "Київський університет"
c.1-191
241
Підручник
Технологія програмування інформаційних систем. Методи, засоби, інструменти.


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування

Нікітченко Микола Степанович
Омельчук Людмила Леонідівна
2015
ВПЦ "Київський університет"
c.1-367
242
Матеріали конференції
Тотальна корекетність системи Infosoft e-Detailing 1.0


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2015
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.98-103
243
Наукова стаття
Формалізація видів паралелізму у IPCL


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2008
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.3 c.152-157
244
Тези
Формальна модель даних та семантика запитів для документо-орієнтованих СУБД


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2015
Матеріали міжнародної науково-практичної конференції
c.58-59
245
Наукова стаття
Формальні методи розробки програмного забезпечення Z, B, VDM: порівняльний аналіз


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2015
Міжнародна науково-практична конференція
c.19-25
246
Наукова стаття
Формування інформатичних компетентностей у майбутніх правознавців


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2015
Вісник Черкаського університету. Серія Педагогічні науки
т.26 c.90-95
247
Наукова стаття
Числення секвенційного типу для перевірки виконуваності в логіках квазіарних предикатів


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2015
Вісник Київського національного університету імені Тараса Шевченка. Кібернетика
т.1 c.30-38
248
Праці конференції
Чисті першопорядкові логіки часткових та неоднозначних предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
Нікітченко Микола Степанович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.11 c.182-190
249
Наукова стаття
A Method for Parallel Software Correctness Proof in IPCL


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.195-199
250
Праці конференції
Extending Floyd-Hoare Logic for Partial Pre- and Postconditions


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2013
Communications in Computer and Information Science
т.412 c.355-378
251
Праці конференції
Inference Systems for Floyd-Hoare Logic with Partial Predicates


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Криволап Андрій Володимирович
2013
Proceedings of the Twelfth International Conference on Informatics, INFORMATICS 2013
c.88-93
252
Матеріали конференції
Logics of partial and multi-valued predicates with extended renominations


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Шкільняк Степан Степанович
2014
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.24 c.91
253
Наукова стаття
On some relations between sets of mappings of a set in factor-rings


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.113-117
254
Наукова стаття
Prospects for Applying the Concept of the Semantic Web Analysis for Existing sites


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2014
Індуктивне моделювання складних систем: Зб. наук. пр.
c.41-46
255
Матеріали конференції
Quasiary Specification Algebras and Logics


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
2014
International Workshop on Algebraic Development Techniques
c.56-57
256
Наукова стаття
Simplified Method For Software Correctness Proof In IPCL


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2014
Intellectual Archive
c.10-14
257
Наукова стаття
V-сингулярні семантичні моделі першо-порядкових логік


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.166-171
258
Наукова стаття
V-сингулярні семантичні моделі першопорядкових логік


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.201-210
259
Тези
Автоматизоване робоче місце майбутнього правознавця


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2014
Комп’ютерно орієнтовані системи навчання природничо-математичних дисциплін: міжнародний науково-практичний семінар
т.1 c.123-124
260
Матеріали конференції
Автоматизоване робоче місце майбутнього правознавця


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2014
Міжнородний науково-практичний семінар Комп’ютерно орієнтовані системи навчання природничо-математичних дисциплін
т.1 c.163
261
Тези
Алгебри квазіарних відношень та їх властивості


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2014
International conference knowledge-Dialogue-Solution
c.78
262
Праці конференції
Алгебри квазіарних відношень та їх властивості


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович

2014
International Conference KDS-2014 “International Models of Knowledge”
т.20 c.80-86
263
Матеріали конференції
Безкванторні логіки часткових квазіарних предикатів


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Волковицький Дмитро Борисович
2014
Теорія прийняття рішень: міжнародна школа-семінар
т.7 c.184-185
264
Наукова стаття
Вироджені семантичні моделі першопорядкових логік


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.169-173
265
Наукова стаття
Застосування компетентнісно орієнтованого підходу до модернізації змісту дисциплін циклу професійної та практичної підготовки фахівців з інформатики на прикладі розробки робочої навчальної програми дисципліни «Програмування»


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Омельчук Людмила Леонідівна
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.172-179
266
Наукова стаття
Зміст дисциплін циклу професійної та практичної підготовки фахівців з інформатики


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Омельчук Людмила Леонідівна
2014
Вісник Національного технічного університету України „Київський політехнічний інститут”. Філософія. Психологія. Педагогіка
c.103-109
267
Тези
Извлечение и анализ данных Интернет-ресурсов с использованием семантической разметки


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2014
Компьютерное моделирование в наукоемких технологиях: Міжнародна науково-технічна конференція
c.88-90
268
Тези
Интеллектуальные методы анализа данных как инновационный элемент мониторинга экономических процессов


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2014
Материалы международной научно-технической конференции «Геоинформационные системы и компьютерные технологии эколого-экономического мониторинга»
c.90-91
269
Тези
Интеллектуальный подход к извлечению знаний из данных с помощью алгоритмов индуктивного моделирования


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2014
Материалы международной конференции "Проблемы теоретической кибернетики"
c.47-50
270
Монографія
Інформатика: візуальне програмування: навчально-методичний посібник


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2014
неактивне поле (для монографій та підручників/посібників)
271
Наукова стаття
Композиційно-номінативні логіки часткових та неоднозначних предикатів


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Шкільняк Степан Степанович
2014
Компьютерная математика
т.1 c.93-102
272
Наукова стаття
Композиція побудови умови за прообразом у монотонних логіках Флойда-Хоара


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Криволап Андрій Володимирович
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.3 c.163-168
273
Наукова стаття
Методика вивчення теми «Українські законодавчі інформаційні бази даних» для студентів юридичних факультетів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2014
Вісник Чернігівського національного педагогічного університету імені Т.Г. Шевченка
т.113 c.144-150
274
Наукова стаття
Методика вивчення теми «Українські законодавчі інформаційні бази даних» для студентів юридичних факультетів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2014
Вісник Чернігівського національного педагогічного університету імені Т.Г. Шевченка
т.113 c.144-150
275
Наукова стаття
Методичні рекомендації до лабораторних занять з курсу «Системне програмування та операційні системи»


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2009
Логос (навчальний посібник)
c.42
276
Навчальний посібник
Методичні рекомендації до практичних занять з курсу «Теорія програмування»


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2009
Логос (навчальний посібник)
c.40
277
Матеріали конференції
Методы анализа статистической эквивалентности отображений конечных множеств


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
2014
Международная научная конференция Компьютерные науки и информационные технологи
т.17 c.291-293
278
Матеріали конференції
Модели и методы решения проблемы проверки выполнимости формул разрешимых теорий (обзор)


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Скобелєв Володимир Геннадійович

2014
Международная научная конференция Компьютерные науки и информационные технологи
т.17 c.297-305
279
Навчальний посібник
Навчальний посібник з дисципліни "Теорія програмування"


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Поляков Сергій Анатолійович
Панченко Тарас Володимирович
2014
HQPrint
c.186
280
Матеріали конференції
Обзор современной теории нормализации в реляционных базах данных


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2014
Проблемы теоретической кибернетики
т.17 c.39-44
281
Наукова стаття
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2014
Проблеми програмування
т.2 c.17-28
282
Тези
Першопорядкові логіки, розширені реномінаціями з невизначеним значенням змінних та предикатами-індикаторами наявності значення


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2013
XXII Міжнародна конференція "Problems of Decision Making under Uncertainties" (PDMU-2013), Ялта-Форос, 23-27 вересня 2013 р.
т.1 c.116–117
283
Наукова стаття
Подання динамічних вимірів у OLAP-кубах


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2012
Проблеми програмування
т.2 c.299-307
284
Наукова стаття
Порівняльний аналіз українського стандарту освітньо-професійної підготовки з інформатики та державного освітнього стандарту Російської Федерації з інформатики та обчислювальної техніки


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Омельчук Людмила Леонідівна
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.174-178
285
Авторські свідоцтва
Програмний комплекс моделювання складних систем на основі ітераційних алгоритмів МГУА з можливістю мережевого доступу


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2014
Системні дослідження та інформаційні технології
c.43-55
286
Наукова стаття
Реализация работы нестандартных типов данных в Framework Django типа данных tree


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


Поляков Сергій Анатолійович
2015
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.26-32
287
Наукова стаття
Реномінативні композиційно-номінативні логіки з предикатами рівності


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Шкільняк Степан Степанович
Волковицький Дмитро Борисович
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.3 c.156-163
288
Матеріали конференції
Реномінативні логіки часткових квазіарних предикатів з рівністю


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Шкільняк Степан Степанович
Волковицький Дмитро Борисович
2014
XXIII Міжнародна конференція "Problems of Decision Making under Uncertainties" (PDMU-2014), Мукачево, 12-16 травня 2014 р.
т.23 c.190-191
289
Наукова стаття
Розробка сервісно-орієнтованих засобів для запуску паралельних програм на мультипроцесорному кластері


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
2014
Проблеми програмування
c.3-14
290
Наукова стаття
Системи специфiкацiй об’єктно-орiєнтованих програм над номiнативними даними


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Омельчук Людмила Леонідівна
2014
Таврiйський вiсник iнформатики та математики
c.43-49
291
Наукова стаття
Согласованное описание алгоритмов в рамках алгебраического аппарата


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
2014
Проблеми програмування
c.29-37
292
Наукова стаття
Формалізоване проектування та генерація паралельної програми чисельного моделювання погоди


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
2014
Проблеми програмування
c.72-81
293
Наукова стаття
Швидка або якісна розробка


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2014
Проблеми програмування
т.2 c.38-43
294
Тези
A conceptual framework for understanding the process of industrial convergence and their influence on product consumtion: example of movie and video game industries


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Сільвейструк Людмила Миколаївна

2013
XI INTERNATIONAL SCIENTIFIC CONFERENCE OF STUDENTS AND YOUNG SCIENTISTS «SHEVCHENKIVSKA VESNA 2013: ECONOMICS
т.1 c.276.0000
295
Праці конференції
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
296
Праці конференції
Composition-Nominative Logics of Partial Quasiary Functions and Predicates


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2013
Handbook of the World Congress and School on Universal Logic
c.335-337
297
Наукова стаття
Cемантические свойства и секвенциальные исчисления чистых композиционно-номинативных логик первого порядка


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
Нікітченко Микола Степанович
2013
Information Theories & Applications
т.20 c.379-390
298
Праці конференції
Developing a Hierarchy of Composition-Nominative Logics


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2013
Handbook of the World Congress and School on Universal Logic
c.135-137
299
Наукова стаття
Experimental Verification of Internal Convergence of Iterative GMDH Algorithms


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2013
Індуктивне моделювання складних систем: Зб. наук. пр.
c.146-150
300
Наукова стаття
Formal Specification of the NoSQL Data Model


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Поляков Сергій Анатолійович

2013
INFORMATICS - International Conference
т.1 c.284.0000
301
Тези
Kомпозиційно-номінативні логіки з розширеними реномінаціями


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
Нікітченко Микола Степанович
2013
Dynamical System Modeling and Stability Investigation: International Conference
c.407
302
Праці конференції
Models of Class Specification Intersection of Object-Oriented Programming


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2013
ICT in Education, Research and Industrial Applications: Integration, Harmonization, and Knowledge Transfer (ICTERI): Міжнародна конференція
т.9 c.590-594
303
Наукова стаття
Models of class specification intersection of object-oriented programming


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування


2013
Springer
т.1 c.590.0000
304
Наукова стаття
Models of Class Specification Junction and Intersection in Object-Oriented Paradigm


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2013
INFORMATICS - International Conference
т.12 c.134-145
305
Праці конференції
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
306
Тези
Usage the Operating Systems Multitasking for Organization Multi-Access to Complex Systems Modeling Computing System


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2013
Proceedings of the International Conference on Inductive Modelling ICIM
c.53-57
307
Наукова стаття
Usage the operating systems multitasking for organization multi-access to complex systems modeling computing system


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2013
Індуктивне моделювання складних систем: Зб. наук. пр.
c.146-150
308
Тези
Вироджені моделі логік часткових квазіарних предикатів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2013
Dynamical System Modeling and Stability Investigation: International Conference
c.408
309
Наукова стаття
Властивості відношень логічного наслідку в логіках квазіарних предикатів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2013
Штучний інтелект
т.1 c.67-78
310
Наукова стаття
Деякі питання специфікацій обмежень при проектуванні програмних систем


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Сільвейструк Людмила Миколаївна
Шишацька Олена Володимирівна
2013
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.1 c.148.0000
311
Наукова стаття
Диаграммы классов ООП: формализация и анализ


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування


2013
Tools & Methods of Program Analysis
т.1 c.313.0000
312
Наукова стаття
Дистанційне навчання у вищих навчальних закладах юридичних спеціальностей


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2011
Науковий часопис НПУ імені М.П. Драгоманова
т.28 c.201.0000
313
Наукова стаття
Загальна теорія бінарних відношень: проекція та відношення сумісності


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Сільвейструк Людмила Миколаївна

2013
Невідоме
т.1 c.50.0000
314
Наукова стаття
Застосування теорії мультимножин


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС Проблем програмування
Теорії та технології програмування
Гришко Юлія Олександрівна

2013
Радіоелектронні і комп'ютерні системи
c.204.0000
315
Тези
Использование GRID-систем для распределения процесса вычислений по данным в алгоритмах индуктивного моделирования


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2013
Матеріали міжнародної наукової конференції «Інтелектуальні системи прийняття рішень та проблеми обчисленого інтелекту» ISDMCI
c.448-450
316
Наукова стаття
Композиційно-номінативні логіки із спеціальними предикатами наявності значення для змінних


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
Нікітченко Микола Степанович
2013
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.128-133
317
Тези
Композиційно-номінативні логіки часткових предикатів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2013
Міжнародна конференція присвячена 90-річчу від дня народження академіка В.М. Глушкова “Сучасна інформатика: проблеми, досягнення та перспективи розвитку”
c.42-44
318
Тези
Контрольно-оцінювальна діяльність у процесі навчання інформаційними технологіями (СІТ) майбутніх юристів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2012
319
Праці конференції
Критерии совместности функций


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування




2013
Dynamical System Modeling and Stability Investigation: International Conference
т.9 c.145
320
Наукова стаття
Логіки часткових предикатів з розширеними реномінаціями та кванторами


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2013
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.210-215
321
Матеріали конференції
Логіки часткових предикатів із розширеними реномінаціями та предикатами-індикаторами наявності значення


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2013
Глушковські читання: Всеукраїнська науково-практична конференція
c.169-171
322
Навчальний посібник
Методичні розробки курсу „Сучасні інформаційні технології” для студентів спеціальності “Правознавство” (6.030401)


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна

2012
Київський національний університет імені Тараса Шевченка
c.1-112
323
Праці конференції
Многосортная монотонная логика Флойда-Хоара


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Криволап Андрій Володимирович
2013
International Journal Information Theories and Applications 2013
т.20 c.331.0000
324
Наукова стаття
Модель операции пересечения спецификаций классов объектно-ориентированного программирования


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2013
Radioelectronics and Communications Systems
т.5 c.210-213
325
Матеріали конференції
Нетрадиционные семантики логик первого порядка


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
Нікітченко Микола Степанович
2013
Смирновские чтения по логике: Международная научная конференция
т.8 c.24-25
326
Наукова стаття
Обмеження атрибутів в моделях даних


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Сільвейструк Людмила Миколаївна
Шишацька Олена Володимирівна
2013
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.288.0000
327
Тези
Общая теорія бинарных отношений: полный образ и ограничение


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Сільвейструк Людмила Миколаївна

2013
Проблемы критических ситуаций в точной механике и управлениию
т.1 c.37.0000
328
Наукова стаття
Особливості навчання сучасних інформаційних технологій студентів юридичних спеціальностей


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2011
329
Тези
Оцінювання знань студентів з курсу "Сучасні інформаційні технології" при кредит.мод. сист. організації навчального процесу


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2011
330
Праці конференції
Первопорядковые композиционно-номинативные логики частичных предикатов


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2013
331
Тези
Питання повноти систем виводу монотонних логік Флойда-Хоара


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Криволап Андрій Володимирович
2013
International Conference "Dynamical Systems Modelling And Stability Investigation". Thesis of conference reports. Kyiv
т.1 c.403.0000
332
Наукова стаття
Планировщики задач операционной системы Linux и перспективы их развития для эффективного ведения научных расчетов


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2013
Моделювання та інформаційні технології, Збірник наукових праць ІПМЕ
c.73-78
333
Наукова стаття
Побудова секвенційних числень логік квазіарних предикатів першого порядку


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2013
Штучний інтелект
т.4 c.62-73
334
Наукова стаття
Порівняльний аналіз українського стандарту освітньо-професійної підготовки з інформатики та Computer Science’2008


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Омельчук Людмила Леонідівна
2012
335
Наукова стаття
Порівняльний аналіз українського стандарту освітньо-професійної підготовки з інформатики та Computer Science’2013


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Омельчук Людмила Леонідівна
2013
336
Наукова стаття
Построение и применение модели отсеивания нерелевантных источников при поиске научно-технической информации в Интернете


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2013
Кибернетика и вычеслительная техника
c.52-67
337
Навчальний посібник
Прикладна логіка


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2013
ВПЦ "Київський університет"
c.1-278
338
Тези
Проблема спростовності у монотонних Логіках Флойда-Хоара


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2013
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.1 c.97.0000
339
Матеріали конференції
Проблеми використання інформаційних технологій в процесі навчання майбутніх юристів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2013
Современная наука. Новые перспективы: сборник научных трудов
т.1 c.62-63
340
Наукова стаття
Психологічний стан очікування результатів оцінювання знань студентами юридичних факультетів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2012
Соціальна робота в Україні: теорія і практика
т.1 c.134.0000
341
Наукова стаття
Пути и методы повышения быстродействия сложных вычислений


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2013
Комп'ютерні засоби, мережі та системи
c.27-33
342
Тези
Расширение программной алгебры стандартных композиций оператором обработки исключительных ситуаций


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Поляков Сергій Анатолійович
2013
SWorld
т.2 c.56.0000
343
Тези
Розширення логік часткових предикатів реномінаціями з невизначеним значенням


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
2013
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.21 c.179-180
344
Тези
Розширення логік часткових предикатів реномінаціями з невизначеним значенням імен


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2013
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.21 c.179-180
345
Наукова стаття
Секвенційні системи логічного виведення першопорядкових логік часткових предикатів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2013
Компьютерная математика
т.2 c.88-96
346
Праці конференції
Секвенційні числення логік квазіарних предикатів першого порядку


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2013
Штучний інтелект. Інтелектуальні системи: матеріали Міжнародної науково-технічної конференції (Кацивелі, Крим, 2013)
c.40-43
347
Наукова стаття
Семантичні властивості логік часткових предикатів з розширеними реномінаціями


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2013
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.3 c.297-302
348
Наукова стаття
Семантичні властивості монотонних логік Флойда-Хоара


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Криволап Андрій Володимирович
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.215.0000
349
Наукова стаття
Сильний логічний наслідок в логіках квазіарних предикатів та секвенційні числення для його формалізації


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2013
Вісник Київського національного університету імені Тараса Шевченка. Кібернетика
т.1 c.63-70
350
Наукова стаття
Спектр секвенційних числень першопорядкових композиційно-номінативних логік


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2013
Проблеми програмування
т.3 c.22-37
351
Тези
Спецификация операторов обработки исключительных ситуаций в языках программирования


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Поляков Сергій Анатолійович
2013
Dynamical System Modeling and Stability Investigation: International Conference
т.15 c.409.0000
352
Наукова стаття
Сучасний стан навчання інформаційних технологій студентів юридичних факультетів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2013
Науковий вісник Східноєвропейського національного університету імені Лесі Українки
т.1 c.70-74
353
Навчальний посібник
Сучасні інформаційні технології: методична розробка для студентів спеціальності 6.030401 («Правознавство»)


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна

2013
Видавничо-поліграфічний центр "Київський університет"
c.112
354
Наукова стаття
Тенденції використання правових пошукових систем майбутніми юристами


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2013
355
Наукова стаття
Теорія нормалізації табличних баз даних: 2-3 НФ, НФБК


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Пузікова А. В.
2013
CrISS-DESSERT
т.1 c.34.0000
356
Наукова стаття
Упровадження тесту ТЗНК у систему ЗНО в Україні


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2013
Науковий часопис НПУ імені М.П. Драгоманова. Серія 5. Педагогічні науки: реалії та перспективи
т.41 c.7.0000
357
Наукова стаття
Числення секвенційного типу для чистих першопорядкових логік квазіарних предикатів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2013
Наукові записки НаУКМА. Комп’ютерні науки
т.151 c.24-31
358
Матеріали конференції
Cеквенційні числення першопорядкових логік квазіарних предикатів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2012
TAAPSD 2012
c.305-332
359
Тези
Enhanced technology of efficient Internet retrieval for relevant information using inductive processing of search results


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2012
Proceedings of the International Conference on Intelligent Information and Engineering Systems INFOS
c.196-201
360
Наукова стаття
Enhanced technology of efficient Internet retrieval for relevant information using inductive processing of search results


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2012
Artificial Intelligence Methods and Techniques for Business and Engineering Applications
т.345 c.99-112
361
Монографія
Enhanced technology of efficient Internet retrieval for relevant information using inductive processing of search results


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2012
Information Science & Computing. Intern. Book Series. – Intelligent Processing. – ITHEA
362
Наукова стаття
Kомпозиційно-номінативні логіки епістемічного типу


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2011
Наукові записки НаУКМА. Комп’ютерні науки
т.125 c.4-7
363
Матеріали конференції
Kомпозиційно-номінативні логіки квазіарних предикатів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
Нікітченко Микола Степанович
2012
TAAPSD 2012
c.154-200
364
Наукова стаття
Kомпозиційно-номінативні мультимодальні логіки


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2011
Штучний інтелект
т.4 c.126-133
365
Наукова стаття
Автоматична оптимізація виконання для задачі метеорологічного прогнозування


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович

2012
Проблеми програмування
т.2 c.426.0000
366
Наукова стаття
Алгоритмическое описание взаимодействия алгоритмов с внешними устройствами


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
2012
Управляющие системы и машины (УСиМ)
т.3 c.45.0000
367
Наукова стаття
Аспекты некласической теории номинации и их использование в формальных языках


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2012
368
Тези
Багатозначні логіки та двозначні композиційно-номінативні логіки часткових предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2012
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.19 c.179-180
369
Праці конференції
Використання парадигми «сутність-зв’язок» для задання моделей даних


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шишацька Олена Володимирівна
Поляков Сергій Анатолійович
Сільвейструк Людмила Миколаївна
2012
TAAPSD 2012
c.245.0000
370
Наукова стаття
Висхідне проектування алгоритмів при алгеброалгоритмичному підході


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.167.0000
371
Наукова стаття
Властивості слабкоструктурованих даних з багатозначним іменуванням та їх використання


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування


2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.218.0000
372
Наукова стаття
Двозначні та багатозначні композиційно-номінативні логіки


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.199-206
373
Наукова стаття
Информационная технология анализа психологической информации из социальных сетей средствами индуктивного моделирования


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2012
Управляющие системы и машины (УСиМ)
c.79-82
374
Наукова стаття
Класифікація моделей даних


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Поляков Сергій Анатолійович
Шишацька Олена Володимирівна
Сільвейструк Людмила Миколаївна
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.3 c.223.0000
375
Наукова стаття
Композиційна семантика гіперкубів даних


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Поляков Сергій Анатолійович
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.210.0000
376
Наукова стаття
Композиційно-номінативні логіки з непрямим іменуванням


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Оксана Степанівна

2012
Проблеми програмування
т.2 c.44-49
377
Наукова стаття
Композиційно-номінативні логіки квазіарних предикатів та багатозначні логіки


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2012
Штучний інтелект
т.1 c.66-74
378
Наукова стаття
Композиційно-номінативні логіки квазіарних предикатів: семантичні аспекти


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
Нікітченко Микола Степанович
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.4 c.165-172
379
Наукова стаття
Логіки квазіарних предикатів кванторно-екваційного рівня


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
Нікітченко Микола Степанович
2012
Проблеми програмування
т.4 c.19-34
380
Наукова стаття
Логічний наслідок та його формалізації в композиційно-номінативних логіках


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2012
Штучний інтелект
т.1 c.307-312
381
Наукова стаття
Логічний наслідок та його формалізації в композиційно-номінативних логіках


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2012
Штучний інтелект
т.1 c.307-312
382
Наукова стаття
О методе проектирования абстрактного типа данных в алгебре алгоритмики


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
2012
Проблеми програмування
т.1 c.0.0000
383
Наукова стаття
Операции объединения и пересечения спецификаций классов в многосортной алгебраической системе для объектно-ориентированного программирования


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування


2012
SWorld
т.3 c.45.0000
384
Наукова стаття
Побудова модальних логік темпорального та епістемічного типу на основі композиційно-номінативного підходу


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
2011
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.3 c.204-211
385
Наукова стаття
Побудова секвенційних числень чистих першопорядкових композиційно-номінативних логік однозначних часткових предикатів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
Нікітченко Микола Степанович
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.194-201
386
Тези
Повышение эффективности информационного поиска с применением индуктивных алгоритмов


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2012
Материалы международной научно-практической конференции "Информационные и коммуникационные технологии в науке, образовании и производстве"
c.51-54
387
Наукова стаття
Построение моделей ранжирования результатов поисковой выдачи для различных областей знаний


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2012
Вісник ЧДТУ
c.65-68
388
Тези
Програмний комплекс моделювання складних систем на основі ітераційних алгоритмів МГУА з можливістю мережевого доступу


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2012
Матеріали Міжнар. наук.-техн. конф. "Системний аналіз та інформаційні технології ". Київ: НТУУ"КПІ"
c.176-177
389
Наукова стаття
Розпаралелювання програм на фортрані з використанням техніки переписувальних прави


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
Жереб Костянтин Анатолійович
2012
Проблеми програмування
т.2 c.388.0000
390
Наукова стаття
Розширена мультимножинна таблична алгебра


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2011
391
Матеріали конференції
Розширення табличної алгебри: мультимножинна таблична алгебра


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2012
392
Наукова стаття
Секвенційні числення композиційно-номінативних логік квазіарних предикатів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2012
Проблеми програмування
т.2 c.33-43
393
Наукова стаття
Секвенційні числення логік часткових та неоднозначних квазіарних предикатів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.4 c.231-236
394
Наукова стаття
Секвенційні числення першопорядкових логік однозначних квазіарних предикатів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2012
Проблеми програмування
т.1 c.34-51
395
Наукова стаття
Секвенційні числення реномінативних логік квазіарних предикатів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2012
Наукові записки НаУКМА. Комп’ютерні науки
т.138 c.23-29
396
Праці конференції
Системи логічного виведення секвенційного типу в логіках часткових предикатів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
Нікітченко Микола Степанович
2012
KDS + MeL: Міжнародні конференції
c.28-29
397
Наукова стаття
Спеціальні відношення логічного наслідку в логіках квазіарних предикатів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2011
Проблеми програмування
т.4 c.36-48
398
Наукова стаття
Спеціальні секвенційні числення логік однозначних квазіарних предикатів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.3 c.287-292
399
Наукова стаття
Спеціальні секвенційні числення чистих композиційно-номінативних логік першого порядку


Факультет психологїі
Теорії та технології програмування
Шкільняк Степан Степанович
Нікітченко Микола Степанович
2012
Вісник Київського національного університету імені Тараса Шевченка. Кібернетика
т.12 c.38-45
400
Наукова стаття
Средства проектирования объектно-ориентированных программ на основе алгебры алгоритмики


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
2012
Проблеми програмування
т.2 c.241.0000
401
Праці конференції
Таблична алгебра нескінченних (скінченних) таблиць


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2012
402
Навчальний посібник
Теорія алгоритмів. Приклади й задачі


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2012
ВПЦ "Київський університет"
c.1-151
403
Тези
Теорія мультимножин та її застосування


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування


2012
404
Наукова стаття
Уніфікована модель даних на основі підходу «сутність-зв’язок»


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Поляков Сергій Анатолійович
Шишацька Олена Володимирівна
Сільвейструк Людмила Миколаївна
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.4 c.189.0000
405
Наукова стаття
Уточнення множинного успадкування у вигляді операції накладання


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування


2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.90.0000
406
Наукова стаття
Binary and multiway relationship types of ER-model


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2011
407
Наукова стаття
Bідношення логічного наслідку для множин формул в композиційно-номінативних логіках


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2011
Наукові записки НаУКМА. Комп’ютерні науки
т.125 c.22-26
408
Тези
Взаємозв’язки між різними видами обмежень кардинальності в моделі „сутність-зв’язок”


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Сільвейструк Людмила Миколаївна
2011
CSE - International Scientific Conference on Computer Science and Engineering
т.1 c.284.0000
409
Тези
Використання новітніх інформаційних технологій в юриспруденції


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2011
410
Наукова стаття
Исследование технологии повышения эффективности поиска релевантной информации в Интернете


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зосімов В'ячеслав Валерійович
2011
Вестник НУК, електронне видання
411
Наукова стаття
Класи номінативних даних зі швидким доступом до компонентів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2011
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.4 c.199.0000
412
Тези
Моделювання та дослідження синонімії у формальних мовах


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2011
413
Наукова стаття
Операційна та денотаційна семантика рекурсивних запитів в табличних базах даних


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Поляков Сергій Анатолійович

2011
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.2 c.204.0000
414
Тези
Побудова логік мультимодального та епістемічного типу на основі композиційно-номінативного підходу


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2011
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.8 c.129-139
415
Тези
Сучасні інформаційні технології в юриспруденції


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2011
416
Наукова стаття
Узагальнена кардинальність участі в моделі «сутність-зв’язок»


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Сільвейструк Людмила Миколаївна
2011
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.142.0000
417
Монографія
Формалізація моделі „сутність-зв’язок”


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Сільвейструк Людмила Миколаївна

2011
Невідоме
т.1 c.176.0000
418
Наукова стаття
Формалізація поняття об’єкта, класу, успадкування класів, життєвий цикл об’єкта в об’єктно-орієнтованих базах даних


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування


2011
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.111.0000
419
Тези
Формалізація узагальненої кардинальності участі в моделі «сутність-зв’язок»


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Сільвейструк Людмила Миколаївна
2011
Информационные технологи в управлении сложными системами. Научная конференция
т.1 c.157.0000
420
Тези
Composition Nominative Algebras as Semantic Base for Specification and Programming Languages


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
2010
421
Праці конференції
Formal Facilities for Designing Efficient GPU Programs


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування



2010
422
Праці конференції
INTEGRATING PROGRAMMING-RELATED DISCIPLINES: MAIN PRINCIPLES AND NOTIONS


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
2010
423
Тези
Modeling programs over complex-named data by term rewriting systems


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович

2010
424
Тези
Modeling programs over complex-named databy term rewriting systems


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування

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


2010
425
Праці конференції
Programming with nominative data


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович

2010
426
Наукова стаття
Recursive queries in SQL and their generalization – systems of recursive queries


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Поляков Сергій Анатолійович

2010
CSE - International Scientific Conference on Computer Science and Engineering
т.1 c.252.0000
427
Праці конференції
Автоматично налагоджуваний паралельний алгоритм чисельного розв’язання багатовимірної задачі моделювання навколишнього середовища


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
2010
Проблеми програмування
т.2 c.202.0000
428
Тези
Алгебро-динамические модели для распараллеливания программ


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
Жереб Костянтин Анатолійович
2010
Проблеми програмування
c.39.0000
429
Праці конференції
Багатосторонні зв’язки в розширеній моделі „сутність-зв’язок”


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Сільвейструк Людмила Миколаївна
2010
Dependable Systems, Services & Technologies (DESSERT)
т.1 c.133.0000
430
Тези
Використання технології CSP для доступу до об'єктів бази даних в постреляційній СУБД САСНЕ


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2010
431
Праці конференції
Загальнозначні теоретико-множинні конструкції повного образу, обмеження, сумісності: властивості та застосування


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування

Сільвейструк Людмила Миколаївна
2010
Международная научно-практическая конференция по программированию (УкрПрог)
т.1 c.80.0000
432
Тези
Комп'ютерна інформація як предмет злочинного посягання


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2010
Бухгалтерський облік, аналіз та аудит: проблеми теорії, методології, організації
т.2 c.380.0000
433
Праці конференції
Логіки h-квазіарних предикатів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2010
434
Навчальний посібник
Математична логіка. Основи теорії алгоритмів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2009
К.: ДП «Видавничий дім «Персонал»
c.1-279
435
Особливості розробки освітнього стандарту з інформатики


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
2010
436
Праці конференції
Особливості розробки освітнього стандарту з інформатики (напрям підготовки 040302)


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
2010
437
Праці конференції
Побудова темпоральних логік на основі композиційно-номінативного підходу.


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2010
438
Тези
Развитие инструментария алгебры алгоритмики с целью разработки параллельных программ с использованием эвристических средств


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування

Дорошенко Анатолій Юхимович

2010
439
Наукова стаття
Рекурсивні запити в SQL-подібних мовах: приклади, змістовна і формальна семантика


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Поляков Сергій Анатолійович

2010
Проблеми програмування
т.2 c.434.0000
440
Тези
Узагальнена таблична алгебра та узагальнене реляційне числення


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування


2010
441
Формалізоване проектування та синтез паралельної програми побудови діаграми Вороного


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович


2010
Проблеми програмування
т.2 c.137.0000
442
Тези
Composition Nominative Algebra as Computer Program Formalism


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
2009
443
Тези
Properties of Fixed Point Operators in Algebras of Partial Predicates


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович

2009
444
Наукова стаття
Using Ontologies and Algebra of Algorithms for Formalized Development of Parallel Programs


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування


2009
Fundamenta Informatical
т.93 c.111.0000
445
Тези
Аспекты отношения номинации в естественных и формальных языках


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2009
446
Тези
Верифікація програм заснована на автоматизованій побудові тестових прикладів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2009
447
Тези
ВЛАСТИВОСТІ КОМПОЗИЦІЙНО-НОМІНАТИВНИХ МОВ ПРОГРАМ


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Іванов Євген В’ячеславович
2009
448
Наукова стаття
Выбор параметра модифицированного аддитивно-усредненного метода


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Прусов Віталій Арсенійович


2009
449
Наукова стаття
Высокоуровневые средства описания автоматизацыии проектирования параллельных алгоритмов


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування


2009
Проблеми програмування
c.19.0000
450
Наукова стаття
Генерувальне програмування програмних систем і їх сімейств


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2009
Проблеми програмування
c.0.0000
451
Наукова стаття
Информатика как научная дисциплина


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зубенко Віталій Володимирович
2009
Штучний інтелект
c.157.0000
452
Тези
Ієрархічні дані в SQL


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Поляков Сергій Анатолійович
2009
SWorld
т.2 c.52.0000
453
Наукова стаття
Інтеграція інформатико-програмістських дисциплін на основі композиційно-номінативного підходу


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
2009
454
Наукова стаття
Кафедра теорії та технології програмування


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
2009
455
Наукова стаття
Классификация дисциплин программной инженерии


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2009
456
Наукова стаття
Композиционно-номинативные аспекты адресного программирования


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
2009
457
Наукова стаття
Композиційно–номінативний підхід до специфікації програмних систем у мові Z–Notation


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2009
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.133.0000
458
Тези
Логіки часткових предикатів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2009
International Conference Problems of Decision Making Under Uncertainties (PDMU-2007), Чернівці
c.141.0000
459
Наукова стаття
Метод численного решения многомерной задачи конвективной диффузии


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Прусов Віталій Арсенійович


2009
460
Тези
Методика автоматизованої трансформації формальних специфікацій у програмний код, що виконується


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2009
461
Тези
Мультимножества: библиография, решетка мультимножеств


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2009
462
Тези
Мультимножини як модель експертних оцінок


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування


2009
463
Тези
Неокласичні логіки майже еквітонних квазіарних предикатів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2009
464
Тези
Нерухомі точки операторів в алгебрах часткових та тотальних операторів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2009
Intern. Conf. "Dynamical system modelling and stability investigation". Kyiv
c.321.0000
465
Наукова стаття
Особливості процесів керування при створенні сімейств програмних систем


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування



2009
Проблеми програмування
466
Тези
Оцінка якості модульних тестів на основі метрик


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2009
467
Тези
Оцінювання якості прикладного програмного забезпечення на основі метрик та модульних тестів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2009
468
Тези
Побудова інтуїціоністських секвенційних числень на основі реляційних моделей


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2009
Intern. Conf. "Dynamical system modelling and stability investigation". Kyiv
c.349.0000
469
Тези
Побудова логічних формалізмів на основі інтенсіонально-орієнтованого підходу


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2009
Intern. Conf. "Dynamical system modelling and stability investigation". Kyiv
c.338.0000
470
Тези
Побудова рекурсивних запитів в SQL


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Поляков Сергій Анатолійович
2009
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.2 c.204.0000
471
Тези
Побудова формалізованих структур іменувань в програмуванні та моделюванні


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Бойко Борис Іванович
2009
Intern. Conf. "Dynamical system modelling and stability investigation". Kyiv
472
Тези
Повний образ, обмеження, проекція, відношення сумісності


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування


2009
473
Наукова стаття
Подход к экспертному оцениванию в программной инженерии


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2009
474
Тези
Про розв’язність логіки делегувань повноважень


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зубенко Віталій Володимирович
2009
Intern. Conf. "Dynamical system modelling and stability investigation". Kyiv
c.330.0000
475
Праці конференції
Про розробку освітнього стандарту за напрямом ІНФОРМАТИКА


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
2009
476
Наукова стаття
Разработка высокопараллельных приложений для графических ускорителей с использованием переписывающих правилРазработка высокопараллельных приложений для графических ускорителей с использованием переписывающих правил


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування

Жереб Костянтин Анатолійович
2009
Проблеми програмування
477
Тези
Решетка мультимножеств


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2009
478
Тези
Решітка мультимножин


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування


2009
479
Монографія
Сборочное программирование. Основы индустрии программных продуктов


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування


2009
480
Наукова стаття
Сборочное программирование.Теория и практика


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2009
481
Тези
Семантичні аспекти композиційно-номінативних логік.


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2009
International Conference Problems of Decision Making Under Uncertainties (PDMU-2007), Чернівці
c.87.0000
482
Тези
Семантичні властивості композиційно-номінативних логік


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2009
483
Тези
Системи композиційно-номінативних специфікацій об’єктно-орієнтованих програм


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Омельчук Людмила Леонідівна
2009
484
Тези
Структурування імен даних, функцій обробки та їх композицій


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Бойко Борис Іванович
2009
International Conference Dynamical system modelling and stability investigation. Kyiv
c.123.0000
485
Наукова стаття
Уточнення обмежень min та max простої кардинальності в моделі «сутність-зв'язок»


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування

Сільвейструк Людмила Миколаївна
2009
Математичні машини і системи
т.4 c.67.0000
486
Формалізація моделі “сутність-зв'язок”: типи сутностей, типи зв’язків та їх обмеження


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Сільвейструк Людмила Миколаївна
2009
487
Тези
A Criteria-Based Approach to Classifying Traceability Solutions // Proceedings of IEEE International EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS'07), Yerevan, Armenia. - 7-10 September 2007


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2007
488
Тези
Constructing theory of programming as a gnoseology-based discipline. Abstracts of International Conference TAAPSD’2008


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
2008
489
Тези
FENESTRA: автоматизована система підтримки освітнього процесу для людей з вадами зору // II Міжнародна конференція «Нові інформаційні технології в освіті для всіх: стан та перспективи розвитку» (ITEA’2007). Київ. – 2007


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування

Дорошенко Анатолій Юхимович

2007
490
Праці конференції
Insertion modeling in distributed system design


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування


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




2008
Проблеми програмування
c.13.0000
491
Наукова стаття
On efficient numerical solution of one-dimensional convectionЈCdiffusion equations in modelling atmospheric processes


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
Прусов Віталій Арсенійович
2008
International Journal of Environment and Pollution
т.2 c.231.0000
492
Тези
RUN-TIME верифікація програм у композиційно-номінативній мові програмування SCRIPT.NET. Abstracts of International Conference TAAPSD’2008


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2008
493
Наукова стаття
Teaching Theory of Programming: methodology and basic notions


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
2008
Informational Technologies in Education
т.2 c.459.0000
494
Праці конференції
Three-valued Kleene logic and three-element chains. Proceedings of the CSE 2008


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування

Шишацька Олена Володимирівна
2008
495
Монографія
Алгеброалгоритмические модели и методы параллельного программирования


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування




2007
496
Тези
Алгебры R1-функций. Abstracts of International Conference TAAPSD’2008


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування


2008
497
Праці конференції
Визначення предмету – програмна інженерія


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2008
Проблеми програмування
c.191.0000
498
Наукова стаття
Відношення сумісності, узагальнене з’єднання та узагальнений прямий добуток


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2007
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.167.0000
499
Тези
Дисципліни програмної інженерії для навчання і розвитку індустрії програмних продуктів. Abstracts of International Conference TAAPSD’2008


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2008
500
Наукова стаття
Доведення коректності паралельного додавання до спільної змінної в IPCL


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2007
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.187.0000
501
Наукова стаття
Дослідження властивостей композиційно-номінативних логік


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2007
502
Тези
Класифікація мов та методів формальних специфікацій програмних систем. Abstracts of International Conference TAAPSD’2008


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування

Нікітченко Микола Степанович
Омельчук Людмила Леонідівна

Шишацька Олена Володимирівна
2008
503
Наукова стаття
Классификация дисциплин программной инженерии


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2008
504
Праці конференції
Композиційно-номінативний підхід до побудови семантики мови специфікацій Z-Notation


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2008
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.116.0000
505
Тези
Композиційно-номінативні логіки з оператором нерухомої точки


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович

2008
Int. Conf. "Problems of Decision Making under Uncertainties (PDMU)", Chernivtsy. Ukraine
c.173.0000
506
Тези
Композиційно-номінативні модальні та темпоральні логіки: семантичні та синтаксичні аспекти. Abstracts of International Conference TAAPSD’2008


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2008
507
Тези
Композиційно-номінативні системи специфікацій програм для об`єктно-орієнтованого програмування. Abstracts of International Conference TAAPSD’2008


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Омельчук Людмила Леонідівна
2008
508
Наукова стаття
Критерії ін’єктивності бінарних відношень


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2007
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.141.0000
509
Наукова стаття
Логічні зв’язки між значеннями обмежень кардинальності для підходів „дивитися через” та участі


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Сільвейструк Людмила Миколаївна
2008
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.4 c.173.0000
510
Наукова стаття
Метод доведення властивостей програм в композиційно-номінативних мовах IPCL


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2008
Проблеми програмування
c.0.0000
511
Праці конференції
Метод обратной семантической трассировки для контроля качества в гибкой разработке программных проектов


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Жереб Костянтин Анатолійович



2008
Проблеми програмування
c.211.0000
512
Тези
Моделювання різних паралельних архітектур у IPCL. Abstracts of International Conference TAAPSD’2008


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2008
513
Тези
Мультимножини: означення, операції, основні властивості. Abstracts of International Conference TAAPSD’2008


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування


2008
514
Тези
Нерухомі точки операторів у предикативних алгебрах. Abstracts of International Conference TAAPSD’2008


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович

2008
515
Обмеження кардинальності типу зв’язку у моделі „сутність-зв’язок”


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Сільвейструк Людмила Миколаївна
2008
516
Тези
Оператори нерухомої точки на множинах часткових та тотальних предикатів. Abstracts of International Conference TAAPSD’2008


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2008
517
Тези
Опис семантики мови TLA+ на основі композиційно-номінативного підходу


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2008
International Conference Problems of Decision Making Under Uncertainties (PDMU-2007), Чернівці
c.219.0000
518
Наукова стаття
Перспективні дисципліни програмної інженерії


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2008
Вісник НАН України
c.0.0000
519
Праці конференції
Підходи інженерії якості сімейств програмних систем


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування



2008
Проблеми програмування
c.219.0000
520
Тези
Про дескриптологічні витоки інформатики. Abstracts of International Conference TAAPSD’2008


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зубенко Віталій Володимирович
Омельчук Людмила Леонідівна
2008
521
Праці конференції
Про становлення інформатики як наукової та учбової дисципліни


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зубенко Віталій Володимирович
2008
Проблеми програмування
т.2 c.459.0000
522
Праці конференції
Программологические основания сущносной платформы


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування



2008
Проблеми програмування
c.75.0000
523
Наукова стаття
Програмная инженерия научная и инженерная дисциплина


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2008
524
Праці конференції
Распределённая платформа для управления ресурсами гетерогенного кластера


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування



2008
Проблеми програмування
c.150.0000
525
Наукова стаття
Расширенная модель „сущность-связь”: типы сущностей суперкласс и подкласс, тип связи суперкласс/подкласс


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування

Сільвейструк Людмила Миколаївна
2008
Intern. Book Series "Algorithmic and Mathematical Foundation of the Artificial Intelligence"
c.149.0000
526
Наукова стаття
Розширена модель „сутність-зв’язок”: уточнення типів сутностей суперклас і підклас та типу зв’язку суперклас/підклас


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Сільвейструк Людмила Миколаївна
2008
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.147.0000
527
Праці конференції
Средства синтеза параллельных MPI-программ


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування

Жереб Костянтин Анатолійович

2008
Проблеми програмування
c.564.0000
528
Препринт
Становление и развитие модульно – компонентной инженерии программирования в Украине


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2008
529
Тези
Типи даних в стандарті SQL: 2003. Abstracts of International Conference TAAPSD’2008


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування

Поляков Сергій Анатолійович
2008
530
Тези
Трехзначные логики Клини и трехэлементные цепи


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування

Шишацька Олена Володимирівна
2008
Intern. Book Series "Algorithmic and Mathematical Foundation of the Artificial Intelligence"
т.2 c.165.0000
531
Наукова стаття
Трьохзначні логіки Кліні та трьохелементні ланцюги


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шишацька Олена Володимирівна
2007
Вісник Київського національного університету імені Тараса Шевченка. Хімія
c.230.0000
532
Тези
Удосконалення методу синтезу автомата за його специфікацією у мові L. Abstracts of International Conference TAAPSD’2008


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2008
533
Тези
Уточнення обмежень кардинальності типу зв‘язку у моделі “сутність-зв‘язок”. Abstracts of International Conference TAAPSD’2008


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування

Сільвейструк Людмила Миколаївна
2008
534
Наукова стаття
Экзистенциальные основания композиционной парадигмы


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування


2008
535
Тези
Checking temporal properties of requirements in VRS


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович

2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.267.0000
536
Тези
Composition nominative logics: investigation and electronic manual


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2007
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
c.391.0000
537
Тези
Iнтегрований інтенсіонально-екстенсіональний підхід до побудови логічних формалізмів, орієнтованих на задачі моделювання


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2007
Abstracts of International Workshop "Problems of decision making under uncertainties", Kyiv-Novy Svit
c.277.0000
538
Тези
Iнтенсійні аспекти композиційно-номінативних логік


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2007
Intern. Conf. "Dynamical system modelling and stability investigation". Kyiv
c.385.0000
539
Тези
UML – сучасна мова моделювання: історія, специфікація, бібліографія


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування

Шишацька Олена Володимирівна
2007
Intern. Conf. "Dynamical system modelling and stability investigation". Kyiv
540
Наукова стаття
UML – сучасна універсальна мова моделювання: історія, специфікація, бібліографія


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування

Шишацька Олена Володимирівна
2007
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.122.0000
541
Праці конференції
UML: история, специфікация, бібліографія


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування

Шишацька Олена Володимирівна
2007
Knowledge - Dialogue - Solution (KDS): International Conference
c.309.0000
542
Наукова стаття
UML: історія, специфікація, бібліографія / http://it.ridne.net/compuscience


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування

Шишацька Олена Володимирівна
2007
Електронний варіант
543
Аксіоматичні системи специфікацій програм над номінативними даними


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Омельчук Людмила Леонідівна
2007
544
Наукова стаття
Вплив сучасних інформаційних технологій на вивчення основ програмування


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Бойко Борис Іванович
2007
Вибрані питання програмології. Праці наукового семінару "Програмологія та її застосування"
c.55.0000
545
Наукова стаття
Дескриптологические основания информационных технологий


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування


2007
546
Наукова стаття
Дослідження імперативних засобів мов програмування високого рівня


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Кузенко Володимир Федорович
2007
Вибрані питання програмології. Праці наукового семінару "Програмологія та її застосування"
c.129.0000
547
Наукова стаття
Інтенсіональні аспекти композиційно-номінативних логік


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2007
Вибрані питання програмології. Праці наукового семінару "Програмологія та її застосування"
c.48.0000
548
Тези
Інтенсіонально-екстенсіональний метод побудови логічних та програмних формалізмів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2007
International Conference Problems of Decision Making Under Uncertainties (PDMU-2007), Чернівці
c.99.0000
549
Наукова стаття
Інтенсіонально-орієнтований підхід до побудови логічних систем


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2007
Проблеми програмування
c.31.0000
550
Наукова стаття
Інтенсіонально-орієнтований підхід до теорії програмування


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
2007
Вибрані питання програмології. Праці наукового семінару "Програмологія та її застосування"
c.22.0000
551
Тези
К вопросу о построении единой модели данных


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Поляков Сергій Анатолійович
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.240.0000
552
Тези
Композиційно-номінативна семантика мови TLA+


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.312.0000
553
Тези
Композиційно-номінативний аналіз архітектур програмних систем


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.219.0000
554
Тези
Композицйно-номінативні моделі об'єктів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.289.0000
555
Наукова стаття
Метод нерухомої точки в програмології: загальна теорія


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2007
Вибрані питання програмології. Праці наукового семінару "Програмологія та її застосування"
c.64.0000
556
Праці конференції
Модель "сущность-связи": роли, сильные и слабые типы сушностей и типы связей


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування

Сільвейструк Людмила Миколаївна
2007
Knowledge - Dialogue - Solution (KDS): International Conference
c.316.0000
557
Наукова стаття
Модель “сутність-зв’язок”: ролі, сильні та слабкі типи сутностей і типи зв’язків


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування

Сільвейструк Людмила Миколаївна
2007
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.129.0000
558
Наукова стаття
Модель “сутність-звязок” – популярна семантична модель: історія формалізація, бібліографія


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Сільвейструк Людмила Миколаївна
2007
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.4 c.201.0000
559
Тези
Модель спрощеного стану для методу доведення властивостей в мовах IPCL та її застосування і переваги


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.319.0000
560
Наукова стаття
Об условии регулярности для коммутативного замыкания


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування


2007
Вибрані питання програмології. Праці наукового семінару "Програмологія та її застосування"
c.140.0000
561
Наукова стаття
Принцип репрезентативної повноти номінативних даних


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2007
Вибрані питання програмології. Праці наукового семінару "Програмологія та її застосування"
c.196.0000
562
Тези
Про логіку делегувань повноважень


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зубенко Віталій Володимирович
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.330.0000
563
Тези
Прототип реалізації аксіоматичної системи специфікацій програм над метаномінативними даними


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Омельчук Людмила Леонідівна
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.107.0000
564
Наукова стаття
Синтаксичні структури програм


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2007
Вибрані питання програмології. Праці наукового семінару "Програмологія та її застосування"
c.201.0000
565
Тези
Схема доведення основної теореми про властивості операторів MIN, MAX в формалізації ER-моделі


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Сільвейструк Людмила Миколаївна
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.229.0000
566
Наукова стаття
Темпоральні процедури та алгоритми в контексті дескриптивних систем


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зубенко Віталій Володимирович
2007
Вибрані питання програмології. Праці наукового семінару "Програмологія та її застосування"
c.113.0000
567
Монографія
Теория транзьюсеров. Функции и аппликативные системы


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2007
568
Тези
Тестування та підходи до написання тесткейсів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.284.0000
569
Тези
Три замечания о трехзначной логике Клини


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування

Поляков Сергій Анатолійович
Шишацька Олена Володимирівна
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.47.0000
570
Наукова стаття
Формализованное проектирование эффективных многопоточных программ


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
Жереб Костянтин Анатолійович

2007
Проблеми програмування
c.17.0000
571
Тези
Формалізація моделі “сутність-зв’язок”


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Сільвейструк Людмила Миколаївна

2007
International Conference Dynamical system modelling and stability investigation. Kyiv
c.364.0000
572
Наукова стаття
A Rewriting Framework for Rule-Based Programming Dynamic Applications


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
2006
573
Праці конференції
A Theory of Clones and Formalized Design of Programs. Proc. Int. Conf. “Concurrency, Specification and Programming”


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
574
Тези
Admissible substitutions and Herbrand"s theorems for classical and intuitionistic logics. Posters of the International Symposium Celebrating the 100th Birthday of Kurt Gоdel, 27.-29. April 2006, Festsaal of the University of Vienna, Austria


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування

Лялецький Олександр Олександрович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
575
Тези
Basics of intensionally-oriented appoach in informatics. TAAPSD, Proceedings, 2006, December 5-8, Kyiv


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
576
Тези
Decidable singular theories of two successor functions with an extra predicate. Международая конференция «23-е Дни Слабых Арифметик», 2-5 июня 2004г., Ереван 2006 – с. 63-74


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
577
Тези
Deductive requirements checking in VRS. Electronic computers and informatics (ECI 2006). – Thesis of conference reports. – Kosice – Her"any, Slovakia, 2006. P.140-145


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович



2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
578
Тези
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
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
579
Тези
Logics of partial predicates: properties and electronic manual. Problems of decision making under uncertainties. Abstracts. –Alushta, 2006. – С. 47–49


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
580
Наукова стаття
On the numerical solution of the three-di¬mensional advection-diffusion equation


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
2006
Проблеми програмування
581
Тези
Властивості теоретико-множинних конструкцій повного образу, обмеження, конфінальності, сумісності // Тези доповідей XIII Всеукраїнської наукової конференції "Сучасні проблеми прикладної математики та інформатики", Львів, ЛНУ, 3-5 жовтня 2006 р.


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування


2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
582
Тези
Генерація інтерфейсу користувача в автоматизованих інформаційних системах із геоінформаційною складовою. Міжнародна науково-практична конференція «Сучасні проблеми екологічної та техногенної безпеки регіонів». 2006 р. Київ – с. 151-159


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Бойко Борис Іванович
Кисіль Олександр Васильович
Кузенко Володимир Федорович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
583
Праці конференції
Дескриптивні системи: ретроспективи та перспективи. Матеріали V міжнародної науково-практичної конференції з програмування, УкрПРОГ`2006


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
584
Праці конференції
Дослідження композиційно-номінативних логік та розробка відповідних електронних навчальних матеріалів. Праці міжнародної наукової конференції TAAPSD'2006. – Київ, 2006, с. 167-171.


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
585
Тези
Інформаційно-аналітична система підтримки управлінських рішень у сфері національної безпеки України. Тези Міжнародної конференції «Теоретичні та прикладні аспекти побудови програмних систем». - 05–08 грудня 2006 – Київ


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування




2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
586
Наукова стаття
Логіки, орієнтовані на специфікації програм


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Омельчук Людмила Леонідівна
2006
Проблеми програмування
587
Тези
Логічні формалізми, орієнтовані на специфікації програм та моделювання предметних областей. Problems of decision making under uncertainties. Abstracts. –Alushta, 2006. – С. 146–149


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
588
Монографія
Моделювання природних і техногенних процесів в атмосфері


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
2006
589
Наукова стаття
О моделировании сенсорных сетей средствами высокого уровня


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
2006
Проблеми програмування
590
Наукова стаття
О синтезе программ на языке Java по алгеброалгоритмическим спецификациям


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
2006
Проблеми програмування
591
Праці конференції
Об одном методе нахождения решений нечетко поставленных параметризованных задач и его реализации в виде программной системы. Труды Международной конференции TAAPSD’06, 5 – 8 декабря 2006 г., Киев, Украина, с. 67-69.


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Лялецький Олександр Олександрович

2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
592
Праці конференції
Об одном понятии непрерывности функции. Труды Международной конференции TAAPSD’06, 5 – 8 декабря 2006 г., Киев, Украин, с. 64-66


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Лялецький Олександр Олександрович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
593
Наукова стаття
Періодичні темпоральні алгоритми


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зубенко Віталій Володимирович
2006
Вісник Луганського університету ім.Тараса Шевченка "Гуманітарні студії"
594
Наукова стаття
Про регуляризацію монотонних табличних алгоритмів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зубенко Віталій Володимирович
2006
Штучний інтелект
595
Тези
Семантичні властивості та секвенційні числення композиційно-номінативних логік. Праці міжнародної наукової конференції TAAPSD'2006. – Київ, 2006


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
596
Наукова стаття
Система автоматизації доведення теорем теорії метаноміна-тивних даних


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Омельчук Людмила Леонідівна
2006
Вісник Луганського університету ім.Тараса Шевченка "Гуманітарні студії"
597
Наукова стаття
Спектр композиційно-номінативних логік. Вісник Київського ун-ту. Серія: кібернетика. Вип.7. – Київ, 2006. – С. 44–48


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2006
Вісник Луганського університету ім.Тараса Шевченка "Гуманітарні студії"
598
Наукова стаття
Средства оптимизации Grid-вычислений на основе globus toolkit


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Дорошенко Анатолій Юхимович
2006
Проблеми програмування
599
Тези
Темпоральні процедури та алгоритми. V міжн. науково-практична конференція з програмування “УкрПРОГ-2006” (м.Київ, 23-25 травня 2006 р.)


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зубенко Віталій Володимирович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
600
Тези
Теоретико-множественные конструкции полного образа, ограничения, конфинальности и совместности в основаниях реляционных баз данных // Труды IX международной конференции "Интеллектуальные системы и компьютерные науки", Москва, МГУ, 23-27 октября 2006 г


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування


2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
601
Монографія
Теория транзьюсеров. Вычисления над размеченными деревьями


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2006
602
Монографія
Теория транзьюсеров. Типы функций, интерполяция, фрактальность


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2006
603
Тези
Формализация структурных ограничений в модели “сущность-связь” // Proceedings of the XII-th International Conference “Knowledge-Dialogue-Solution” (June 20-25, 2006, Varna, Bulgaria)


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування

Сільвейструк Людмила Миколаївна
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
604
Тези
Формализация структурных ограничений связей в модели „сущность-связь” // Труды IX международной конференции "Интеллектуальные системы и компьютерные науки", Москва, МГУ, 23-27 октября 2006 г.


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування

Сільвейструк Людмила Миколаївна
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
605
Тези
Щодо оцінки критеріїв еколого-ресурсної несталості розвитку України. Тези VIII Кримської міжнародної математичної школи «Метод функцій Ляпунова і його застосування». - 10-17 вересня 2006 р., Алушта.- с. 198


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування


2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
606
Наукова стаття
Динамические коалиции – новая парадигма в области распределенных компьютерно-коммуникационных систем. Ч.2. Обзор и сравнительная характеристика практических методов построения динамических коалиционных сред


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Анісімов Анатолій Васильович
Зубенко Віталій Володимирович
2005
607
Наукова стаття
Ітеративні категорні алгоритм із інваріантами


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2005
608
Наукова стаття
Конечные суммы объектов натуральных чисел в топосах


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2005
609
Монографія
Теорія транз’юсерів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
2005
610
Formalization of structural constraints of relationships in model „entity-relationship”. Proceedings of the Seventh International Scientific Conference “Electronic Computers and Informatics’2006” (September 20-22, 2006, Kosice – Herlany, Slovakia), Kosice


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
611
Система інформаційно-аналітичного забезпечення управління ризиками щодо національних інтересів та національної безпеки України. Тези 5 Міжнародної науково-практичної конференції «Сучасні проблеми екологічної та техногенної безпеки регіонів». - 4-8 вересня


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"

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

Вгору