重视知识的传授,更关注情感的培养

数学课上,八名学生被我叫上黑板演算两位数乘一位数连续进位的计算题.     

亚氏三段论的现代逻辑改造

在亚里士多德创建的三段论体系中，有着一整套正确判定三段论有效式的规则，人们依据这些规则，在分属四格的总共２５６个三段论式中，得出了举世公认的１９个完全有效式。近百年来，随着数理逻辑的产生和发展，有不少逻辑学家试图采用形式化的手段来重新解释亚氏三段论，但因存在这样那样的问题，他们的努力并没有取得完全的成功。我们当代逻辑学家林邦瑾在他的《制约逻辑》一书中，也对三段论的形式化问题进行了认真的探讨。令人惊喜的是，在他独创的制约逻辑Ｃｎ名词演算系统中，亚氏的三段论１９个完全有效式，都一一得到了圆满的证明。林氏这一近乎完美无缺的成功，无疑为三段论这一古老的推理形式要现代逻辑领域内的发展，开辟了灿烂的前景。     

浅议学生由初中升入高中的语文教学

不少初中时语文学得不错的同学,一进入高中后,尤其是学期考试后即对高中阶段的语文教学反映出不同程度的不适应现象.学生、家长和老师都感到不可理解:初中会考那么高的分数到了高中怎么一下子降那么多?个别人甚至对语文逐渐失去信心,将精力转向数理化的演算.     

基于π演算的异构Web服务组合的互操作

采用针对Web服务组合协议的扩充π-演算,形式化地描述了Wab服务流程的行为,在抽象的形式化层次上描述了由不同Web服务组合协议构成的流程之间互操作的中间适配规范,适配器生成规范和由规范制导的适配器生成方法.通过适配器生成过程的形式化描述可以自动生成该适配器.通过实例具体实现了BPEL4WS和WSCI互操作的适配器形式化描述,以此说明可以在抽象层次上实现不同Web服务组合协议描述的服务流程之间的互操作.     

小学数学教学应加强学法的指导

１．课前预习，培养自学能力每上一节新课，我都要求学生带着提出的问题，先把学习的内容认真预习一遍。在预习中，要把看不懂的地方用符号“△”或“”记下来。如我在教“比”的意义和性质时让学生带着下面问题预习：（１）“比”一般用几种量进行比较？（两种量进行比较）（２）什么叫做“比”？（两个数相除又叫做两个数的比）（３）“比”各部分的名称叫什么？（“：”是比号，比号前面的数叫做比的前项，比号后面的数叫做比的后项）（４）“比”的前项和后项是单独存在的还是相互依赖的？（是相互依赖的）（５）“比”同除法、分数之间…     

如何培养小学生学习数学的兴趣

在许多人的印象里,数学似乎是数学家们在演算纸上花费心思展开的一场智力游戏,对普通人来说就显得有些高深莫测,甚至遥不可及。于是,数学一度成了枯燥乏味的代名词。那么,如何培养小学生学习数学的兴趣呢？     

浅谈高中数学数形结合解决向量模的最值问题

向量的模是平面向量的重要概念,体现了平面向量"数"与"形"双重性的重要特征。向量模的最值之问题是历年高考的热点,本文以一例最值问题探究常用的几种解题思路。同时要教育学生养成良好的解题习惯,提高自己的思维能力;培养学生善于质疑的习惯;养成解后反思的习惯;养成做笔记的习惯等。     

等值演算的重要作用

从命题公式类型判别、命题公式等值判定、命题公式的主范式、命题公式的赋值以及实际问题的简化和处理等方面简单的探讨了等值演算的重要作用。     

一种自动验证网络安全协议的互模拟方法

为了解决进程接收具体信息的输入所带来的无穷种迁移问题,采用一种称为"符号化"的方法,提出了进程符号环境和符号化和格局标号迁移语义,为Spi演算设计了符号互模拟关系—符号Reded互模拟.结果表明:该符号互模拟关系对传统的互模拟关系是可靠的,符号化的标号转移语义将进程无穷输入导致的迁移限期为有穷种迁移.因此使得基于该关系的安全协议自动验证算法得以实现.     

全站仪直线放样功能在地质剖面测量中的应用

全站仪在已知测量点设站,应用全站仪直线放样功能把测量点引入地质剖面线上的任意位置作为剖面线的控制点对整条剖面线进行剖面测量作业。文中对其应用原理和仪器操作进行了详细阐述。为了更适合野外测量工作实际,作者使用CASIO 4850科学计算器对应用原理进行了编程,文章最后以工作实例的方式对全站仪直线放样功能在剖面测量的应用进行了验证。