幫助中心 | 我的帳號 | 關於我們
高級搜索
car

最近浏覽的商品

请选择排序方式： 类别   版别    出版年月↓   折扣↓   定价↓

  • 现象学的展开--自我的觉悟及其他(精)

  • 所属分类：哲 学>>哲 学>>思维科学、逻辑学     作者：汪堂家     出版社：复旦大学
  •     本书是一本文集，内容为汪堂家教授生前设计， 包含两个部分：理论现象学和应用现象学。该书充分 体现了汪堂家教授一生在现象学领域的学术研究和思 想的主要线索：从理论现象学入手，深入挖掘和反思 自笛卡尔至胡塞尔的主体性哲学线索，进而以当代德 法哲学为主要思想资源和对话方，走向应用现象学的 探讨。
  • 人民幣：RMB 60.00 元     售价：NT$ 240.00 元
  • 放入購物車
    加入收藏夾

  • 面向人工智能的命题动态逻辑及其扩展研究

  • 所属分类：哲 学>>哲 学>>思维科学、逻辑学     作者：张晓君//周正//王琪瑶|责编:张凌静     出版社：浙江大学
  •     本书基于国内外新近相 关文献，从人工智能的视角 ，围绕作为动态逻辑基础系 统的命题动态逻辑及其扩展 系统进行了研究。具体内容 如下：第1章是导论；第2～ 5章是本书研究的基础；第6 ～8章阐释了正则命题动态 逻辑的形式系统、可判定性 、完全性和计算复杂性；第 9章探讨了非正则命题动态 逻辑；第10章介绍了动态逻 辑的一些变种；第11～17 章是命题动态逻辑的扩展系 统，这些系统分别使用了程 序量词、互模拟和逻辑等值 程序、Petri网、无缩并无切 割规则的矢列演算、多类型 显示演算、有穷多个命题变 元，以及存储、恢复和并行 合成算子对命题动态逻辑进 行的扩展；第18章研究了从 交流更新逻辑到命题动态逻 辑的程序转换器。 本书适合现代逻辑、计 算机科学、人工智能和系统 工程等领域以及对命题动态 逻辑及其扩展系统感兴趣的 教师、研究生和科研人员阅 读。
  • 人民幣：RMB 168.00 元     售价：NT$ 672.00 元
  • 放入購物車
    加入收藏夾
  • 商品搜寻：
  • | 进阶搜寻
首页│ 新手上路│ 客服中心│ 关于我们│ 人才邀请│ 联络我们│ Top↑│
Copyrightc 1999~2008 美商天龙国际图书股份有限公司 台湾分公司. All rights reserved.
营业地址:台北市中正区重庆南路一段103号1F 105号1F-2F
读者服务部电话：02-2381-2033 02-2381-1863　时间：周一～周五 10:00～17:00　服务信箱：bookuu@69book.com