关于机器证明

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

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

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

膜结构在景观领域的应用和展望

本文结合实例介绍了膜结构在景观领域的应用现状，并从结构、材料、价格、形态、环保等四个方面论述了其具有良好的发展前景。     

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

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

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

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

文化传承语境下的学院艺术——以元代文人画审美情趣为例

学院艺术代表着新中国创作系统的先锋。当改革的春风吹拂大地,又是学院艺术首先跃过文化壁垒,成为新的艺术思潮的引领者和实践者;当我们步入消费社会,资本和市场开始引导中国的现当代艺术潮流时,学院面临着在当代艺术格局中不断被疏远与边缘化的趋势。本文通过回溯传统文化曾经的辉煌与辉煌背后的精神内涵,探索当下的学院艺术须解放思想,重拾往日文人精神,挑战资本、市场引领文化的怪圈,在我们科技日益赶超世界的今天,在文化上走到创新前沿的理论。     

克里普克论知识悖论

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

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

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

波普艺术在当代的发展潮流

波普艺术最早起源于上世纪50年代初的英国，50年代中期兴盛于美国。1956年，艺术家汉密尔顿用图片拼贴手法完成的《是什么使今天的家庭如此不同，如此有魅力》，被认为是第一幅真正意义上的波普作品。今天在世界舞台上诞生了一批非常有影响力的艺术家，从老一代的安迪·沃霍尔、利希滕斯坦到现代的村上隆以及现在在日本非常流行的文化形式——萌文化和潮流文化。我们可以依稀感觉到波普艺术就在我们身旁，影响着我们的生活形式、思维方式。它不再是一种单纯的艺术形式而是一场声势浩大的运动，一场席卷全球的深深影响人类生活、思维的伟大的艺术。     

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

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