Приведена характеристика учебного комплекса (УК) как заведения нового типа в украинской системе высшего образования. Разработана содержательная постановка задачи автоматизированного составления расписания занятий в УК. Проведен обзор математических структур в аспекте их пригодности для адекватного воспроизведения асинхронности и параллельности, характерных для реализации учебного процесса в УК. Обоснована возможность использования в качестве методической основы синтеза модели расписания занятий в УК теории временных утверждений в форме темпоральной логики первого порядка. Ключевые слова: учебный комплекс, расписание занятий, компьютеризация, теория временных утверждений, преподаватели, аудиторный фонд, группы студентов, поток, дисциплины, занятия, кафедра, факультет.
