咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 279 篇 期刊文献
  • 11 篇 学位论文
  • 4 篇 会议

馆藏范围

  • 294 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 90 篇 理学
    • 75 篇 数学
    • 5 篇 物理学
    • 3 篇 科学技术史(分学科...
    • 2 篇 系统科学
  • 70 篇 哲学
    • 70 篇 哲学
  • 55 篇 教育学
    • 6 篇 教育学
    • 1 篇 心理学(可授教育学...
  • 42 篇 工学
    • 30 篇 计算机科学与技术...
    • 14 篇 控制科学与工程
    • 7 篇 电气工程
    • 7 篇 信息与通信工程
    • 5 篇 电子科学与技术（可...
    • 4 篇 材料科学与工程（可...
    • 4 篇 软件工程
    • 3 篇 网络空间安全
    • 1 篇 机械工程
    • 1 篇 土木工程
  • 19 篇 法学
    • 16 篇 社会学
    • 1 篇 法学
    • 1 篇 政治学
    • 1 篇 马克思主义理论
  • 12 篇 管理学
    • 9 篇 管理科学与工程(可...
    • 2 篇 工商管理
  • 7 篇 经济学
    • 4 篇 理论经济学
    • 3 篇 应用经济学
  • 3 篇 文学
    • 2 篇 外国语言文学
    • 1 篇 新闻传播学
  • 2 篇 军事学
    • 2 篇 军队指挥学
  • 1 篇 历史学
    • 1 篇 中国史

主题

  • 294 篇 公理系统
  • 16 篇 公理化方法
  • 14 篇 欧氏几何
  • 13 篇 定义
  • 13 篇 独立性
  • 12 篇 定理
  • 10 篇 数学家
  • 9 篇 集合论
  • 9 篇 形式系统
  • 8 篇 逻辑学
  • 8 篇 完全性
  • 8 篇 希尔伯特
  • 8 篇 自然数
  • 7 篇 数学理论
  • 7 篇 数理逻辑
  • 7 篇 逻辑学家
  • 7 篇 完备性
  • 7 篇 非欧几何
  • 6 篇 选择公理
  • 6 篇 理论体系

机构

  • 10 篇 南京大学
  • 9 篇 中山大学
  • 6 篇 中国社会科学院哲...
  • 6 篇 浙江大学
  • 6 篇 西安电子科技大学
  • 3 篇 重庆大学
  • 3 篇 华东师范大学
  • 3 篇 东北师范大学
  • 3 篇 西北工业大学
  • 3 篇 河南师范大学
  • 2 篇 河北大学
  • 2 篇 华南师范大学
  • 2 篇 暨南大学
  • 2 篇 华东交通大学
  • 2 篇 国防科技大学
  • 2 篇 同济大学
  • 2 篇 宁波大学
  • 2 篇 北京大学
  • 2 篇 吉林大学
  • 2 篇 中国人民大学

作者

  • 7 篇 莫绍揆
  • 4 篇 沈百英
  • 4 篇 张清宇
  • 4 篇 段振华
  • 3 篇 列甫
  • 3 篇 吴文俊
  • 3 篇 陈磊
  • 3 篇 张锦文
  • 3 篇 文学锋
  • 2 篇 马明辉
  • 2 篇 史晓菲
  • 2 篇 舒新峰
  • 2 篇 许涤非
  • 2 篇 邓生庆
  • 2 篇 吴开朗
  • 2 篇 熊大国
  • 2 篇 邹庭荣
  • 2 篇 郭启庶
  • 2 篇 王雨田
  • 2 篇 张小红

语言

  • 291 篇 中文
  • 3 篇 英文
检索条件"主题词=公理系统"
共 294 条 记 录，以下是51-60 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
关于布尔代数公理系统的一些讨论
收藏
分享
引用
工业工程 1988年 第1期 76-80页
作者： 廖锦昌 广东机械学院基础课部
本文指出文[1]的公理系统中两个公理独立性模型的错误,并提出两个新的模型。证明文[2]所提出的另一公理系统不是独立的。
来源： 同方期刊数据库 同方期刊数据库 评论
一个与Euclid—Hilbert几何公理系统等价而又简化了的公理系统
收藏
分享
引用
南京师大学报(自然科学版) 1985年 第2期 14-17页
作者： 谢云 荆州师专
引言从Euclid开始,经过Arichimedes、Pasch等人的修改和扩充,最后由Hilbert完善的Euclid几何学公理体系,是历史上第一个用公理化方法解决一个数学分支的逻辑基础的例子,是现代数学公理化方法的典范。由于它的问世,“不仅公理化方法进入... 详细信息
来源： 同方期刊数据库 同方期刊数据库 评论
关于命题演算公理系统独立性证明的注记
收藏
分享
引用
辽宁师范大学学报（自然科学版） 1999年 第3期22卷 258-261页
作者： 郭方芳 陈图云 辽宁师范大学数学系 辽宁大连116029
对数理逻辑中命题逻辑公理系统独立性证明做了探讨，给出了算术解释的一种规律，并应用这种规则证明了３
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
关于BCK-代数与立体格公理系统
收藏
分享
引用
西北师范大学学报（自然科学版） 1999年 第1期35卷 19-23页
作者： 邹庭荣 绵阳师范高等专科学校数学系
建立了关联ＢＣＫ代数与立体格公理系统的联系．
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
试论地理学公理系统
收藏
分享
引用
安徽师范大学学报(自然科学版) 1984年 第2期 123-126页
作者： 赵祖军 安徽师大 1984年应届毕业生
公理学告诉我们:每一种科学理论总有一个公理系统,它保持了这门学科的统一,其中包括一级概念和一组命题。当然,也不是一切概念都要下定义,一切命题都要证明。否则,定义和命题就没有出发点,就会发生“恶性循环。在一个理论中,我们总要选... 详细信息
来源： 同方期刊数据库 同方期刊数据库 评论
一类智猪博弈公理系统与知识型员工激励问题研究
收藏
分享
引用
经济研究导刊 2014年 第12期 199-201页
作者： 王茜 冯娟 中国矿业大学 江苏徐州221008
基于一类智猪博弈公理化系统研究企业中普遍存在的"搭便车"现象。首先对企业运作效率不高的原因进行分析,继而建立知识型员工的博弈模型,通过改变参数使得该博弈的均衡解转移,最后依据模型分析结果提出提高企业运作效率的方案。为企业... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于智猪博弈公理系统的高校科研团队管理研究
收藏
分享
引用
经济研究导刊 2013年 第9期 295-297页
作者： 朱晓阳 姜殿玉 中国矿业大学 江苏徐州221000 淮海工学院 江苏连云港222005
基于智猪博弈公理化系统研究了高校科研团队中普遍存在的"搭便车"现象。首先通过建立公理化模型分析了"搭便车"现象产生的原因,继而通过改变参数使得该博弈的均衡解转移,最后依据模型分析结果提出了提高高校科研团队运作效率的方案。为... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
关于Heyting代数公理系统的一个注记
收藏
分享
引用
云南师范大学学报（自然科学版） 1999年 第4期19卷 1-2页
作者： 施恩伟 云南师范大学数学系 云南昆明650092
Ｈｅｙｔｉｎｇ 代数是一类重要的代数，很多数学结构都与这一代数有联系．在本文，我们指出，Ｈｅｙｔｉｎｇ
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
ZY3代数的一个公理系统
收藏
分享
引用
曲阜师范大学学报（自然科学版） 1989年 第2期15卷 61-62页
作者： 郑恒武
本文指出ZY3代数的原公理系统是不独立的,并给出ZY3代数的一个新的公理系统。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
拟阵的几个公理系统与其自同构群的关系
收藏
分享
引用
西安电子科技大学学报 2001年 第1期28卷 48-51页
作者： 毛华 刘三阳 西安电子科技大学理学院 陕西西安710071
讨论了拟阵的 5个公理系统与拟阵的自同构群的关系 .5个公理系统分别是独立集公理系统、基公理系统、秩公理系统、超平面公理系统和闭包公理系统 .对于拟阵的自同构群只有独立集公理系统、基公理系统和秩公理系统 ,而没有超平面公理系... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共30页 <<  < 2 3 4 5 6 7 8 9 10 11 >  >> 跳转到页 
回到顶部
执行限定条件