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

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


ID: 6739
Кількість показів: 3585
дата змінення: 25.11.2014 12:26:25
Ким змінено (ім'я): (kya) Юлія Костюченко
Тип
Назва документу
Автори
Рік видання
Джерело
1
Наукова стаття
7-значні логіки та логіки загальних недетермінованих предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
2018
Штучний інтелект
c.110-121
2
Тези
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
3
Наукова стаття
Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition


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


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
Мамедов Тогрул Алірзайович
2019
Mathematical Foundations of Informatics (MFOI): Міжнародна конференція
c.187-202
5
Тези
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
6
Праці конференції
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
7
Праці конференції
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
8
Праці конференції
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
9
Тези
First-order logics of partial predicates with composition of predicate complement


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
2019
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
c.77-78
10
Розділ монографії
Inference Rules for the Partial Floyd-Hoare Logic Based on Composition of Predicate Complement


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

Програмних систем і технологій
Теорії та технології програмування
Нікітченко Микола Степанович
Іванов Євген В’ячеславович
2019
Communications in Computer and Information Science
т.1007 c.71-88

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

Вгору