073: Комп'ютерні науки
Permanent URI for this collection
Browse
Recent Submissions
Now showing 1 - 5 of 13
- ItemДослідження властивостей композиційно-номінативних логік(2007) Шкільняк, ОксанаComposition nominative logics of equitone quasi-are predicates have been investigated. The substitution theorems for the relation of logical consequence for sets of formulas and for sequential derivation, the theorem of independence of closiness of constructed sequential tree of application order of sequential forms, and the cut elimination theorem have been proved. The fs-derivation procedure for finitary sequences has been introduced.
- ItemСтворення мультисервісної національної телекомунікаційної мережі в рамках розвитку електронного урядування в Україні(2007) Костюк, Олександр; Чуприна, ДмитроModern approach is considered for realisation e-government transport function which must be supplied by the single National Multiservice Telecommunication Network. It is constructed on the National System of Confidential Contact.
- ItemВпровадження систем надання рекомендацій в електронне навчання(2007) Бублик, Володимир; Горностай, МаріяРозглянуто системи надання рекомендацій, які доцільно використовувати для систем елек- тронного навчання. Досліджено підходи до побудови профілю користувача для різних типів систем електронного навчання та систем надання рекомендацій, запропоновано алгоритм побудови профілю псевдо-активного користувача, що базується на характерних рисах.
- ItemЗастосування засобів децентралізованої автентифікації у системах електронної освіти(2007) Рощенко, ЮрійДосліджено сучасні тенденції у системах авторизації та єдиного входу, виділено системи, придатні для створення міжорганізаційних об’єднань електронної освіти. Розглянуто, зокрема, сучасні децентралізовані системи, включаючи Shibboleth, OpenID і Windows CardSpaces, та їх сумісніть із популярними веб-базованими системами електронної освіти, такими як ILIAS, Moodle, elgg and BlackBoard.
- ItemПобудова підсистеми тестування у програмній системі підтримки мобільного навчання(2007) Глибовець, Андрій; Міщенко, ЯрославаВисвітлення особливостей програмної реалізації підсистеми тестування системи підтримки мобільного навчання (m-learning), з наголосом на описі деяких практичних пропозицій розроб- лення застосувань для системи, є основною темою цієї роботи.
- «
- 1 (current)
- 2
- 3
- »