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

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


ID: 6739
Кількість показів: 3891
дата змінення: 25.11.2014 12:26:25
Ким змінено (ім'я): (kya) Юлія Костюченко
Тип
Назва документу
Автори
Рік видання
Джерело
31
Праці конференції
Program Logics of Renominative Level with the Composition of Predicate Complement


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
2019
ICT in Education, Research and Industrial Applications: Integration, Harmonization, and Knowledge Transfer (ICTERI): Міжнародна конференція
т.2 c.603-616
32
Тези
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
33
Тези
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
34
Тези
Sequent calculi for logics with composition of predicate complement


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
Мамедов Тогрул Алірзайович
2019
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
c.67-69
35
Тези
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
36
Наукова стаття
Testing in the process of verification during the development of software products


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2018
EURÓPSKA VEDA/EUROPEAN SCIENCE
c.206-209
37
Матеріали конференції
Автоматична генерація задач для студентів з курсу «математична логіка»


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2018
Розвиток інтелектуальних умінь і творчих здібностей учнів та студентів у процесі навчання дисциплін природничо-математичного циклу: міжнародна дистанційна науково-методична конференція
т.1 c.204-205
38
Матеріали конференції
Впровадження ІКТ для організації управлінської діяльності навчального закладу


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
Поданчук Н.Г.
2019
Автоматизація та комп’ютерно-інтегровані технології у виробництві та освіті: стан, досягнення, перспективи розвитку: Всеукраїнська науково-практична Internet-конференція
c.212-214
39
Тези
Задача розв'язності формул в теорії номінальних даних


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Омельчук Людмила Леонідівна
Шишацька Олена Володимирівна
2019
Логіка та її застосування (UCLA): Українська наукова конференція
c.133-134
40
Праці конференції
Логіки квазіарних предикатів з рівністю та предикатним доповненням


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2019
Логіка та її застосування (UCLA): Українська наукова конференція
c.88-99

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

Вгору