 | 书 名: 广义模态逻辑及其应用
作 者: 何向东 等
出 版 社: 人民出版社
ISBN : 701005322
原 价: ￥25
 有一家网站低于85折正在热销 | 广义模态逻辑及其应用-图书目录:
前言
绪论
0.1 什么是广义模态逻辑
0.2 古典命题逻辑系统P
0.3 古典谓词逻辑系统Q
0.4 集合论的初步知识
0.5 符号与解释
第1章 真理模态逻辑
1.1 模态逻辑概述
1.2 模态命题逻辑
1.3 可能世界语义学
1.4 模态代数语义学
1.5 模态谓词逻辑
附录
第2章 认知逻辑
2.1 认知逻辑概述
2.1 知道逻辑...
广义模态逻辑及其应用-图书简介:
模态逻辑是哲学逻辑的重要分支，自20世纪70年代以来在深度和广度方面都得到了很大的发展。本书对国内外已有的广义模态逻辑成果进行了比较全面的梳理和归纳，阐明了狭义模态逻辑的基础，并把认知逻辑、规范逻辑、时间逻辑、命令逻辑等纳入广义模态逻辑的范围；论述了模态逻辑与自然语方、计算机科学、教育科学、理学和工学等学科的关系；强调了模态逻辑在各个领域的具体应用，尤其丰富和发展了“教育逻辑”的内涵。本书既有对广...
广义模态逻辑及其应用-相关最新图书
·护卫生命的尊严:现代生物技术中的伦理问题研究
·中国十个五年计划研究报告
·关于对党员领导干部进行诫勉谈话和函询的暂行办法-关于党员领导干部述职述廉的暂行规
·新版中日交流标准初级同步练习
·雷锋(1940-1962)
·园林绿化施工技术资料编制手册-(含光盘)
·风景园林设计-中国风景园林规划设计作品集(4)
·电子商务案例教程--全国高等职业教育电子商务专业规划教材
·精通MATLAB7.0混合编程(附CD-ROM光盘一张)
·培养高效执行的员工-(第2版)
·中级财务会计实务--全国高等职业教育规划教材·财务会计专业
·Web 应用开发案例教程
·胡同九十九
·西塞罗-论法律
·西塞罗-论共和国
·咖啡地图-60家欧洲最精彩的咖啡馆寻踪
·打开咖啡馆的门(附VCD光盘一张)
·近代机制币辨伪图鉴
·对生命的敬畏:阿尔贝特·施韦泽自述
·中法关系史
| 