摘要
本文运用模型理论证明了微积分中的“中间值定理”和“最大值最小值定理”从另一角度解决了微积分中上述两定理的理论证明。参2。
Applying the model theory, this article has provde the 'Mid-Value theorem and Maxmin Value theorem' in infinitesimal calculus. Viewing the proklem at a different angle, the article has solved the theoretical proof of the two theorems of infinitesimal calculus discussed above. 2refs.
出处
《湘潭矿业学院学报》
1993年第1期79-82,共4页
Journal of Xiangtan Mining Institute
关键词
模型理论
微积分
定理证明
model theory
infinitesimal calculus
theorem proof
