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

限定检索结果

文献类型

  • 1,047 篇 期刊文献
  • 59 册 图书
  • 21 篇 学位论文
  • 13 篇 会议
  • 1 篇 报纸

馆藏范围

  • 1,136 篇 电子文献
  • 8 种 纸本馆藏

日期分布

学科分类号

  • 400 篇 哲学
    • 397 篇 哲学
  • 325 篇 理学
    • 298 篇 数学
    • 10 篇 科学技术史(分学科...
    • 9 篇 物理学
    • 6 篇 系统科学
  • 260 篇 教育学
    • 258 篇 教育学
  • 131 篇 工学
    • 77 篇 计算机科学与技术...
    • 35 篇 软件工程
    • 22 篇 控制科学与工程
    • 8 篇 电子科学与技术（可...
    • 7 篇 电气工程
    • 5 篇 交通运输工程
  • 98 篇 法学
    • 73 篇 社会学
    • 13 篇 马克思主义理论
    • 7 篇 政治学
    • 6 篇 法学
  • 50 篇 管理学
    • 29 篇 管理科学与工程(可...
    • 14 篇 公共管理
    • 10 篇 工商管理
  • 40 篇 文学
    • 18 篇 中国语言文学
    • 14 篇 新闻传播学
    • 6 篇 外国语言文学
  • 34 篇 经济学
    • 21 篇 应用经济学
    • 15 篇 理论经济学
  • 29 篇 艺术学
    • 21 篇 音乐与舞蹈学
  • 24 篇 历史学
    • 21 篇 中国史
    • 4 篇 考古学
    • 4 篇 世界史
  • 12 篇 医学
    • 5 篇 中医学
    • 5 篇 中西医结合
  • 1 篇 农学
  • 1 篇 军事学

主题

  • 1,141 篇 数理逻辑
  • 181 篇 逻辑学
  • 110 篇 形式逻辑
  • 65 篇 传统逻辑
  • 52 篇 现代逻辑
  • 45 篇 逻辑学家
  • 33 篇 离散数学
  • 31 篇 霍尔逻辑
  • 31 篇 程序逻辑
  • 31 篇 命题逻辑
  • 31 篇 辩证逻辑
  • 30 篇 普通逻辑
  • 27 篇 谓词逻辑
  • 27 篇 人工智能
  • 24 篇 一阶逻辑
  • 24 篇 数学
  • 23 篇 思维形式
  • 23 篇 社会科学
  • 22 篇 二值逻辑
  • 22 篇 自然语言

机构

  • 17 篇 中山大学
  • 16 篇 北京大学
  • 16 篇 北京师范大学
  • 14 篇 南京大学
  • 14 篇 中国社会科学院哲...
  • 13 篇 陕西师范大学
  • 12 篇 南开大学
  • 12 篇 贵州大学
  • 10 篇 河南大学
  • 9 篇 中国人民大学
  • 9 篇 北京航空航天大学
  • 8 篇 复旦大学
  • 7 篇 南京航空航天大学
  • 6 篇 上海交通大学
  • 5 篇 哈尔滨师范大学
  • 5 篇 吉林大学
  • 5 篇 中国科学技术大学
  • 5 篇 西南交通大学
  • 5 篇 中国社会科学院哲...
  • 4 篇 河北大学

作者

  • 12 篇 马佩
  • 9 篇 王国俊
  • 8 篇 诸葛殷同
  • 7 篇 朱梧槚
  • 7 篇 王雨田
  • 7 篇 莫绍揆
  • 6 篇 朱水林
  • 6 篇 陈慕泽
  • 6 篇 肖奚安
  • 6 篇 张家龙
  • 5 篇 罗翊重
  • 5 篇 张尚水
  • 5 篇 吴坚
  • 5 篇 龚启荣
  • 4 篇 冯玉琳
  • 4 篇 杨睿之
  • 4 篇 余斌
  • 4 篇 宋文坚
  • 4 篇 张东摩
  • 4 篇 蔡玉卿

语言

  • 1,137 篇 中文
  • 4 篇 英文
检索条件"主题词=数理逻辑"
共 1141 条 记 录，以下是51-60 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
从数理逻辑观点看《周易》
收藏
分享
引用
哲学动态 1989年 第11期 41-44页
作者： 张家龙 中国社科院哲学所
《周易》是中国古代的一部重要经典。它流传于世界各主要国家。国内外的很多学者对这部书从许多方面进行了研究,取得了不少成果。但用数理逻辑的方法研究《周易》则是一种新的尝试,本文抛砖引玉,以期引起讨论,深化对《周易》的研究。一... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
作为哲学的数理逻辑  1版
收藏
分享
引用
丛书名： 逻辑与形而上学教科书系列
2016年
作者： 杨睿之
本书试图将经过演变与发展的数理逻辑与哲学重新介绍给对方，让哲学工作者或爱好者快速正确地理解当代数理逻辑的主要工作，主要内容包括：导言、计算与随机、相对一致性、无穷之上。
来源： 汇雅图书（南通市图书馆... 评论
1963年全国数理逻辑专业学术会议论文选集
收藏
分享
引用
1965年
作者： 中国电子学会电子计算机专业委员会编
本书内容包括多值逻辑，算法论，证明论，数学基础，自动机理论，程序理论等论文及论文摘要共23篇。书中有参考文献。
来源： 汇雅图书（南通市图书馆... 评论
集合论与数理逻辑初步  第1版
集合论与数理逻辑初步
收藏
分享
引用
1984年
作者： 陈淑敏编
来源： 汇雅图书（南通市图书馆... 评论
罗素的逻辑主义及其在数理逻辑史上的地位
收藏
分享
引用
哲学研究 2007年 第9期 121-125页
作者： 张家龙 中国社会科学院哲学所
20世纪初，在逻辑和数学中发现了许多悖论，包括罗素本人所发现的悖论（后被称为罗素悖论）。这些悖论动摇了数学的基础，史称第三次数学危机。为了解决这一次数学危机，罗素提出了逻辑主义的纲领，并得到一些著名的逻辑学家的支持，成... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
天衢通理 大道之行——以数理逻辑思维观照“马中西”融通问题
收藏
分享
引用
西北师大学报（社会科学版） 2018年 第2期55卷 5-9页
作者： 陈克恭 马如云 孙小春 西北师范大学 甘肃兰州730070 西北师范大学数学与统计学院 甘肃兰州730070
因站位偏好不同,人们观察世界的角度和视野就有了差异,故而也就有了不同的思维方式和不同的世界图景。由此理并借助于数理逻辑,可以合理地审视"马中西"三种思维方式,从而达到"天衢通理"的理论视界,这也符合新时代中国特色社会主义思想... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
逻辑斯谛 又称，“数理逻辑”的二值数学
收藏
分享
引用
1997年
作者： 龚启荣
来源： 汇雅图书（南通市图书馆... 评论
从逻辑演算的角度看莱布尼茨的数理逻辑思想
收藏
分享
引用
兰州大学学报（社会科学版） 2009年 第S1期37卷 54-56页
作者： 刁明礼 南开大学哲学系 天津300071
莱布尼茨对数理逻辑的创建工作作出了开创性的贡献。他不仅提出了较为完整的关于建立新的逻辑的思想,而且还进行了整体性的富有创造的具体探索,即第一个创建了真正的抽象演算。他关于建立数理逻辑的设想,诸如建立人工表意符号,用演算表... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全称概括规则和受限制的演绎定理——国内数理逻辑教材中的一个问题
收藏
分享
引用
湖南科技大学学报(社会科学版) 2012年 第1期15卷 24-26页
作者： 陈慕泽 中国人民大学哲学院 中国逻辑学会
事情本来是怎样的?在国内数理逻辑教材较为常用的一阶逻辑系统中,有两条推理规则。一条是分离规则,另一条可称为全称概括规则。这两条规则,存在着一个实质性的区别。据分离规则,从A和A→B,可以得到B,这里,A和A→B不要求在系统内可证;据... 详细信息
来源： 同方期刊数据库 同方期刊数据库 评论
数学基础研究三十年 1930至1964年数理逻辑和数学基础研究发展状况讲演录  第1版
数学基础研究三十年 1930至1964年数理逻辑和数学基础研究发展状...
收藏
分享
引用
1983年
作者： （波）安德热依·莫斯托夫斯基（A.Mostowski） 郭世铭译
英文原题:Thirty Years of Foundational Studies
来源： 汇雅图书（南通市图书馆... 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共115页 <<  < 2 3 4 5 6 7 8 9 10 11 >  >> 跳转到页 
回到顶部
执行限定条件