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

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


ID: 6739
Кількість показів: 4102
дата змінення: 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
Навчальний посібник
Комп'ютерне програмування


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Ткаченко Олексій Миколайович
2020
К.:«ЦП «КОМПРИНТ»
c.1-307
6
Наукова стаття
7-значні логіки та логіки загальних недетермінованих предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
2018
Штучний інтелект
c.110-121
7
Тези
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
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
Тези
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

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

Вгору