关于机器证明

本文简介机器证明的理论与实践．并附一篇关于用模型论方法证明无限地图的四色定理．     

多元智能理论在高职英语教育教学中的运用

在高职英语教育教学中运用多元智能理论,倡导因材施教的个性化教学观,实施动态的、多元化的科学评价观,可以提高课堂教学效率,促进学生全面发展。在多元智能理论本土化的过程中,应该树立科学的教育思想,正确处理相关矛盾。     

论功能翻译理论框架下的法律翻译质量评估

文章在功能翻译理论框架下剖析法律文本的语言特点和功能定位,通过对法律翻译标准的综述,提出功能是连接翻译理论与实践之间的关键因素,法律文本的功能实现与否亦应成为法律翻译质量的评估标准。为了充分保证法律翻译的质量,在功能翻译理论框架下构建一个质量评估体系势在必行。     

广义Kronecker积及其应用 ——处理复杂系统的新思维系列之十一

本系列论文基于《多边矩阵理论》，由东方整体性思维所启迪，试图提供并完善一套从整体到局部处理复杂系统多指标问题、非均匀性问题、非线性问题的强有力的数学工具，并对其进行严格的理论推导和证明。作为系列论文的第十一篇，首先基于广义Kronecker积的定义，讨论其是否满足三种运算律，介绍其与普通Kronecker积、Kronecker和的关系，及其应用方法，设计Hadamard矩阵、拉丁矩阵和差集矩阵；其次给出了 Kronecker积的另一个推广定义，强Kronecker积；最后用SAS语言实现了两种Kronecker积运算方法。     

克里普克论知识悖论

知识悖论及其解决涉及到知识论的核心问题。克里普克在一篇新作中对意外考试悖论进行了深刻分析,并指出这一悖论的产生是由于错误地使用了"知识的持久性"这一前提,并以此为基础提出了一种新的知识悖论,即独断论悖论。通过分析可见,克里普克对"知识的持久性"的反驳以经典的知识论为框架,面对经典知识论所遭受的强有力的挑战,克里普克对意外考试悖论的解决缺乏可靠的理论支撑。知识悖论触及的是知识论的核心问题,任何尝试性的解决方案都要重新思考知识的本质到底是什么。     

元认知理论对英语课外自主学习的影响

以元认知理论为依据，对两个随机抽取的实验班和控制班进行研究：实验班在接受一定的课外自主学习任务的同时又接受元认知理论的培训；而控制班只接受同样的课外自主学习任务。结果表明：经过元认知培训后的试验班的后测成绩明显高于控制班。其原因是学生能够根据学习的规律和学习的具体条件，更加自觉地组织自己的学习活动，通过不断调整和完善，使自己的学习方法和过程更加合理。更加有效率。     

我们正面临物理学的终结吗?

历史似乎总在重复。在20世纪末,我们又面临与19世纪末同样的难题。物理学即将终结吗?我们是否正接近终极的统一的物理学理论,或者永远得不到这样一个理论?本文评论了诸家观点,同时根据作者的研究,对统一的物理理论的存在作出了否定的结果。并且探讨了物理学新领域的发展。特别分析了生物学对物理发展提出的挑战。     

随机集序列的收敛

随机集值映射出现在信息系统分析、经济预测、优化和最优控制等应用数学领域，Ａｒｔｓｔｅｉｎ、Ｗｉｊｓｍａｎ、Ｄｅｂｒｅｕ、Ｓａｌｉｎｔｔｉ、Ｗｅｔｓ、Ｈｉａｉ、Ｍｏｓｃｏ、Ｐａｐａｇｅｏｒｇｉｏｕ和张文修等人进行了大量的研究，取得了一系列重要成果，本文是在他们研究的基础上深入地探讨了随机集变量序列的几种收敛之间的相互关系，得到了一些等价条件及一系列重要结果。     

I－69／55杨速生丰产栽培原理与实践

从影响林木生长的环境因子入手，采用数学方法，找出了影响各引种栽培区内１－６９／５５杨生长的主导气象因子和主导土壤因子。在此基础上，采用数量化方法编制了Ｉ－６９／５５杨立地指数得分表。根据大量的固定标准地和临时标准地资料，经综合分析，提出了１－６９／５５杨的适宜造林密度和各项丰产栽培技术措施。