本课程本科层次是网络工程（网络游戏）专业的必修基础课程，包括线性代数、集合论、命题逻辑、谓词逻辑和图论 5 部分，为后续专业课程的学习、在知识技能和思想方法等方面打下必须的的数学基础。 专科层次是软件系和游戏系专业的必修基础课程，包括线性代数、集合论、命题逻辑、谓词逻辑 4 部分内容，为学生学习专业课程准备好必要的基础知识，培养和提高学生正确的逻辑思维能力。