课程简介
《离散数学》是现代数学的一个重要分支,是计算机科学中基础理论的核心课程。以研究离散量的结构和相互间的关系为主要目标。离散数学课程主要介绍命题逻辑等值演算、命题逻辑的推理理论、一阶逻辑的基本概念、一阶逻辑等值演算与推理、集合代数、二元关系、函数、图的基本概念、欧拉图与哈密顿图等内容。教学原则是注重理论、方法和实例的有机结合,努力使学生对离散数学课程逐渐形成较为完整的知识体系,对于一些概念、性质、方法有更加深刻的理解,建立正确的形式逻辑和辩证逻辑,提高分析问题、解决问题的能力。
授课教师
孙华,博士,副教授,硕士生导师,现任新疆大学软件学院专任教师。于2011年获得华东理工大学计算机应用专业博士学位。长期致力于网络与信息安全、人工智能及应用等领域的研究。
在科研方面,先后主持和参与国家自然科学基金项目5项、自治区各类基金项目5项,承担多项横向课题,累计获批科研经费200余万元。以第一作者或通讯作者身份在国内外知名核心刊物上发表的学术论文30余篇,其中SCI/EI收录20余篇。获得软件著作权近20项。
在教学与人才培养方面,积极投身教学改革与创新,近三年,荣获2023年新疆大学高等教育教学成果三等奖(排名第1),2023年度新疆大学课程思政教学竞赛二等奖(排名第1),2024年新疆大学第五届教师教学创新大赛三等奖(排名第1),指导3项自治区级大学生创新创业项目。2023年新疆大学课程思政标杆课主持人。