购物车
我的订单
我的账号
帮助
全文搜索
全文搜索
商品名
作者
出版社
ISBN
立即搜索
高级搜索
使用帮助
首 页
本周新书
本月新书
热点销售
畅销排行
每周排行
每月排行
商品分类
图书
>
文学书店
>
经管书店
>
社科书店
>
艺术书店
>
教育书店
>
时尚生活
>
IT 技 术
>
建筑书店
>
科技书店
>
医药书店
>
少儿书店
影音
>
流行音乐店
>
世界音乐店
>
中国民乐店
>
影视音乐店
>
戏曲艺术店
>
电影
>
连续剧
>
教学
>
儿童
>
生活百科
共有
2
个搜索结果
现象学的展开--自我的觉悟及其他(精)
所属分类：
哲 学
>>
哲 学
>>
思维科学、逻辑学
作者：
汪堂家
出版社：
复旦大学
本书是一本文集，内容为汪堂家教授生前设计， 包含两个部分：理论现象学和应用现象学。该书充分 体现了汪堂家教授一生在现象学领域的学术研究和思 想的主要线索：从理论现象学入手，深入挖掘和反思 自笛卡尔至胡塞尔的主体性哲学线索，进而以当代德 法哲学为主要思想资源和对话方，走向应用现象学的 探讨。
售价：
24.00
面向人工智能的命题动态逻辑及其扩展研究
所属分类：
哲 学
>>
哲 学
>>
思维科学、逻辑学
作者：
张晓君//周正//王琪瑶|责编:张凌静
出版社：
浙江大学
本书基于国内外新近相 关文献，从人工智能的视角 ，围绕作为动态逻辑基础系 统的命题动态逻辑及其扩展 系统进行了研究。具体内容 如下：第1章是导论；第2～ 5章是本书研究的基础；第6 ～8章阐释了正则命题动态 逻辑的形式系统、可判定性 、完全性和计算复杂性；第 9章探讨了非正则命题动态 逻辑；第10章介绍了动态逻 辑的一些变种；第11～17 章是命题动态逻辑的扩展系 统，这些系统分别使用了程 序量词、互模拟和逻辑等值 程序、Petri网、无缩并无切 割规则的矢列演算、多类型 显示演算、有穷多个命题变 元，以及存储、恢复和并行 合成算子对命题动态逻辑进 行的扩展；第18章研究了从 交流更新逻辑到命题动态逻 辑的程序转换器。 本书适合现代逻辑、计 算机科学、人工智能和系统 工程等领域以及对命题动态 逻辑及其扩展系统感兴趣的 教师、研究生和科研人员阅 读。
售价：
67.20
共有
2
个搜索结果
共有
1
页
第一页
上一页
下一页
最后页
转到第