Видання

Логіка та її застосування (UCLA): Українська наукова конференція


ID: 238627
Кількість показів: 70
дата змінення: 26.11.2019 14:38:43
Ким змінено (ім'я): (cyb10) Ірина Сімянчук
Видано:  в Україні
Місце знаходження:  Київ


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





Тип
Назва документу
Автори
Рік видання
Джерело
1
Праці конференції
Алгоритми і формальні моделі обчислень


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
2019
Логіка та її застосування (UCLA): Українська наукова конференція
c.69-77
2
Праці конференції
Логіка в математиці і інформатиці


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
Гогерчак Григорій Іванович
2019
Логіка та її застосування (UCLA): Українська наукова конференція
c.47-55
3
Тези
Non-stationary time-series distance clustering for a similarity analysis


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Круковець Дмитро Юрійович
2019
Логіка та її застосування (UCLA): Українська наукова конференція
c.117-119
4
Праці конференції
Відношення логічного наслідку в композиційно-номінативних логіках з предикатним доповненням


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


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


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


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


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зубенко Віталій Володимирович
2019
Логіка та її застосування (UCLA): Українська наукова конференція
c.125
9
Тези
Про процедурну платформу теорії алгоритмів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Зубенко Віталій Володимирович
2019
Логіка та її застосування (UCLA): Українська наукова конференція
c.126-127
10
Тези
Формалізація речень природної мови мовою логіки висловлень


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Русіна Наталія Геннадіївна
2019
Логіка та її застосування (UCLA): Українська наукова конференція
c.135-136

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

Вгору