title: ÐÐ²ÑÐ¾Ð¼Ð°ÑÐ¸Ð·Ð°ÑÐ¸Ñ ÑÐ¾ÑÑÐ°Ð²Ð»ÐµÐ½Ð¸Ñ ÑÐ°ÑÐ¿Ð¸ÑÐ°Ð½Ð¸Ñ ÑÑÐµÐ±Ð½ÑÑ Ð·Ð°Ð½ÑÑÐ¸Ð¹
title: Ð²ÑÐ¿ÑÑÐºÐ½Ð°Ñ ÐºÐ²Ð°Ð»Ð¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¾Ð½Ð½Ð°Ñ ÑÐ°Ð±Ð¾ÑÐ° Ð±Ð°ÐºÐ°Ð»Ð°Ð²ÑÐ°
titleType: Subtitle
title: Education courses scheduling automatization
Creators: name: Ð¥Ð¾Ð¼ÑÐºÐ¾Ð², ÐÐ¸ÐºÑÐ¾Ñ
Publisher: name: Ð¡Ð°Ð½ÐºÑ-ÐÐµÑÐµÑÐ±ÑÑÐ³ÑÐºÐ¸Ð¹ Ð¿Ð¾Ð»Ð¸ÑÐµÑÐ½Ð¸ÑÐµÑÐºÐ¸Ð¹ ÑÐ½Ð¸Ð²ÐµÑÑÐ¸ÑÐµÑ ÐÐµÑÑÐ° ÐÐµÐ»Ð¸ÐºÐ¾Ð³Ð¾
Year: 2023
Subjects: ÑÐµÐ¾ÑÐ¸Ñ ÑÐ°ÑÐ¿Ð¸ÑÐ°Ð½Ð¸Ð¹
Ð¼Ð°ÑÐµÐ¼Ð°ÑÐ¸ÑÐµÑÐºÐ°Ñ Ð¼Ð¾Ð´ÐµÐ»Ñ ÑÐ°ÑÐ¿Ð¸ÑÐ°Ð½Ð¸Ñ ÐÐ£ÐÐ°
Ð·Ð°Ð´Ð°ÑÐ° ÑÐ¾ÑÑÐ°Ð²Ð»ÐµÐ½Ð¸Ñ ÑÐ°ÑÐ¿Ð¸ÑÐ°Ð½Ð¸Ñ ÐÐ£ÐÐ°
Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ¸Ð·Ð°ÑÐ¸Ñ ÑÐ¾ÑÑÐ°Ð²Ð»ÐµÐ½Ð¸Ñ ÑÐ°ÑÐ¿Ð¸ÑÐ°Ð½Ð¸Ñ
Ð³ÐµÐ½ÐµÑÐ¸ÑÐµÑÐºÐ¸Ð¹ Ð°Ð»Ð³Ð¾ÑÐ¸ÑÐ¼Ð°
SMT-ÑÐµÑÐ°ÑÐµÐ»Ñ
scheduling theory
mathematical model for university course scheduling
university course scheduling problem
scheduling automatization
genetic algorithm
SMT-solver

