 书单推荐 新书推荐 |
半线性子结构逻辑的标准完备性（英文 ） 
定 价：138 元
当前图书已被 25 所学校荐购过！
查看明细
9 7 6 8 6 7 8 0 7 3 6 0 9 读者对象:本书可作为非经典数理逻辑、不确定性推理、人工智能、理论计算机科学等数学或信息专业的研究生教材， 也可以供数学与计算机等专业的高年级本科生、教师与科研人员阅读参考。
本书系统阐述模糊逻辑标准完备性证明的各种方法和理论，为初学者尽可能多的提供理论和技术上的细节，使其能尽快进入这一课题的研究工作。特别地，较为详细的介绍了作者在这些方面所做的工作，对IUL完备性的证明进行了详细的论述，并针对主算法的最困难部分给出了实例,这在一般地论文写作是不可能的。
更多科学出版社服务，请扫码获取。 
你还可能感兴趣
我要评论
|
