本课程是软件工程专业的大类基础教育必修课，为描述离散模型提供数学语言，为进一步学习软件工程的基本理论和方法奠定基础。 本课程主要培养学生提高自身抽象的思维能力与严密的逻辑推理能力，提升学生的专业理论水平、分析和解决实际问题的能力，为后继专业课及将来的工程设计、开发与研究提供必要的相关数学知识；针对离散对象的结构、规律及相互关系进行数学建模，能够处理各种离散结构事物的描述工具与方法，为分析与解决软件工程领域复杂工程问题提供推理理论和方法。本课程主要以数理逻辑中命题演算、谓词演算及形式逻辑的推理定律，集合与二元关系的概念、运算及应用，图论、树的基本理论知识和相关应用等知识为载体，一方面培养学生针对实际问题的需求，灵活运用所学知识，针对软件工程领域复杂系统或者过程描述复杂工程问题，构建数学模型，推断问题的关键环节和参数，验证模型推理过程的正确性，并获得有效结论；一方面培养学生严谨细心、善于思考、勇于探索、刻苦钻研的工匠精神。