哲学、逻辑与智能计算机pdf电子书版本下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

哲学、逻辑与智能计算机PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

撰稿人简介 1

前言 鞠实儿 1

第一编 归纳逻辑及其认知基础 1

1 怀疑与确信之间的张力 〔美〕 I.Levi著，汤万君 李大超译 鞠实儿校 1

2 Hume问题不可解的证明 鞠实儿 20

3 归纳，概率与理论评价 张华夏 22

4 类比与联想 林定夷 50

5 非公理系统中的归纳推理 王培 85

6 二元不确定性因果网 鞠实儿 罗旭东 106

7 贝叶斯认证逻辑及其应用 陈晓平 107

8 金岳霖论归纳 帅国文 125

第二编 哲理逻辑探索 143

1 论多值逻辑的特征 梁彪 143

2 基于开放世界预设的3--值命题演算系统 鞠实儿 159

3 科学问题的逻辑结构 张华夏 189

4 科学中问题的结构与问题逻辑 林定夷 191

5 缺省理论与相信理论的关系 姜云飞 219

6 线性逻辑及其应用 倪德明 227

7 自然化的计算理论 侯广坤 严兆勒 241

1 不确定推理的支持度 周青 鞠实儿 282

第三编 逻辑学及其在智能计算机中的应用 282

2 关于相对化的计算复杂性类的研究 王洁 侯广坤 李祥 283

3 欧氏空间的递归开闭子集上的实函数 周青 306

4 关于Neumann自动机与Turing机相似问题 侯广坤 307

5 限制推理与封闭世界假定数据库的询问求值 姜云飞 336

6 线性逻辑式程序设计的证明论基础 倪德明 357

7 PHLIQA1问答系统及其在开放系统中的扩展 李红晖 359

1 符合真理论在20世纪的演变 梁庆寅 384

第四编 逻辑哲学问题研究 384

2 关于“矛盾律和排中律”思想的演变 梁彪 397

3 科学推理的自然化 李平 411

4 非经典逻辑与对应原理 桂起权 刘东波 443

5 关于弗雷格序列理论的一个研究 徐明明 457

6 传统逻辑与现代逻辑的定义理论比较 梁庆寅 461

7 蕴涵“怪论”与逻辑认识论 程仲棠 470

8 预设：语义预设与语用预设 胡泽洪 486

9 简评塞尔的句子意义分析 王晓萍 501