首页> 中文期刊> 《高师理科学刊》 >区间套定理证明达布定理的改进

区间套定理证明达布定理的改进

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

从"二分法"的思想出发,通过构造区间套,并利用区间套定理和海涅归结原则完成了达布定理的证明.该方法改进了现有的区间套定理证明达布定理的繁琐步骤,简化了定理的证明过程.

著录项

来源
《高师理科学刊》 |2018年第3期|12-13|共2页
作者
李兵方;
展开▼
作者单位

陕西铁路工程职业技术学院基础部,陕西渭南 714000;

展开▼
原文格式 PDF
正文语种 chi
中图分类分析基础;
关键词
区间套定理; 达布定理; 海涅归结原则;

相似文献

中文文献
外文文献
专利

1. 用区间套定理证明Rolle定理、Lagrange定理 [J] . 许在库 . 安徽大学学报（自然科学版） . 2003,第002期
2. 关于达布定理证明的改进意见 [J] . 张崇德 . 重庆师范大学学报：自然科学版 . 1998,第S1期
3. 用区间套定理证明闭区间上连续函数的性质 [J] . 周明 . 地球科学与环境学报 . 1998,第002期
4. 用区间套定理证明Darboux定理 [J] . 高心军 . 大学数学 . 2013,第003期
5. 利用闭区间套定理证明Lagrange中值定理 [J] . 张明波 ,王娅纷 . 长江大学学报（自科版）：上旬 . 2010,第2期
6. 基于定理证明的CPU结构形式化验证方法与实现 [C] . 彭方州 ,马殿富 . 全国抗恶劣环境计算机第二十五届学术年会 . 2015
7. 图论在定理证明器HOL4中的形式化 [A] . 安亚鹏 . 2021

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号