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

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

张晓君 / 周正 / 王琪瑶 |杭州:浙江大学出版社 | 2022年01月

ISBN:9787308215138

更多“张晓君”的图书 更多“周正”的图书 更多“王琪瑶”的图书 查看“杭州:浙江大学出版社”出版的图书 按关键词搜索相关图书

关键词:动态逻辑-研究

页数:410

出版社地址:未知

价格:未知

学科分类: 哲学、宗教 逻辑学(论理学) 哲理逻辑(非经典逻辑) 时态逻辑

更新时间:2026年01月19日

最近编辑: 暂无编辑记录


点此占领格子后刷新查看百万图书阅读或下载地址。
提示:如果既不想花钱占格子,又想看阅读下载地址,请仔细浏览本站内容,站长将阅读下载地址免费公布了的,就是需要仔细找找。

《面向人工智能的命题动态逻辑及其扩展研究》内容简介

动态逻辑又称为关于程序的模态逻辑,是进行程序逻辑性质研究、程序正确性验证强而有力的数学工具。动态逻辑是一种与自然语言的语义分析和人工智能都有密切联系的新思想,为现代逻辑理论的发展提供了新题材和新思路。本书以外新近相关文献为基础,从人工智能的视角,主要围绕命题动态逻辑及其扩展系统进行了研究。

《面向人工智能的命题动态逻辑及其扩展研究》赏析

暂无赏析内容,快来发布第一篇赏析吧!

《面向人工智能的命题动态逻辑及其扩展研究》内容提问与解答

回答基于全网公开信息整理出来的本书相关信息。
解答内容:

面向人工智能的命题动态逻辑及其扩展研究二手书交易信息

出售
求购
总计
类型 价格 状态 发布者 发布时间 过期时间 响应次数
暂无交易记录