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

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


ID: 6738
Кількість показів: 3867
дата змінення: 05.11.2019 10:16:46
Ким змінено (ім'я): (KAM1987) Андрій Кушерський
Тип
Назва документу
Автори
Рік видання
Джерело
1
Наукова стаття
Program-Oriented Logics of Renominative Level with Extended Renomination and Equality


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2020
Communications in Computer and Information Science
т.1175 c.68-88
2
Наукова стаття
7-значні логіки та логіки загальних недетермінованих предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
2018
Штучний інтелект
c.110-121
3
Тези
About Calculation Fuzzy Probability of Fuzzy Events


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
2019
Congressio-Mathematica: Conference on Mathematics and Informatics
c.35
4
Монографія
Algebra-Algorithmic Models and Methods of Parallel Programming


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Жереб Костянтин Анатолійович
Андон Пилип Іларіонович
Дорошенко Анатолій Юхимович
Яценко Олена Анатоліївна
2018
Видавничий Дім «Академперіодика»
5
Тези
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
6
Праці конференції
Algorithms for Runtime Generation of Homogeneous Classes of Objects


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
2018
Cyber Security and Computer Science: International Conference
c.160-164
7
Наукова стаття
Bregman Extragradient Method with Monotone Rule of Step Adjustment*


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Обчислювальних методів в механіці суцільних середовищ
Обчислювальної математики
Денисов Сергій Вікторович
Семенов Володимир Вікторович
Стецюк Петро Іванович
2019
Cybernetics and Systems Analysis
т.55 c.377-383
8
Наукова стаття
Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition


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


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
Мамедов Тогрул Алірзайович
2019
Mathematical Foundations of Informatics (MFOI): Міжнародна конференція
c.187-202
10
Навчально-методичний комплекс
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
Київський національний університет технологій та дизайну

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

Вгору