Видання

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


ID: 225143
Кількість показів: 54
дата змінення: 21.03.2019 12:42:50
Ким змінено (ім'я): (cyb10) Ірина Сімянчук
Видано:  в Україні


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





Тип
Назва документу
Автори
Рік видання
Джерело
1
Тези
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
2
Тези
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
3
Тези
Many-Valued Logics in the UML/OCL Model


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


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


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


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

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

Вгору