中教金典
荐购选采服务
馆配数据采访
教材巡展网上行
客户服务
欢迎进入中教图书商城!
购物车
登录
注册
集团用户激活
首页
中图法目录
出版社目录
新书目录
书单推荐
购物指南
关于我们
关于我们
平 台 介 绍
购 物 指 南
荣 誉 资 质
联 系 我 们
新书资讯
·---------------向阳生长 不负春
·---------------------国际妇女节
·惊蛰节气书单
·雨润万物 春回大地│雨水节气荐读
·大寒节气书单
·2024年新春荐读书单
·大码洋书目精选
·2024年1月荐读书单
新书推荐
·365名师讲堂--句透经典
·猫城记:老舍幻想集
·青年毛泽东
·创业韬略
·法律方法(第41卷)
·教子真有道
·书写未来:用书法思维提升孩子性
·中医药适宜技术
半线性子结构逻辑的标准完备性(英文 )
定 价:
¥138
中 教 价:
¥103.50
(7.50折)
库 存 数:
0
作者:王三民
出版时间:2020/12/1
ISBN:9787030668769
出 版 社:科学出版社
适用读者:本书可作为非经典数理逻辑、不确定性推理、人工智能、理论计算机科学等数学或信息专业的研究生教材, 也可以供数学与计算机等专业的高年级本科生、教师与科研人员阅读参考。
中图法分类:
O241.82
页码:264
纸张:
版次:31
开本:B5
商品库位:
9
7
6
8
6
7
8
0
7
3
6
0
9
购买数量:
内容简介
目 录
本书系统阐述模糊逻辑标准完备性证明的各种方法和理论,为初学者尽可能多的提供理论和技术上的细节,使其能尽快进入这一课题的研究工作。特别地,较为详细的介绍了作者在这些方面所做的工作,对IUL完备性的证明进行了详细的论述,并针对主算法的最困难部分给出了实例,这在一般地论文写作是不可能的。
ftp://124.17.26.93/curved-toc/9787030668769-curvedToc.pdf
你还可能感兴趣
有限元技术基础(冷纪桐)
ANSYS有限元基础教程(第2版)
ANSYS 18.0有限元分析从入门到精通(升级版)
普通高等教育机械类“十二五”规划系列教材:ANSYS有限元基础教程
有限元方法及其应用
我要评论
您的姓名
验证码:
留言内容