Видання

Logic and its Applications: Науковий семінар [Електронний ресурс] - Режим доступу: http://logic.net.ua/sites/default/files/Book%20of%20Abstracts.pdf


ID: 225143
Кількість показів: 83
дата змінення: 10.11.2020 23:07:53
Ким змінено (ім'я): (cyb10) Ірина Сімянчук
Видано:  в Україні
Місце знаходження:  м.Київ


Публікації у виданні





Тип
Назва документу
Автори
Рік видання
Джерело
1
Тези
On Generalized Well-founded Induction


Факультет інформаційних технологій
Програмних систем і технологій
Іванов Євген В’ячеславович
2020
Logic and its Applications: Науковий семінар [Електронний ресурс] - Режим доступу: http://logic.net.ua/sites/default/files/Book%20of%20Abstracts.pdf
c.7
2
Тези
Algebras of General Non-Deterministic Predicates


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2019
Logic and its Applications: Науковий семінар [Електронний ресурс] - Режим доступу: http://logic.net.ua/sites/default/files/Book%20of%20Abstracts.pdf
c.11-12
3
Тези
Composition-Nominative Specification Languages and Logics for the Object-Oriented Programs


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Омельчук Людмила Леонідівна
2019
Logic and its Applications: Науковий семінар [Електронний ресурс] - Режим доступу: http://logic.net.ua/sites/default/files/Book%20of%20Abstracts.pdf
c.9-10
4
Тези
Many-Valued Logics in the UML/OCL Model


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шишацька Олена Володимирівна
2019
Logic and its Applications: Науковий семінар [Електронний ресурс] - Режим доступу: http://logic.net.ua/sites/default/files/Book%20of%20Abstracts.pdf
c.12-13
5
Тези
Program-oriented Composition-Nominative Logics


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


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Шишацька Олена Володимирівна
2019
Logic and its Applications: Науковий семінар [Електронний ресурс] - Режим доступу: http://logic.net.ua/sites/default/files/Book%20of%20Abstracts.pdf
c.8
7
Тези
Teaching of the Course "Mathematical Logic" for Students of Humanities


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

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

Вгору