Наукова періодика України | Радіоелектронні і комп’ютерні системи | ||
Шостак И. В. Разработка темпорально-логической модели компьютерной поддержки диспетчеризации занятий в учебном комплексе / И. В. Шостак, В. В. Воронько, А. Б. Зибров // Радіоелектронні і комп’ютерні системи. - 2013. - № 3. - С. 110–114. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2013_3_18 Приведена характеристика учебного комплекса (УК) как заведения нового типа в украинской системе высшего образования. Разработана содержательная постановка задачи автоматизированного составления расписания занятий в УК. Проведен обзор математических структур в аспекте их пригодности для адекватного воспроизведения асинхронности и параллельности, характерных для реализации учебного процесса в УК. Обоснована возможность использования в качестве методической основы синтеза модели расписания занятий в УК теории временных утверждений в форме темпоральной логики первого порядка. Цитованість авторів публікації: Бібліографічний опис для цитування: Шостак И. В. Разработка темпорально-логической модели компьютерной поддержки диспетчеризации занятий в учебном комплексе / И. В. Шостак, В. В. Воронько, А. Б. Зибров // Радіоелектронні і комп’ютерні системи. - 2013. - № 3. - С. 110–114. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2013_3_18.Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |