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

Кафедра: Інтелектуальних програмних систем


ID: 6738
Кількість показів: 4042
дата змінення: 05.11.2019 10:16:46
Ким змінено (ім'я): (KAM1987) Андрій Кушерський
Тип
Назва документу
Автори
Рік видання
Джерело
21
Праці конференції
Completeness of the Logic of Partial Quasiary Predicates with the Complement Composition


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
Мамедов Тогрул Алірзайович
2019
Mathematical Foundations of Informatics (MFOI): Міжнародна конференція
c.187-202
22
Навчально-методичний комплекс
Discrete structures: methodical instruction for laboratory work for full-time and part-time students studying the educational qualification level of the Bachelor in the field No.12 Information technologies


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Демківський Євген Олександрович
Демківська Тетяна Іванівна
Щербань Володимир Юрійович
2018
Київський національний університет технологій та дизайну
23
Тези
First-order logics of partial predicates with composition of predicate complement


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
2019
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
c.77-78
24
Наукова стаття
Fuzzy Probabilities of Fuzzy Events


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
2019
Frontiers in Artificial Intelligence and Applications
c.36-41
25
Праці конференції
Program Logics Based on Algebras with the Composition of Predicate Complement


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
2019
Advanced Computer Information Technologies (ACIT): Міжнародна конференція
c.285-288
26
Праці конференції
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
27
Праці конференції
Run-time Class Generation: Algorithms for Intersection of Homogeneous and Inhomogeneous Classes


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
2019
Computer Science and Information Technologies (CSIT): International Scientific and Technical Conference
c.272-277
28
Матеріали конференції
Run-Time Class Generation: Algorithms for Union of Homogeneous and Inhomogeneous Classes


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
2019
Communications in Computer and Information Science
c.148-160
29
Тези
Sequent calculi for logics with composition of predicate complement


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
Мамедов Тогрул Алірзайович
2019
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
c.67-69
30
Тези
Subgradient method with Polyak’s step in transformed space


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стовба Віктор Олександрович
2019
Optimization and Equilibrium Problems: International Conference
c.37-38

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

Вгору