论文部分内容阅读
离散数学课程的知识结构,是课程教学的一个重要问题.本文在厘清其基于集合论结构主义观点的基础上,自然地导入范畴论的概念,并说明离散数学教学中从集合论结构主义观点向范畴论结构主义观点转向的合理性.
对离散数学课程中结构主义观点的思考
【摘 要】
：
离散数学课程的知识结构,是课程教学的一个重要问题.本文在厘清其基于集合论结构主义观点的基础上,自然地导入范畴论的概念,并说明离散数学教学中从集合论结构主义观点向范畴
【机 构】
：
西安交通大学数学与统计学院
【出 处】
：
大学数学
【发表日期】
：
2020年2期
【基金项目】
：
国家自然科学基金项目(11690010),陕西省教育厅高等教育MOOC中心项目(16MK05)
其他文献
以经济管理类学生作为研究对象,统计2017级和2018级的微积分(上)期末考试成绩,其中2017级的课后作业为常规纸质作业模式,2018级为在线作业平台完成作业模式.根据正态性检验结
将思政元素融入专业课堂中,是高校开展思政教育的有效途径.本文以离散数学课程的思政教育为出发点,从“课程思政”的含义、开展“课程思政”的必要性、可行性以及实施方案四
建模、仿真和验证语言（MSVL）是一种时序逻辑编程语言,它是投影时序逻辑（PTL）的可执行子集.MSVL和PTL可用于并发系统的建模和性质验证.然而,MSVL缺少一种消息传递的通信机制,这种
多元函数求极值的方法已经众所周知,然而对于一些结构较为复杂的函数,无法求得它的极值,甚至一些驻点都无法得到.本文系统地讨论了多元多项式函数的极值求法,包括自由极值和
综述了榛子的优良品种、生物学特性和榛子高产栽培关键的技术;并针对榛子的栽培殃状和问题提出了榛子的产业化对策.
松针是松科常绿乔木针叶的统称,其中包括:华山松(Pinus armandii Franch.)、湿地松(P.elliotii En-gelm.)、马尾松(P.massoniana Lamb.)、油松(P.tabulaeformis Carr.)等.这