图书介绍

信息、智能与逻辑:第1卷pdf电子书版本下载

信息、智能与逻辑:第1卷
  • 何华灿,马盈仓主编 著
  • 出版社: 西安:西北工业大学出版社
  • ISBN:9787561224748
  • 出版时间:2008
  • 标注页数:280页
  • 文件大小:45MB
  • 文件页数:293页
  • 主题词:数理逻辑-应用-文集

PDF下载


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

下载说明

信息、智能与逻辑:第1卷PDF格式电子书版下载

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

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

(文件页数 要大于 标注页数,上中下等多册电子书除外)

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

图书目录

第一部分 通论 3

探索信息世界的基本运动规律&何华灿 3

泛逻辑学研究纲要&何华灿 57

机制主义研究方法与人工智能统一理论&钟义信 91

辩证思维时代与辩证逻辑&马佩 107

信息的定义、物理基础及其与基本自然规律的本质关系&沈卫国 135

第二部分 特论 149

从易经逻辑到数理辩证逻辑&赵总宽 149

弗协调逻辑与人工智能&杨武金 169

命题泛逻辑的语构理论研究&马盈仓何华灿 177

复杂系统的柔性逻辑控制方法研究&付利华何华灿 218

二层单准Prolog与两种定理证明器之间的关系&周训伟 鲍泓 233

第三部分 论坛档案 243

论坛的特别约稿信和正式邀请信 243

会议日程表 245

部分发言要点 249

协调学与泛逻辑&涂序彦万映红 249

本体语言及其在计算机科学中的应用&李廉 249

数值逻辑学&王国俊 250

基于动态描述逻辑的知识表示和推理&史忠植 常亮 250

非单调推理的形式刻画——非单调推演&周北海 251

Flexible Interval-valued Logics and Its Algebraic Structure&薛占熬 251

论意识的层次&赵川 252

自然语言函数对知识、常识的表示与定理证明&付连奎 252

论康托对角线法及实数集可数性问题的相对性及相关问题&沈卫国 253

“强化谎者”悖论的简明消解&黄展骥 253

附录 257

附录一 部分非标准逻辑与信息科学的关系 257

附录二 部分泛逻辑学研究成果 262

精品推荐