扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
深度学习
-
>
Unreal Engine 4蓝图完全学习教程
-
>
深入理解计算机系统-原书第3版
-
>
Word/Excel PPT 2013办公应用从入门到精通-(附赠1DVD.含语音视频教学+办公模板+PDF电子书)
矩阵结构与矩阵函数的形式化 版权信息
- ISBN:9787030763303
- 条形码:9787030763303 ; 978-7-03-076330-3
- 装帧:平装胶订
- 册数:暂无
- 重量:暂无
- 所属分类:>
矩阵结构与矩阵函数的形式化 内容简介
在使用ITP技术来验证日趋复杂的现代工程应用问题时,特别是涉及有关微积分等理论的复杂数学分析问题的形式化证明时,因缺乏矩阵分析理论基础定理库的支持,其证明还异常困难或无法实现。为了解决ITP技术在验证这些复杂问题时所面临的技术障碍,提高系统的安全等级,本书以矩阵分析理论的形式化作为基本任务,旨在构建一个用户友好的形式化数学体系,并将该体系运用于实际物理问题的证明。
矩阵结构与矩阵函数的形式化 目录
目录
符号说明
序
前言
第1章绪论1
1.1背景及意义1
1.2研究现状3
1.2.1矩阵分析3
1.2.2数学形式化的发展现状5
1.3定理证明系统HOL Light9
1.3.1HOL Light简介9
1.3.2系统相关符号的约定10
1.4主要内容11
1.5本书结构13
参考文献.14
第2章矩阵结构的形式化18
2.1抽象空间18
2.1.1线性空间19
2.1.2拓扑空间19
2.1.3距离空间与赋范空间19
2.1.4内积空间与希尔伯特空间20
2.2矩阵结构20
2.3矩阵结构的基本数据类型21
2.4矩阵结构基本性质的形式化23
2.4.1线性性质23
2.4.2拓扑性质27
2.4.3范数性质32
2.4.4内积性质36
2.5矩阵结构的完备性.38
2.5.1空间完备性的形式化38
2.5.2巴拿赫空间与希尔伯特空间39
2.6本章小结39
参考文献40
第3章矩阵序列与矩阵级数理论的形式化41
3.1矩阵序列与矩阵级数的形式化41
3.1.1矩阵序列41
3.1.2矩阵级数42
3.1.3矩阵幂级数44
3.2柯西审敛准则在矩阵序列的推广47
3.2.1柯西审敛准则47
3.2.2比较审敛法和比值审敛法48
3.3矩阵函数的形式化50
3.3.1一般矩阵函数的形式化定义50
3.3.2常用的由矩阵幂级数表示的矩阵函数51
3.4矩阵结构紧致性的形式化分析53
3.4.1紧致性相关概念的形式化53
3.4.2紧致性的等价性证明54
3.5本章小结54
参考文献55
第4章矩阵函数微分的形式化56
4.1矩阵函数连续性56
4.1.1矩阵函数连续性的形式化定义56
4.1.2矩阵函数连续性的形式化60
4.2矩阵函数的Fréchet微分62
4.2.1Fréchet微分定义的形式化62
4.2.2矩阵函数微分基本性质的形式化63
4.3矩阵函数微分与有界线性算子66
4.4本章小结68
参考文献69
第5章矩阵理论的自动定理证明70
5.1引言70
5.2判定程序基本理论及矩阵结构理论判定性研究73
5.2.1判定程序基本理论73
5.2.2矩阵结构理论判定性的初步研究74
5.3自动证明算法的设计与实现76
5.3.1算法的基本流程76
5.3.2算法的程序实现78
5.3.3判定程序的有效性测试80
5.4本章小结81
参考文献82
第6章应用示例83
6.1一种面向Massive MIMO的矩阵求逆算法形式化分析83
6.1.1引言83
6.1.2系统模型的形式化85
6.1.3算法模型的形式化86
6.1.4级数收敛性的形式化分析89
6.2机器人机构运动学中的李群李代数模型的形式化验证91
6.2.1引言91
6.2.2机构运动学中常用李群李代数的形式化92
6.2.3机构运动学中常用李群李代数及其指数映射的形式化验证96
6.3本章小结98
参考文献99
展开全部
书友推荐
- >
经典常谈
经典常谈
¥19.5¥39.8 - >
龙榆生:词曲概论/大家小书
龙榆生:词曲概论/大家小书
¥9.2¥24.0 - >
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥6.3¥14.0 - >
人文阅读与收藏·良友文学丛书:一天的工作
人文阅读与收藏·良友文学丛书:一天的工作
¥16.5¥45.8 - >
名家带你读鲁迅:故事新编
名家带你读鲁迅:故事新编
¥12.6¥26.0 - >
山海经
山海经
¥22.4¥68.0 - >
罗庸西南联大授课录
罗庸西南联大授课录
¥16.6¥32.0 - >
月亮虎
月亮虎
¥14.4¥48.0
本类畅销
-
”互联网+“时代计算机算法的应用及其实践研究
¥19.9¥59 -
微服务设计
¥52.8¥69 -
图说深度学习:用可视化方法理解复杂概念
¥109¥188 -
计算机基础
¥17.2¥31 -
改变未来的九大算法
¥50¥68 -
生成式AI入门与AWS实战
¥77.8¥99.8