逻辑证明

作品数：240被引量：227H指数：6
导出分析报告
相关领域：文化科学哲学宗教更多>>
相关作者：李昭平包心鉴于恒魁罗增儒王玉兰更多>>
相关机构：中山大学厦门大学南京大学陕西师范大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家社会科学基金国家高技术研究发展计划安徽省教育厅人文社会科学研究项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
天赋还是训练?从AI看,这也是一个问题
《中国信息技术教育》2024年第14期54-54,共1页魏忠 
至今最感谢的老师,还是高中阶段的数学杨老师,虽然他只作为代课教师教了我一个月。那是高中二年级的冬天,由于我不太爱听课,在几何课堂上,为了混过去,加上刚刚搞懂某种反证法进行逻辑证明,就直接用自己发明的一套代数方法解题。杨老师...
关键词：语言符号系统 一所 代课教师 数学成绩 代数方法 逻辑证明 基本定理 反证法 
邻域和开集拓扑溯源与四色问题构造法逻辑证明
《北华航天工业学院学报》2024年第2期5-8,共4页崔岩 崔朝栋 
在分析邻域和开集的定义、性质基础上,针对拓扑学对二者的等价描述、相互包含涵义、开集特征等问题,对邻域和开集展开拓扑溯源,提出可以刻画出二者特性的二象函数e^(x)。针对地图四色问题的拓扑性质,提出用对称点同色法着色原理的构造...
关键词：二象函数 对称点 同色法 构造法 
“规范和规范性”研究的兴起与发展——访徐梦秋教授被引量：1
《哲学动态》2022年第7期118-126,共9页田海滨 
福建省以马克思主义为指导的哲学社会科学学科基础理论研究基地重大项目“马克思的规范学说研究”(编号FJ2020MJD2009)的阶段性成果。
徐梦秋,1954年11月生,厦门大学特聘教授。曾任厦门大学哲学系主任、福建省哲学学会会长、教育部高等学校哲学类专业教学指导委员会委员。现任中国辩证唯物主义研究会常务理事、中国马克思恩格斯研究会常务理事、中国价值哲学研究会常务...
关键词：哲学类 哲学学会 检验真理的标准 逻辑证明 徐梦秋 高等学校 辩证唯物主义 厦门大学哲学系 
基于扩展混沌映射的远程医疗信息系统认证方案被引量：1
《计算机应用研究》2022年第7期2137-2142,共6页翟孝影 王箭 
国家自然科学基金资助项目(2020YFB1005900);广东省国家重点研发资助项目(2020B0101090002);江苏省自然科学基金资助项目(BK20200、418);国家重点科研资助项目(2020YFB1005900)。
针对远程医疗信息系统(TMIS)的实时应用场景,提出了一种安全高效的基于扩展混沌映射的切比雪夫多服务器认证协议。该方案使用随机数和注册中心的私钥为用户/应用服务器的身份加密,有效地支持用户和应用服务器的撤销和重新注册。同时,还...
关键词：远程医疗信息系统 切比雪夫混沌映射 认证 BAN逻辑证明 
法治言论
《中国司法》2022年第1期4-5,共2页
陈亮:坚持党对法治建设的全面领导党领导法治建设的历史逻辑证明,脱离了党的领导,社会主义法治就无从谈起,人民当家作主就没有保障,社会主义事业就无法推进。坚持党对法治建设的全面领导,既是推动法治建设必须遵循的首要条件,也是坚持...
关键词：人民当家作主 法治国家 法治政府 社会主义法治 法治建设 党的领导 根本前提 逻辑证明 
“质疑”诚可贵 “证明”价更高——一次数学小测验引发的思考
《中国数学教育（高中版）》2021年第11期29-33,共5页崔浩 
一次数学小测验,说明一次函数、二次函数、反比例函数图象需要“正名”.数学教学中,要坚持勇于质疑、善于思考、尊重证据、依照逻辑、实事求是、严谨求实的价值取向,要维护与强化学生敢质疑、敢证明、敢证伪的思维锐气,这无疑是时代的要求.
关键词：数学测验 函数图象 圆锥曲线 逻辑证明 
简评四色定理的一种非计算机“逻辑证明”
《西南民族大学学报（自然科学版）》2021年第3期326-329,共4页杨军 李高平 李庆 
国家自然科学基金青年基金项目(11401493);西南民族大学中央高校基本科研业务费专项资金项目(2020NYB17)。
2020年,Y. Wang基于构形和可归约性的经典概念提出了一份四色猜想(The Four Color Conjecture, 4CC)的归谬法证明.首先构造反例指出其"临界k色图"定义的一个缺陷.其次对比分析表明,把"最小图"改为"临界5色图"的做法产生了逻辑二难困境:...
关键词：四色猜想 极大平面图 最小图 临界k-色图 Heawood图 
新发展阶段新发展理念新发展格局的内在逻辑被引量：2
《政工学刊》2021年第3期8-9,共2页颜晓峰 
习近平总书记强调,进入新发展阶段、贯彻新发展理念、构建新发展格局,是由我国经济社会发展的理论逻辑、历史逻辑、现实逻辑决定的。这是从理论和实际、历史和现实、国内和国际相结合的高度,为党中央作出的新的重大战略判断、坚持的现...
关键词：新发展阶段 现实逻辑 逻辑证明 历史和现实 新发展理念 战略判断 理论和实际 内在逻辑 
论以公有制为主体地位的衡量标准及逻辑结构
《湖北开放职业学院学报》2021年第6期104-105,共2页袁文刚 汤晓莉 
2017年安徽省教育厅人文社科重点项目“公有制经济主体地位及其衡量标准和指标体系研究”的阶段性成果(项目编号:SK2017A0833)。
公有制经济主体地位的巩固和发展,既是一个基础理论问题,又是一个不可回避的现实问题。对以公有制为主体地位的衡量标准及其逻辑结构研究,不仅要从其标准问题争议进行分析,还要从争论焦点的不足及其危害进行探索。依据我国经济社会建设...
关键词：公有制主体地位 经济制度 经营资产 逻辑证明 
阿基与乌龟之从部分到整体
《数学大王（超级脑力）》2021年第1期66-70,共5页吉磊 
你看不见我阿基里斯遇到一位诡辩大师。这位诡辩大师的“逻辑证明”是不讲逻辑的。虽然人由细胞组成,但是细胞具有的性质,并不都是人这个整体的性质。有些细胞只能活几天,难道这位诡辩大师也只有几天的寿命吗?诡辩大师犯了从部分推整体...
关键词：诡辩 逻辑证明 阿基里斯 大师 性质 细胞 
全选清除导出
共24页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部