基于MIZAR的函数奇偶性及周期性的研究

摘要	第1-4页
ABSTRACT	第4-8页
1 绪论	第8-12页
·机器证明的历史及发展现状	第8-9页
·MIZAR语言系统的历史及发展现状	第9-10页
·课题研究的主要内容	第10页
·课题研究的目的和意义	第10-12页
2 函数奇偶性的MIZAR实现	第12-48页
·预备知识	第12-13页
·MIZAR环境部的设置	第13-14页
·基于NIZAR的函数奇偶性的研究	第14-48页
·奇函数与偶函数定义的Mizar实现	第14-20页
·奇函数与偶函数性质的Mizar证明	第20-25页
·奇函数与偶函数的复合函数性质的Mizar证明	第25-32页
·一些初等函数奇偶性的Mizar实现	第32-48页
3 函数周期性的MIZAR实现	第48-68页
·预备知识	第48-49页
·MIZAR环境部的设置	第49-50页
·基于MIZAR的函数周期性的研究	第50-65页
·周期函数定义的Mizar实现	第50-51页
·周期函数性质的Mizar证明	第51-61页
·三角函数周期性的Mizar证明	第61-65页
·基于MIZAR的函数周期性论证的检测结果	第65-68页
总结与展望	第68-69页
参考文献	第69-72页
致谢	第72-73页
攻读学位期间发表的学术论文目录	第73-75页