公理化

作品数：892被引量：1829H指数：19
导出分析报告
相关领域：理学文化科学更多>>
相关作者：甘筱青李娜惠小静孙浩潘小东更多>>
相关机构：西北工业大学九江学院西南交通大学北京师范大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家社会科学基金国家重点基础研究发展计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
复数法在平面几何教学中的应用探究
《进展》2025年第S1期162-164,共3页曾浩 
平面几何在提高学生的演绎推理能力、空间想象能力中有着独特的优势,公理化方法构造的平面几何题的通常解法是公理化方法。复数乘法和除法在人教A版必修第二册中作为选讲不作要求。但复数凭借着自己独特的几何意义,一些基本的几何关系...
关键词：平面几何 复数 复数法 公理化 
理论等价性与几何实在论
《哲学动态》2025年第2期131-144,共14页周星哲 
国家社会科学基金一般项目“法国尼科科学哲学著作翻译与研究”(编号23BZX099)的阶段性成果。
互不相容而又相互等价的理论之存在引发哲学界关于理论等价性概念的新兴探究,这一探究有助于澄清历史悠久的实在论问题。各种可能的理论等价性概念难以在统一的形式框架内得到刻画。有鉴于此,基于欧几里得几何这一经典而成熟的数学科学...
关键词：几何 理论等价性 实在论 公理化 系统多样性 
细分单位,凸显整数除法运算的一致性——“分数与除法的关系”教学实践与思考
《小学数学教师》2025年第2期41-46,共6页汤建英 王晨怡 
张奠宙教授指出,现代数学中,分数的定义一般有以下四种:份数定义、商定义、比定义、公理化定义。为了保证除法运算的“通行无阻”,当两个数相除得不到整数商时,需要引人一种新的数,这便是分数的“商定义”。“分数与除法的关系”一课,...
关键词：除法运算 现代数学 通行无阻 公理化定义 分数意义 整数除法 教学实践与思考 一致性 
有效均分补偿值的公理化刻画及其应用
《运筹学学报(中英文)》2024年第4期91-100,共10页曾满嫦 赵加贵 单而芳 
国家自然科学基金(No.72371151)。
补偿值是图对策上一类重要的分支有效解。2018年,Béal等将这一分支有效解推广为有效解,并给出了公理化刻画。本文给出了有效均分补偿值的新的公理化刻画。首先证明了有效均分补偿值可以由有效性、相对公平性以及剩余公平分配所唯一确...
关键词：合作对策 无圈图 有效均分补偿值 剩余公平分配 
效用可转移合作博弈的Shapley值公理化研究进展综述
《运筹学学报（中英文）》2024年第3期63-80,共18页李文忠 徐根玖 
国家自然科学基金(Nos.72301214,72071159);智能博弈重点实验室创新工作站开放课题(Nos.ZBKF-24-07,ZBKF-24-11)。
随着全球经济融合和国际关系日益紧密,合作共赢已然成为当今时代的核心趋势。合作博弈理论作为研究合作问题的有力工具,主要探讨如何在参与者之间分配合作所产生的收益。Shapley值作为合作博弈中最重要的单值解之一,具有重要研究意义与...
关键词：合作博弈 SHAPLEY值 公理化方法 
公理化真理论的标准辨析
《湖南科技大学学报（社会科学版）》2024年第4期33-40,共8页刘大为 
国家社会科学基金后期资助项目(20FZXB014)。
公理化真理论把“真”看作一个原始谓词,并用一组公理和规则来规定它。为了评价不同的公理化真理论,逻辑学家莱特格布提出了真理论的八个标准,得到许多哲学家的认同。通过详细分析这八个标准的解释和意义可以看到,这些标准既不是必然的...
关键词：公理化真理论 真标准 紧缩真理论 真原则 后承 
公理化的矩阵半张量积
《控制理论与应用》2024年第7期1172-1180,共9页程代展 赵荣 冯俊娥 
国家自然科学基金项目(62350037,62073315,62273201,12326425);山东省泰山学者特聘教授基金项目(TSTP20221103)资助。
本文给出矩阵半张量积的一个公理化框架,它包括矩阵–矩阵半张量积、矩阵–向量半张量积和向量–向量半张量积.首先,对目前通用的各类矩阵半张量积的基本性质与应用做一个综述性的回顾.然后,介绍一种新近出现的矩阵半张量积,即保维数矩...
关键词：公理化的矩阵半张量积 超矩阵 保维数矩阵半张量积 非方矩阵的Cayley-Hamilton定理 
半格模态逻辑以及格的模态公理化新方法
《逻辑学研究》2024年第3期51-73,共23页王潇扬 
supported by the National Social Science Fund of China(No.19ZDA041)。
本文在《Modal Logic over Lattices》的基础工作之上,进一步探索了模态逻辑与格理论之间的关系。在之前的研究中,使用带二元模态词,的多元混合逻辑通过标准克里普克语义讨论格结构。本文将讨论如何使用模态逻辑刻画下半格结...
关键词：模态词 模态逻辑 公理化 逻辑语言 偏序关系 半格 格结构 多元混合 
有穷深度的传递濒表格逻辑的有穷公理化问题
《逻辑学研究》2024年第3期74-85,共12页杜珊珊 
supported by“The Fundamental Research Funds for the Central Universities(No.410500139)”。
本文试图解决有穷深度的传递的濒表格逻辑的公理化问题。这是作者之前所解决的传递的濒表格逻辑判据工作的后继。本文使用了模态逻辑的先进技术典范公式来解决NExtK4格(即传递逻辑格)中的每一个有穷深度濒表格逻辑的公理化问题。我们所...
关键词：公理化 模态逻辑 表格 可操作性 深度 传递 
几类一元模糊代数方程的可解性条件
《四川师范大学学报（自然科学版）》2024年第2期253-263,共11页苏欢 潘小东 付凯 
国家自然科学基金(61673320和61976130);四川省应用基础研究项目(2020YJ0270)。
在取Zadeh算子的模糊空间中讨论3类基本的一元模糊代数方程,给出这3类方程的可解性判别条件;证明第1类方程的解集构成取Zadeh算子模糊空间的凸子格;当方程中的蕴涵算子取→R蕴涵时,第2、3类模糊代数方程的解集构成取Zadeh算子模糊空间...
关键词：公理化模糊集 模糊空间 模糊代数方程 解集 凸子格 
全选清除导出
共90页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部