咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1-10 订阅
排序:
数理逻辑  1
收藏 引用
1990年
作者: 俞瑞钊
全书取材理论与技术结合,叙述简明,适合作为计算机专业及有关专业的教材,也可供有关专业的科技人员参考。
来源: 汇雅图书(南通市图书馆... 评论
数理逻辑
收藏 引用
1993年
作者: 王兵山 张强 李舟军
研究生教材
来源: 汇雅图书(南通市图书馆... 评论
数理逻辑  2版
收藏 引用
2010年
作者: 汪芳庭
本书内容分两部分:第一部分属数理逻辑基础,包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。本书对Godel第一部完备性定理、Godel-Rosser定理、Tarski定理及形式算术的不可判定性定理都提供了完整的证明... 详细信息
来源: 汇雅图书(南通市图书馆... 评论
数理逻辑  1版
数理逻辑
收藏 引用
1986年
作者: (美)汉密尔顿(Hamilton A.G.) 朱水林译
来源: 汇雅图书(南通市图书馆... 评论
数理逻辑  Di 1 ban.
收藏 引用
丛书名: 离散数学
1990年
作者: 汪芳庭
本书前两章介绍了命题演算和谓词演算,第三章介绍形式算术,递归函数及二者的关系,第四章中心是不完备性定理,其中建立了Godel定理、Godel-Rosser定理、Tarski定理、形式算术的不可判定性定理、无矛盾性不可证性定理的一种易证形式等。
来源: 汇雅图书(南通市图书馆... 评论
数理逻辑
数理逻辑
收藏 引用
1985年
作者: 胡耀鼎 张清宇
中央电视台电视讲座教材。
来源: 汇雅图书(南通市图书馆... 评论
体制改革推动内生经济增长的全要素生产率潜力和需求空间——基于二元体制的数理逻辑与数据测算
收藏 引用
现代经济探讨 2024年 第9期 1-14页
作者: 周天勇 首都经济贸易大学 中国体制改革研究会国民经济运算与创新发展专委会 东北财经大学国民经济工程实验室 大连116025
文章分析了1978-2023年中国经济增长的动能结构,认为其高速增长的重要来源是,市场化配置改革提高要素生产率,以及土地有偿出让和城镇住宅商品化改革获得财富溢值。如何使定性的体制能够成为经济分析中的内生变量,是转轨经济学研究至今... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
技术文明、数理逻辑与观念艺术——论崔德成的绘画装置
收藏 引用
艺术市场 2024年 第2期 132-133页
作者: 高远 不详
人类视觉秩序的构建与技术文明的发展不无关联,从古典建筑中的数理逻辑到文艺复兴透视法的几何秩序,都与数学和光学的发展密切相关。中世纪的意大利数学家斐波那契(Fibonacci)提出的数列经由图形化可以直观为艺术领域的黄金分割比例。... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
研究生数理逻辑课程教学改革初探
收藏 引用
计算机教育 2024年 第1期 46-50页
作者: 刘万伟 陈立前 李暾 董威 国防科技大学计算机学院 湖南长沙410073
针对研究生数理逻辑课程的性质和特点,分析目前研究生数理逻辑课程教学中存在的问题,从课程的重难点梳理、针对性教学方法改革、课程内容改革、课程思政实施及课程群内容知识衔接几方面,提出相应的教学改革思路、方法并阐述具体实施过程... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
数理逻辑的盲区与哲学逻辑的兴起——评海德格尔哲学逻辑思想
收藏 引用
浙江大学学报(人文社会科学版) 2009年 第3期39卷 125-130页
作者: 任晓明 李蒙 中山大学逻辑与认知研究所 广东广州520000 南开大学哲学系 天津300071
海德格尔从哲学探究的角度出发,对哲学和逻辑进行了深入的思考。他认为,逻辑是关于一个语句的意义和判断的内容的。数理逻辑的发展使逻辑丧失其重要性并且远离了本体论的讨论。哲学逻辑并不是一门新科学,而只是实现了从一开始就在进行... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论