关于半格的一个定理

文中给出了如下定理：设（L，V，∧，∏，∑），A包含于L，则（A，∨，∧，∑）=（A，∨，∧，∏，∑）iff存在（L，∧）上的内部算子I，使得A={x:I(x)=x}=range(I)&;amp;∨B包含于A，I（∧b∈b b)=∧b∈bl I(b)另外，还给出[1]中定理1的一个改进证明。     

基于教育数学思想以资源建设为抓手培养数学师资

本文总结了基于教育数学思想，以教学资源的编写和修订为抓手，切实带动数学教师教学研究能力和素养的提升，全面培养与提升师资队伍整体教学水平的北航经验.     

群元值测度的一个定义和一些性质

文中给出了定义在第二可数完备布尔代数上,取值于半序交换群内的群元值测度的一个定义和一些性质.     

《数理逻辑和集合论》中的对角化原则

对角化原则在数理逻辑与集合论中有广泛的应用.作为一项重要的证明方法,它不仅在阐明悖论、证明Cantor定理时提供了形式化手段,而且为哥德尔不完全性定理证明中的关键——自指代命题的构造贡献了重要的思想基础.通过若干实例分析,本文介绍了对角化原则在处理"无限对象"时的特殊威力.     

《工科数学分析开放式教学探讨

全面介绍了北京航空航天大学<工科数学分析>课程开放式教学的探索和实践.     

基于研究型教学的《抽象代数Ⅱ》建设与实践

总结了北航研究生《抽象代数II》课程的建设与实践过程中,探索研究型教学、实践翻转课堂、提高学生学习积极性、主动参与教学过程的一些思路和做法,提倡在教学全过程中鼓励与激发学生探究式学习.     

格序群上的C-拓扑

令C为格序群A的某些正元组成的一个容许子集,Gusid证明A可以被赋予一个C-拓扑使得A成为拓扑群．本文证明C-拓扑实际上使得A成为拓扑格序群,给出了Gusid定理的推广,并揭示了Gusid C-群的自然性．而且,我们证明C-拓扑使得任何Archimedean格序向量空间成为孔拓扑格向量空间．同时,构造了一个简单的例子说明C-群不一定是乃的．另一个例子证明T2拓扑格向量空间也不一定为C—Archimedean．