[发明专利]一种基于数学逻辑的智能排课方法

权利要求书

1.一种基于数学逻辑的智能排课方法，其特征在于，其步骤包括：

S1：输入课程集合和任课教师集合，将所述课程集合和任课教师集合二维数组序列号形成一维数组；

S2：将所述一维数组的下标作为属性坐标，并对应每一点有一个课时分布的概率分布基准；

S3：输入教室集合和上课班级集合，并基于所述概率分布基准建立映射函数，根据所述映射函数形成初级排课结果集合；

S4：输入约束条件，根据所述约束条件对所述初级排课结果集合进行筛选，形成二级排课结果集合；

S5：对所述二级排课结果集合进行优先性规则筛选形成三级排课结果集合；

S6：根据数学逻辑对三级排课结果集合内的元素进行修改，并输出终级排课结果集合。

2.根据权利要求1所述的基于数学逻辑的智能排课方法，其特征在于，所述优先性规则筛选包括：

S51：对二级排课结果集合中的元素进行筛选，上课人数多的课程排序在人数少的课程之前；

S52：在S51中，出现人数相同的课程时，输入课程跨度，将与前课程跨度小的课程排序在与前课程跨度大的课程之前。

3.根据权利要求2所述的基于数学逻辑的智能排课方法，其特征在于，所述S6中还包括输入任课教师调课信息，再根据数学逻辑对三级排课结果集合内的元素进行修改，并输出终级排课结果集合。

4.根据权利要求3所述的基于数学逻辑的智能排课方法，其特征在于，其步骤还包括：

S7：判断所述终级排课结果集合中是否为空集，判断为是，返回S4中，重新输入约束条件；

S8：判断为否，输入所述终级排课结果集合。