公理集合论

作品数：38被引量：37H指数：2
导出分析报告
相关领域：理学哲学宗教更多>>
相关作者：肖奚安朱梧槚宋方敏顾红芳王世强更多>>
相关机构：南京航空航天大学南京大学解放军理工大学北京师范大学更多>>
相关期刊：《哲学研究》《中小学教师培训》《前沿科学》《自然辩证法研究》更多>>
相关基金：国家高技术研究发展计划国家自然科学基金国家攀登计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
针对教学场景的ZFC集合论Coq形式化被引量：1
《软件学报》2023年第8期3549-3573,共25页万新熠 徐轲 曹钦翔 
离散数学是计算机类专业的基础课程之一,命题逻辑、一阶逻辑与公理集合论是其重要组成部分.教学实践表明,初学者准确理解语法、语义、推理系统等抽象概念是有一定难度的.近年来,已有一些学者开始在教学中引入交互式定理证明工具,以帮助...
关键词：COQ ZFC公理集合论 一阶逻辑 
正规模态集合论悖论及相关问题
《中国哲学年鉴》2018年第1期341-341,共1页张建军 
本文通过对模态集合论与模态哲学前沿问题的研究,提出了基于带等词一阶逻辑、公理集合论和正规模态逻辑“自然结合”的“正规模态集合论悖论”。文中证明,正规模态命题逻辑如同一根“魔杖”,一旦将之引入经典集合论,即把本来可以容纳偶...
关键词：逻辑真理 模态命题逻辑 公理集合论 一阶逻辑 集合论悖论 模态逻辑 哲学前沿 经典集合论 
计算的极限(六):到达“无穷”的彼岸
《语数外学习（高中版）（中）》2018年第10期55-62,共8页
计算无处不在.走进一个机房,在服务器排成的一道道墙之间,听着风扇的鼓噪,似乎能嗅出0和1在CPU和内存之间不间断的流动.从算筹算盘,到今天的计算机,我们用作计算的工具终于开始量到质的飞跃.计算机能做的事情越来越多,甚至超越了它们的...
关键词：哥德尔 数学家 康托尔 自然数 公理集合论 完备性定理 数学界 数学体系 圆锥曲线 
反基础公理的逻辑研究
《中国哲学年鉴》2017年第1期424-425,共2页李娜 袁旭亮 
全书共分为3编。第1编“用图刻画的反基础公理”主要证明Aczel用图刻画的各种反基础公理与公理集合论系统ZFC-的相对协调性,主要的工作是为用图的方法刻画的反基础公理AFA所构成的非良基集合论系统ZFC-+AFA建立不同的集合论模型。第2编...
关键词：公理集合论 方程组 唯一解 非良基集合 集合论模型 韦斯 AFA 协调性 
“数学广角”教学的系列研究(三)
《小学数学教育》2017年第4期3-7,共5页曹培英 
人民教育出版社课程教材研究所“十三五”课题《面向2021小学数学课程内容精简、充实与教学改进的研究——以问题解决的内容与教学为例》(课题编号:KC2016-32)的研究成果之一
本文研究人教版教材＂数学广角＂中＂集合＂的内容及其教学。近十多年来,在各种小学数学期刊上几乎年年都有介绍或讨论＂集合＂（又称＂重叠问题＂）的文章。以《小学数学教育》为例,仅2016年就有5篇。足见这一课题对众多教师的吸引力。
关键词：小学数学教育 集合思想 人教版教材 韦恩图 踢毽 初步感知 阴影部分 数形结合 公理集合论 巩固练习 
公理集合论中的ZFC系统是不协调的（英文）
《前沿科学》2013年第4期45-46,共2页侯振挺 王世强 
本文用模型论方法证明:集合论公理系统ZFC是不协调的.
关键词：ZFC系统 模型论 
论八卦是八个逻辑范式被引量：13
《周易研究》2012年第3期90-96,共7页王俊龙 
基于太极代数,本文证明八卦是八个逻辑范式,八卦中包含四对矛盾关系,其中"六子"构成辩证逻辑组。八卦是生命生产和思想生产都必须共同遵循的变化法则。学界似有这样的倾向,以为《周易》中只有类推逻辑而没有演绎逻辑,本文证明这种观点...
关键词：太极代数 八卦 逻辑范式 辩证逻辑组 布尔代数 公理集合论 
可分析集合、笛卡尔逻辑和命题的可推导性关系
《软件》2012年第1期12-22,共11页赵峰 
本文在ZFC公理系统的基础上,首先提出可分析集合的概念且可表达为p={x|x∈p}。然后给出受囿变量的定义,引入笛卡尔逻辑以使逻辑的概念像算法的概念一样精确化而成为明确的数学对象,不仅足以适应代数和分析的要求,而且充分满足经典和非...
关键词：计算机软件 公理集合论 可分析集合 变量 受囿变量 笛卡尔逻辑 命题的可推导性关系 逻辑运算. 
关于公理集合论的一个注记(Ⅰ)
《数学理论与应用》2011年第3期1-3,共3页侯振挺 王世强 阎国军 
本文证明了一个句子集(记为T)是协调的。
关键词：模型论 剩余类环 
浅议一阶逻辑的发展与集合论公理化的关系
《自然辩证法研究》2008年第12期27-30,共4页王辉 
众所周知,一阶逻辑与公理集合论是数理逻辑的两个组成部分,其中,一阶逻辑是数理逻辑的基础部分。但在数理逻辑刚刚出现的时候,逻辑不是一阶的,集合论也经历了由康托尔素朴集合论到公理集合论的发展。在数理逻辑发展的历史中,一阶逻辑的...
关键词：数理逻辑 一阶逻辑 公理集合论 逻辑史 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部