同类推荐
-
-
大白话讲透逻辑学
-
¥52.00
-
-
大白话讲透逻辑学
-
¥52.00
-
-
大白话讲透逻辑学
-
¥52.00
-
-
他人的出场
-
¥168.00
-
-
推理心理学:怎样透过幻象看清真相
-
¥58.00
-
-
逻辑哲学论
-
¥39.80
-
-
逻辑原子主义研究
-
¥95.00
-
-
逻辑与批判性思维
-
¥98.00
-
-
判断和决策偏差:校准与纠错
-
¥58.00
-
-
马克思主义逻辑学入门
-
¥78.00
|
|
图书信息
|
|
|
|
面向人工智能的命题动态逻辑及其扩展研究
|
| ISBN： | 9787308215138 |
定价： | ￥168.00 |
| 作者： | 张晓君，周正，王琪瑶著 |
出版社： | 浙江大学出版社 |
| 出版时间： | 2022年01月 |
开本： | 24cm |
| 页数： | 410页 |
中图法： | B815.5 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
3
|
库区4
|
2026-02-02
|
|
其它供货商库存合计
|
209
|
|
2026-01-23
|
图书简介 | | 本书以国内外新近相关文献为基础，从人工智能的视角，围绕作为动态逻辑基础系统的命题动态逻辑及其扩展系统进行了研究。具体内容如下：第一章是导论；第二—五章是本书研究的基础；第六—九章阐释了正则命题动态逻辑的形式系统、可判定性、完全性和计算复杂性；第十章探讨了非正则命题动态逻辑；第十章介绍了动态逻辑的一些变种；第十一—十七章是命题动态逻辑的扩展系统，这些系统分别使用了程序量词、互模拟和逻辑等值程序等对命题动态逻辑进行了扩展；第十八章研究了从交流更新逻辑到命题动态逻辑的程序转换器。 |
|