排序方式: 共有20条查询结果,搜索用时 15 毫秒
1.
在中介公理集合论系统(MS)中重新定义了良集的概念,讨论了它的性质。证明良集完全满足经典公理集合论系统(ZFC-:ZFC系统中去掉正则公理)的全部公理,且其配套的逻辑系统恰为中介逻辑的二值子系统FI*ML,说明整个经典数学也能奠基于MS之上,从而最终回答了中介数学与经典数学的包含关系问题。 相似文献
2.
姚楠 《南京航空航天大学学报》1998,30(4):359-365
讨论中介逻辑命题演算扩张系统MP*中在等值意义下的完全析取范式的存在性和唯一性。引入MP*中等值全板范式的概念,并用分步构造法证明这种范式在等值意义下是存在的,且是唯一的。 相似文献
3.
4.
何自强 《北京航空航天大学学报》1994,20(1):85-90
独立性是公理系统的重要性质之一。给出了一个一阶逻辑的公理系统,采用语义解释和公式变换的方法,证明了它的独立性。 相似文献
5.
6.
离散数学中数理逻辑教学的探讨 总被引:1,自引:0,他引:1
匡桂娟 《桂林航天工业高等专科学校学报》2007,12(4):87-89
论文根据离散数学中数理逻辑的教学要求,结合教学中遇到的问题,以教学理论为指导,有效地将探究式教学、把握师生关系,多种教学手段并用等应用于教学中。试图通过教与学互动,提高教学的质量。文中通过以目的为诱因,以实例将理论具体化,结合图示、图表等多种教学手段,有效地将理论基础与学科应用结合起来。从而帮助学生对数理逻辑的清晰理解。 相似文献
7.
空间材料质损过程的数学分析与理论的实验验证 总被引:5,自引:0,他引:5
王先荣 《中国空间科学技术》1989,9(3):8-20
本文建立了与材料历史、材料质损过程相关的数理方程;解之,给出了质损过程初始条件的解,否定了质损研究历史上对初始条件的简化处理;在选取初始条件严格数理解的前题下,对有关质损过程的定解问题求解,给出了质损W(T,t)随温度和时间变化的关系——双指数函数;设计了理论、实验拟合方法——多维参数优选搜索累次迭代法及相关的计算机程序,并据此方法对多种有机材料、复合材料在真空微量天平质损测试系统上取得的实验数据予以处理。结果表明:双指数理论与实验吻合很好,理论值与实验值的均方偏差均在10~(-3)~10~(-4)范围。 相似文献
8.
在中介公理集合论系统中重新定义了良集的概念,讨论了它的性质,证明良集完全满足经典满足经典公理集合论系统的全部公理,且其配套的逻辑系统恰为中介的二值子系统FML,说明整个经典数字也能奠基于MS之上,从而最终回答了中介数字与经典数学的包含关系问题。 相似文献
9.
杨志红 《郑州航空工业管理学院学报(管理科学版)》1994,(2)
我们在文[1]中的基B_L上引入代数结构形成一个布尔代数,并给出布尔代数的一些重要子集。构造了一个完全理论,即文[1]中S的一个元。证明了B_L是一个完全布尔代数的子代数,并在这个子代数中给出一个不弱于一阶逻辑紧致性定理的条件。本文给出了等式逻辑中簇在被等式集公理化时所体现出的与点集拓朴的紧致性相类似的性质。 相似文献
10.
何自强 《北京航空航天大学学报》1994,(1)
独立性是公理系统的重要性质之一.给出了一个-阶逻辑的公理系统,采用语义解释和公式变换的方法,证明了它的独立性. 相似文献