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

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


ID: 6739
Кількість показів: 3228
дата змінення: 25.11.2014 12:26:25
Ким змінено (ім'я): (kya) Юлія Костюченко
Тип
Назва документу
Автори
Рік видання
Джерело
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
Наукова стаття
Inference Rules for the Partial Floyd-Hoare Logic Based on Composition of Predicate Complement


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

Програмних систем і технологій
Теорії та технології програмування
Нікітченко Микола Степанович
Іванов Євген В’ячеславович
2019
Communications in Computer and Information Science
c.71-88
4
Тези
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
5
Наукова стаття
Preface


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Ermolayev V.
Suárez-Figueroa M.C.
Yakovyna V.
Mayr H.C.
Spivakovsky A.
2019
Communications in Computer and Information Science
c.5-8
6
Тези
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
7
Тези
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
8
Тези
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
9
Матеріали конференції
Автоматична генерація задач для студентів з курсу «математична логіка»


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2018
Розвиток інтелектуальних умінь і творчих здібностей учнів та студентів у процесі навчання дисциплін природничо-математичного циклу: міжнародна дистанційна науково-методична конференція
т.1 c.204-205
10
Наукова стаття
On Two Representations of Concurrent Programs


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2017
Проблеми програмування
т.6 c.192-199

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

Вгору