分数阶系统高阶逻辑形式化验证
猜你也喜欢
-
1
¥4.50
-
2
¥4.60
-
3
信息系统分析与设计(第3版)（内容一致，印次、封面或原价不同，统一售价，随机发货）
¥5.70
-
4
大学英语自学教程(下册)(课程代码 0015)(1998年版)
¥8.10
手机购买
新书比价
网站名称
书名
售价
优惠
操作
图书详情
-
出版社
-
ISBN9787030622068
-
作者
-
页数296
-
出版时间2023年09月01日
-
定价¥149.00
-
所属分类
内容提要
本书是分数阶系统与高阶逻辑形式化验证的基础理论研究著作。分数阶系统是建立在分数阶微积分方程理论上实际系统的数学模型。分数阶微积分方程是扩展传统微积分学的一种直接方式，即允许微积分方程中对函数的阶次选择分数，而不仅是现有的整数。分数阶微积分不仅为系统科学提供了一个新的数学工具，它的广泛应用也表明了实际系统动态过程本质上是分数阶的。高阶逻辑形式化验证是形式化验证方法的一种，它是一种人机交互的定理证明方法。本书以分数阶微积分和高阶逻辑形式化验证为切入点，系统性研究了分数阶系统的求解、近似化、控制器设计与高阶逻辑形式化分析验证等内容。
与描述相符
100
热卖图书
-
¥9.80 ¥28.00
-
¥11.30 ¥39.50
-
¥5.60 ¥59.00
-
¥5.00 ¥35.00
-
¥4.80 ¥32.00
新书推荐
-
¥46.80 ¥46.80
-
¥115.00 ¥115.00
-
社会工作概论(第三版)（内容一致，印次、封面或原价不同，统一售价，随机发货）
¥34.20 ¥48.00
-
¥58.00 ¥58.00
-
¥79.00 ¥79.00
北京
天津
河北
山西
内蒙古
辽宁
吉林
黑龙江
上海
江苏
浙江
安徽
福建
江西
山东
河南
湖北
湖南
广东
广西
海南
重庆
四川
贵州
云南
西藏
陕西
甘肃
青海
宁夏
新疆
台湾
香港
澳门
海外
名称：南昌有路文化发展有限公司
地址：南昌昌北经济技术开发区玉屏西大街299号清华科技园B205室
咨询电话：4006765433 传真：0791-83849520-810 邮箱：do(a)youlu.net
© 有路网 增值电信业务经营许可证号：赣B2-20150091 赣ICP备06008180号-2 赣工商网备第200911040306561424号
地址：南昌昌北经济技术开发区玉屏西大街299号清华科技园B205室
咨询电话：4006765433 传真：0791-83849520-810 邮箱：do(a)youlu.net
© 有路网 增值电信业务经营许可证号：赣B2-20150091 赣ICP备06008180号-2 赣工商网备第200911040306561424号
