基于谓词逻辑的Prolog程序设计

一阶谓词逻辑下的Horn逻辑是人工智能程序语言Prolog的理论基础,利用Prolog在计算机上可实现机械化,从而使自动化求解问题和定理证明具备可行性.本文从Horn逻辑和Prolog的基础理论出发,使用Horn子句、SLD-归结、搜索和回溯等原理讨论了如何在计算机中实现数学函数、定理证明等自动推理的一些应用.     

论师范生培养中必须重视的几个问题

本文分析了我国“定向型”的教师培养模式和师范生职业心理定向中存在的问题,在此基础上,有针对性地论述了当前师范生培养中必须重视促进“教师心理”发展、树立现代教学思想、突出教学能力、培养“活动课程”的教学设计者组织能力等,以促进师范生对教师工作的深刻认识,提高从事中等教育和教学的能力。     

非良基集与共代数理论研究

作为经典集合论的扩张,非良基集合论具有更为丰富的集合全域。它能够提供一套完备的工具刻画现实世界中众多的循环现象。共代数是代数的对偶概念。在非良基的范畴下,使用共代数方法,可以方便地构造各种循环现象在集合理论上的模型。因此,对非良基集及共代数理论的研究极具吸引力。     

新媒体环境下《马克思主义基本原理概论》课程教学改革的思考

新媒体环境下,加快推进《马克思主义基本原理概论》课程教学改革是时代发展的必然要求.新媒体的发展给该课教学工作增加了难度,也带来了新的机遇.本文从加强师资队伍建设、构建新媒体教学模式以及深化大学生思想政治教育实践基地建设等几个方面,讨论了促进该课教学改革,增强其教学实效性的有效措施.     

二语习得者特质的新认知

在二语习得者大脑中同时存在着二语和母语两个语言系统,他们之间的双向迁移丰富并改变着这两个语言系统。这两个共存的、相互增进的语言系统赋予了习得者更宽广的语言应用范围,也提高了他们的概念化能力。这样,二语习得者在二语(过渡语)系统、母语系统、二语应用和认知思维方面便拥有了操单语者所不可企及的特质。这些特质构成了我们二语教学新的认知基础,也是我们进行二语教学改革的立足点和出发点。     

劳动价值论中价值创造与价值分配关系的深层解读

近年来,社会上似乎出现了马克思时代所没有的新的经济现象,这就进一步引发了人们对劳动价值论的关注。应该如何看待科学技术、自然资源及各种非劳动要素在价值创造中的作用?服务型劳动是否创造价值?如何看待这些因素在价值分配中的应得问题?围绕以上问题学界展开了激烈的争论,特别是与价值创造主体分析密切相关的价值分配问题,成为人们研究劳动价值论的重要指向。     

语言磨蚀原因与应对策略

语言磨蚀研究学习者语言技能的丢失和衰减,在欧美已得到学术界广泛重视。国外研究发现,与目的语接触频率、教学方法、学习者的年龄、对目的语的态度与学习动机、母语文化程度、目的语文化氛围、不同语言之间的干扰等,均是影响语言磨蚀的因素。外语教育工作者应该对此有深刻的认识,在教学中通过提高学生与目的语接触的频率、采取明示教学法、充分利用语言学习者不同年龄阶段的优势、增加读写在教学中的比重、重视文化教学、培养学生用外语思考等策略,来应对语言磨蚀。     

走出历史的魅影——论《宠儿》对黑人历史的记忆与忘却问题的探讨

传统的黑人小说一般表现黑人在奴隶制压迫下的苦难和斗争,极少涉及黑人在被解放后这种历史对他们精神的钳制和他们为了走出这种历史魅影所作的努力.托尼·莫里森的《宠儿》不仅拓展了传统小说原有的素材,从肉体和精神两方面展示了黑人奴隶的苦难,而且着重表现了黑人解放后在精神方面所存在的问题和为解决这些历史问题而对历史进行的勇敢追忆和主动忘却.黑人如果要摆脱历史阴影对自己心灵的钳制,就要勇敢地直面自己屈辱的历史;黑人如果要走向未来,与白人达到融洽相处的状态,就要忘却历史上白人在黑人心中种下的仇恨.     

师范生技能训练活动的系统设计

文章论述了在提高师范生技能和综合素质的教学方面进行了一些改革 ,采用将课内、课外活动联系起来解决问题的系统设计方案 ,在教育实践中收到较好的效果