落后神学的弃女 自然科学的宠儿——试析形式归纳逻辑体系的建立

归纳逻辑是研究人们的认识如何从具体、个别性的前提上升到一般概括性的结论。它的前提的真实性只为结论的真实性提供了部分支持,它是一种或然性,不确定性的推理。自然科学的不断发展构成了归纳逻辑产生和发展的重要原因;同时,归纳逻辑在科学创新中也具有重要作用和意义。因此,形式的归纳逻辑系统具有建立的可能性和必要性。

归纳性色彩写生教学探索

归纳性色彩在写生中或写生后对绘画本体,以及画面形式美的探讨及试验,对于学生在写生中进一步掌握绘画规律,探讨艺术表现技法,都有积极的作用。

数学归纳法及其应用

本文主要从数学归纳法的原理、数学归纳法的具体表现形式及其关系、数学归纳法的应用几方面进行阐述.旨在说明数学归纳法在数学的发展中起了重要作用,正如华罗庚老先生在其《数学归纳法》一书中指出的那样:"数学归纳法正是体现了人的认识从有限到无限的飞跃.."

语篇修辞策略的负迁移

通过非计划写作、计划写作和自发口语的话语对比分析,探究英语学习者语篇修辞策略的特点———归纳形式,并从礼貌策略的面子顾虑出发分析归纳形式产生的原因,目的是强调语篇修辞策略的重要性。

运用ASM描述安全协议

介绍了抽象状态机（ASM）,建立了基于这种形式化方法的协议描述于验证的环境,并建立了一般意义上的入侵者模型.作为应用实例,给出了 Helsinki协议的 ASM规约,说明利用这个规约可以直观的演绎 Horng-Hsu攻击.

An Equivalent Form of the Dedekind Axiomand Its Application(Ⅱ)——Also on the unity of the Continuous Induction,the Mathem atical Induction and the Transfinite Induction

In this paper,a common characteristic of real number system and well ordered set is revealed and proved to be an equivalent form of the Dedekind Axiom or the Continuous Induction in R. Basing on it,we get the unified form of the mathematical induction,the transfinite induction and the continuous induction and generalize induction to totally ordered set that has the same characteristic.

An Equivalent Form of the Dedekind Axiomand Its Application(Ⅰ)——Also on theunity ofthe ContinuousInduction,theMathem aticalInduction and theTransfiniteInduction

In this paper,a common characteristic of real number system and well ordered set is revealed and proved to be an equivalent form of the Dedekind Axiom or the Continuous Induction in R. Basing on it,we get the unified form of the mathematical induction,the transfinite induction and the continuous induction and generalize induction to totally ordered set that has the same characteristic.