首页--数理科学和化学论文--数学论文--数学分析论文--泛函分析论文--线性空间理论(向量空间)论文

线性空间中泛函及对偶空间在Mizar语言下的实现

中文摘要第1-5页
英文摘要第5-8页
1 绪论第8-12页
   ·机器证明的概念第8页
   ·国内外研究现状第8页
   ·Mizar系统的发展历史和研究现状第8-9页
   ·课题研究的目的和意义第9页
   ·课题研究的主要内容第9-12页
2 Mizar概述第12-20页
   ·Mizar语言第12页
     ·Mizar语言的逻辑符号第12页
     ·Mizar语言的数据类型第12页
   ·Mizar文章结构第12-14页
   ·Mizar基本命题表述词汇第14-16页
   ·Mizar中定理证明的方法第16-17页
   ·Mizar系统中的定义第17-18页
   ·Mizar中的安装与更新第18-19页
   ·Mizar系统自我验证的“人机对话”功能第19-20页
3 线性空间中泛函的相关定义的Mizar实现及性质的论证第20-33页
   ·环境部的设置和变量的声明第20-22页
   ·泛函相关定义的Mizar表述第22-29页
   ·泛函相关性质运算的Mi zar表述第29-33页
4 对偶空间的定义及性质的Mizar实现第33-51页
   ·对偶空间定义的Mizar实现第33-45页
   ·对偶空间性质的Mizar实现第45-49页
   ·最终实现的Mizar形式第49-51页
总结与展望第51-52页
参考文献第52-55页
致谢第55-56页
攻读学位期间发表的学术论文目录第56-57页

论文共57页,点击 下载论文
上一篇:基于合作网络理论模型的演化分析
下一篇:几类特殊循环矩阵算法和性质的研究