Browsing by Author "Шекета, В."

Now showing 1 - 3 of 3

Аналіз абстрактних типів даних для модифікаційних предикатних запитів
(Видавництво Національного університету “Львівська політехніка”, 2005-03-01) Шекета, В.; Національний технічний університет нафти і газу
Побудовано домен для аналізу абстрактних типів даних в модифікаційних предикатних запитах із використанням поліморфних типів даних і домена трансфінітних формул. Показано можливість використання домена логічних програм як абстрактного домена для інтерпретації модифікаційних предикатних запитів.
Аналіз семантики шаблонів виклику модифікаційних предикатних запитів для інформаційних систем на основі баз даних і знань
(Видавництво Національного університету “Львівська політехніка”, 2005-03-01) Шекета, В.; Івано-Франківський національний технічний університет нафти і газу
Запропоновано спосіб обчислення семантик шаблонів виклику модифікаційних предикатних запитів для інформаційних систем на основі баз даних і знань.
Формальний опис процесу контролю задоволення та порушення обмежень в інтелектуальних системах
(Видавництво Львівської політехніки, 2011) Вовк, Р.; Процюк, В.; Шекета, В.
Досліджено процес функціонування інтелектуальної навчальної системи засобами формальних методів теорії інформаційно-пошукових задач на основі обмежень. Побудовано множини, системи та ієрархії обмежень для статичних та динамічних навчальних проблем з виділеними станами, для яких описано можливі помилки рішень як результат порушення накладених обмежень з повідомленнями зворотного зв’язку. The exploration of the functioning process for intelligible tutoring system by the means of constraints satisfaction problem formal methods is done. The sets, systems and hierarchies of constraints for static and dynamic learning problems with selected states is introduced with descriptions of possible solution errors, that are arising by violation of imposed constraints complemented with relevant feedback messages is proposed.