分类导航 / Navigation
|
 面向人工智能的命题动态逻辑及其扩展研究_张晓君、周正、王琪瑶_浙江大学出版社,2022.01
价 格：¥ 22.80
商品详情
 注意：链接有问题的书请登录邮箱查收！！！
即时起网站不再提供充点下载服务，点数没有使用完的顾客需要什么书请直接联系客服！！ 此书为PDF电子版，不是纸书，付款后自动发货，弹出百度云盘下载地址和密码，自己下载即可！阅读后如感兴趣，可以去书店购买相应的纸质书籍，下载24小时内请删除！本站展示只是部分图书，如需别的电子书请联系客服！ 购买时请填写真实邮箱。邮箱请填写正确并请填写常用邮箱！ 电子书购买后不予退款。 切记，付款完成后不要关闭网页，等自动返回。如遇链接失效或密码错误，请于24小时内登录购买时留下的邮箱查收文件。 成功付款，但没有弹出下载地址请联系客服处理。不主动联系客服产生的损失请自负。 即日起网站开通VIP会员，VIP会员直接购买打八折，VIP会员购书流程： 1.注册本站会员 2.登录网站，进入会员中心，点击左边导航“在线充值”，选中“购买VIP会员”，再点充值并付款，完成VIP会员购买。 (链接地址为：http://www.fou001.com/e/member/buygroup/) 3.确认选购的电子书，点立即购买，填写收货人信息，填入优惠码：ODAE4VYFG5UJJDXQWDHH 4.下一步，付款，完成购买
书名：面向人工智能的命题动态逻辑及其扩展研究
作者：张晓君、周正、王琪瑶 ISBN：978-7-308-21513-8 出版社：浙江大学出版社 出版日期：2022.01 本书以国内外新近相关文献为基础，从人工智能的视角，围绕作为动态逻辑基础系统的命题动态逻辑及其扩展系统进行了研究。具体内容如下：第一章是导论；第二~五章是本书研究的基础；第六~九章阐释了正则命题动态逻辑的形式系统、可判定性、完全性和计算复杂性；第十章探讨了非正则命题动态逻辑；第十章介绍了动态逻辑的一些变种；第十一~十七章是命题动态逻辑的扩展系统，这些系统分别使用了程序量词、互模拟和逻辑等值程序等对命题动态逻辑进行了扩展；第十八章研究了从交流更新逻辑到命题动态逻辑的程序转换器。 免责申明：
本站仅提供学习的平台，所有资料均来自于网络，版权归原创者所有！本站不提供任何保证，并不承担任何法律责任，如果对您的版权或者利益造成损害，请联系我们，我们将尽快予以处理。
|