description: Ð Ð°Ð±Ð¾ÑÐ° Ð¿Ð¾ÑÐ²ÑÑÐµÐ½Ð° ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐºÐµ Ð¼Ð°ÑÐµÐ¼Ð°ÑÐ¸ÑÐµÑÐºÐ¾Ð¹ Ð¼Ð¾Ð´ÐµÐ»Ð¸ ÑÑÐµÐ±Ð½Ð¾Ð³Ð¾ ÑÐ°ÑÐ¿Ð¸ÑÐ°Ð½Ð¸Ñ Ð² ÐÐ£ÐÐµ Ð² ÑÐ°Ð¼ÐºÐ°Ñ ÐÐ¨ÐÐ¡Ð¸Ð¡Ð¢, Ð° ÑÐ°ÐºÐ¶Ðµ Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ Ð¸ ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐºÐµ Ð°Ð»Ð³Ð¾ÑÐ¸ÑÐ¼Ð¾Ð² ÑÐ¾ÑÑÐ°Ð²Ð»ÐµÐ½Ð¸Ñ ÑÐ°ÑÐ¿Ð¸ÑÐ°Ð½Ð¸Ñ Ð½Ð° Ð¾ÑÐ½Ð¾Ð²Ðµ Ð¿ÑÐ¸Ð²ÐµÐ´ÐµÐ½Ð½Ð¾Ð¹ Ð¼Ð¾Ð´ÐµÐ»Ð¸. Ð ÑÐ¾Ð´Ðµ Ð²ÑÐ¿Ð¾Ð»Ð½ÐµÐ½Ð¸Ñ ÑÐ°Ð±Ð¾ÑÑ Ð²ÑÐ¿Ð¾Ð»Ð½ÑÐ»Ð¸ÑÑ ÑÐ»ÐµÐ´ÑÑÑÐ¸Ðµ Ð·Ð°Ð´Ð°ÑÐ¸: 1. ÐÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ðµ ÑÑÑÐµÑÑÐ²ÑÑÑÐ¸Ñ Ð¼Ð¾Ð´ÐµÐ»ÐµÐ¹ Ð¸ Ð°Ð»Ð³Ð¾ÑÐ¸ÑÐ¼Ð¾Ð² ÑÐ¾ÑÑÐ°Ð²Ð»ÐµÐ½Ð¸Ñ ÑÐ°ÑÐ¿Ð¸ÑÐ°Ð½Ð¸Ñ ÑÑÐµÐ±Ð½ÑÑ Ð·Ð°Ð½ÑÑÐ¸Ð¹ Ð² ÐÐ£ÐÐµ 2. Ð Ð°Ð·ÑÐ°Ð±Ð¾ÑÐºÐ° Ð¼Ð°ÑÐµÐ¼Ð°ÑÐ¸ÑÐµÑÐºÐ¾Ð¹ Ð¼Ð¾Ð´ÐµÐ»Ð¸ ÑÐ°ÑÐ¿Ð¸ÑÐ°Ð½Ð¸Ñ ÐÐ£ÐÐ° Ð² ÑÐ°Ð¼ÐºÐ°Ñ ÐÐ¨ÐÐ¡Ð¸Ð¡Ð¢ 3. Ð Ð°Ð·ÑÐ°Ð±Ð¾ÑÐºÐ° Ð¸ Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ðµ Ð°Ð»Ð³Ð¾ÑÐ¸ÑÐ¼Ð¾Ð² ÑÐ¾ÑÑÐ°Ð²Ð»ÐµÐ½Ð¸Ñ ÑÑÐµÐ±Ð½Ð¾Ð³Ð¾ ÑÐ°ÑÐ¿Ð¸ÑÐ°Ð½Ð¸Ñ Ð½Ð° Ð¾ÑÐ½Ð¾Ð²Ðµ Ð¿ÑÐµÐ´Ð»Ð¾Ð¶ÐµÐ½Ð½Ð¾Ð¹ Ð¼Ð¾Ð´ÐµÐ»Ð¸ 4. Ð Ð°Ð·ÑÐ°Ð±Ð¾ÑÐºÐ° Ð³ÑÐ°ÑÐ¸ÑÐµÑÐºÐ¾Ð³Ð¾ Ð¸Ð½ÑÐµÑÑÐµÐ¹ÑÐ° Ð´Ð»Ñ ÑÐ¿ÑÐ¾ÑÐµÐ½Ð¸Ñ Ð²Ð·Ð°Ð¸Ð¼Ð¾Ð´ÐµÐ¹ÑÑÐ²Ð¸Ñ Ñ Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð½Ð¾Ð¹ ÑÐµÐ°Ð»Ð¸Ð·Ð°ÑÐ¸ÐµÐ¹ Ð¼Ð¾Ð´ÐµÐ»Ð¸ Ð¸ Ð°Ð»Ð³Ð¾ÑÐ¸ÑÐ¼Ð¾Ð² ÑÐ¾ÑÑÐ°Ð²Ð»ÐµÐ½Ð¸Ñ ÑÐ°ÑÐ¿Ð¸ÑÐ°Ð½Ð¸Ñ. Ð ÑÐµÐ·ÑÐ»ÑÑÐ°ÑÐµ ÑÐ°Ð±Ð¾ÑÑ ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐ°Ð½Ð° Ð¼Ð°ÑÐµÐ¼Ð°ÑÐ¸ÑÐµÑÐºÐ°Ñ Ð¼Ð¾Ð´ÐµÐ»Ñ, ÑÐ¾ÑÑÐ¾ÑÑÐ°Ñ Ð¸Ð· Ð¾Ð±ÑÐµÐºÑÐ¾Ð² Ð¸ Ð¾Ð³ÑÐ°Ð½Ð¸ÑÐµÐ½Ð¸Ð¹ Ð¸ Ð¾Ð¿Ð¸ÑÑÐ²Ð°ÑÑÐ°Ñ ÑÑÐµÐ±Ð½ÑÐ¹ Ð¿ÑÐ¾ÑÐµÑÑ Ð² ÐÑÐ·Ðµ Ð² ÑÐ°Ð¼ÐºÐ°Ñ ÐÐ¨ÐÐ¡Ð¸Ð¡Ð¢. ÐÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ñ ÑÑÑÐµÑÑÐ²ÑÑÑÐ¸Ðµ Ð¿Ð¾Ð´ÑÐ¾Ð´Ñ ÑÐµÑÐµÐ½Ð¸Ñ Ð·Ð°Ð´Ð°ÑÐ¸ Ð¿Ð¾ÑÑÑÐ¾ÐµÐ½Ð¸Ñ ÑÐ°ÑÐ¿Ð¸ÑÐ°Ð½Ð¸Ñ, ÑÐµÐ°Ð»Ð¸Ð·Ð¾Ð²Ð°Ð½Ñ ÑÐ¾Ð±ÑÑÐ²ÐµÐ½Ð½ÑÐµ Ð°Ð»Ð³Ð¾ÑÐ¸ÑÐ¼Ñ ÑÐµÑÐµÐ½Ð¸Ñ Ð·Ð°Ð´Ð°ÑÐ¸ Ð½Ð° Ð¾ÑÐ½Ð¾Ð²Ðµ Ð¿Ð¾Ð´ÑÐ¾Ð´Ð¾Ð² Ð³ÐµÐ½ÐµÑÐ¸ÑÐµÑÐºÐ¾Ð³Ð¾ Ð°Ð»Ð³Ð¾ÑÐ¸ÑÐ¼Ð° Ð¸ Ð¸ÑÐ¿Ð¾Ð»ÑÐ·Ð¾Ð²Ð°Ð½Ð¸Ñ SMT-ÑÐµÑÐ°ÑÐµÐ»ÐµÐ¹. Ð¢Ð°ÐºÐ¶Ðµ ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐ°Ð½Ð¾ Ð²ÐµÐ±-Ð¿ÑÐ¸Ð»Ð¾Ð¶ÐµÐ½Ð¸Ðµ, Ð¿ÑÐµÐ´Ð¾ÑÑÐ°Ð²Ð»ÑÑÑÐµÐµ Ð¿Ð¾Ð»ÑÐ·Ð¾Ð²Ð°ÑÐµÐ»Ñ Ð²Ð¾Ð·Ð¼Ð¾Ð¶Ð½Ð¾ÑÑÑ Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ¸Ð·Ð¸ÑÐ¾Ð²Ð°Ð½Ð½Ð¾Ð³Ð¾ ÑÐ¾ÑÑÐ°Ð²Ð»ÐµÐ½Ð¸Ñ ÑÐ°ÑÐ¿Ð¸ÑÐ°Ð½Ð¸Ñ Ñ Ð¿ÑÐ¸Ð¼ÐµÐ½ÐµÐ½Ð¸ÐµÐ¼ ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐ°Ð½Ð½Ð¾Ð¹ Ð¼Ð°ÑÐµÐ¼Ð°ÑÐ¸ÑÐµÑÐºÐ¾Ð¹ Ð¼Ð¾Ð´ÐµÐ»Ð¸ Ð¸ Ð°Ð»Ð³Ð¾ÑÐ¸ÑÐ¼Ð¾Ð².
description: The bachelorâs thesis is dedicated to development of university courses mathematical model as well as research and development of the course scheduling algorithms according to described mathematical model. In the course of the work the following tasks were considered: 1. Research of existing university course scheduling model and algorithms. 2. Development of the mathematical model within the confines of university higher school. 3. Development of the university courses scheduling algorithms according to described model. 4. Application development for the purpose of simplifying interaction with university scheduling mathematical model and algorithms. The result of graduate work is university scheduling mathematical model and algorithms. Mathematical model consists of mathematical objects and constraints, which describe educational process within the confines of university higher school. Existing approaches for solving the scheduling problem are investigated, own algorithms for solving the problem are implemented based on the approaches of the genetic algorithm and the use of SMT solvers. A web application that provides the user with the possibility of automated scheduling using the described mathematical model and algorithms has also been developed.