矩阵结构与矩阵函数的形式化
猜你也喜欢
-
1
¥4.50
-
2
¥4.60
-
3
信息系统分析与设计(第3版)（内容一致，印次、封面或原价不同，统一售价，随机发货）
¥5.70
-
4
大学英语自学教程(下册)(课程代码 0015)(1998年版)
¥8.10
手机购买
新书比价
网站名称
书名
售价
优惠
操作
图书详情
-
出版社
-
ISBN9787030763303
-
作者
-
页数112
-
出版时间2023年09月01日
-
定价¥78.00
-
所属分类
内容提要
本书系统深入地阐述了矩阵结构和矩阵函数的公理化体系，并给出基于此公理体系进行形式化分析与验证的应用。主要内容包括：矩阵结构的形式化；矩阵序列与矩阵级数理论的形式化；矩阵函数微分的形式化；矩阵理论的自动化定理证明；矩阵理论公理化系统在信息或物理系统形式化建模验证中的应用。
与描述相符
100
热卖图书
-
¥11.30 ¥28.00
-
¥13.40 ¥38.00
-
¥5.60 ¥59.00
-
¥11.30 ¥39.50
-
¥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号
