在线客服
登录
注册
购物车(0)
优桃书网
搜索
首页
推荐好书
热门图书
特价图书
图书分类
您的位置：首页
>
图书分类
>
图书详情
（社版）XG矩阵结构与矩阵函数的形式化（此书不退货）
当前价：
¥ 52.26
定价：
¥ 78.00
规格
标准
数量
-
+
库存
0
件
立即购买
加入购物车
图书简介
商品评价(0)
书评信息(0)
装帧:平装
作者:石志平
ISBN:9787030763303
出版日期:2023-9-1
书名:（社版）XG矩阵结构与矩阵函数的形式化（此书不退货）
出版社:科学出版社
开本:24cm
本书系统深入地阐述了矩阵结构和矩阵函数的公理化体系，并给出基于此公理体系进行形式化分析与验证的应用。主要内容包括：矩阵结构的形式化；矩阵序列与矩阵级数理论的形式化；矩阵函数微分的形式化；矩阵理论的自动化定理证明；矩阵理论公理化系统在信息或物理系统形式化建模验证中的应用。
用户评价
发表
为您推荐
2024考研数学 .高等数学辅导讲义
汤家凤
¥20.7
¥69.0
2024 高等数学辅导讲义零基础篇基础篇
汤家凤
¥20.4
¥68.0
2024 线性代数辅导讲义
汤家凤
¥17.4
¥58.0
2024考研数学考前冲刺8套卷（数学一）数学一
汤家风
¥16.8
¥56.0
接力题典1800 （专版）数学二数学二
汤家凤
¥24.6
¥82.0
2024考研数学考前冲刺8套卷 数学三数学三
汤家凤
¥16.8
¥56.0
考研数学汤家凤接力题典接力题典1800题目册数学一
汤家凤
¥24.6
¥82.0
接力题典1800数学二数学二
汤家风
¥26.7
¥89.0
画法几何习题集
马丽敏，刘仁杰主编
¥6.9
¥23.0
考研数学接力题典1800 数学三
汤家凤
¥24.6
¥82.0
优桃书网
