以目的与背景知识为双条件的逻辑AKC

首先，我们构造以目的和背景知识为双条件的条件句系统AKC，给出它的一些证明论结果。其次，我们引入有序邻域语义，给出描述AKC的特征公理和推理规则的框架条件，证明AKC相对这些框架条件是框架可靠的。最后，我们证明AKC相对这些框架条件也是框架完全的。     

我的良师益友

伴随着新中国60年的辉煌,《湖北教育》也迎来了创刊60周年的喜庆。《湖北教育》作为我省历史最悠久的期刊之一,记录了湖北教育的风云变幻．见证了湖北教育的飞跃崛起。她朴实无华的诉说,展示了湖北基础教育的精粹与风采：她清新活泼的文风,描述了湖北教育改革的艰辛与成功。60年风雨兼程,60年一路高歌．今天的《湖北教育》站在时代的前沿,     

让文献纪录片精彩好看——《潮起江淮》之“万世根本”创作谈

安徽电视台大型电视纪录片《潮起江淮》,是为纪念改革开放30周年制作的重点节目,是一部厚重的文献纪录片。《万世根本》是这部纪录片的第一集,这一集向观众讲述了30年前发生在江淮大地上,围绕粮食生产而引发的一场革命。作为开篇之作,在不到25分钟的时间里,囊括了安徽改革开放以来,所走过的艰辛历程和取得的主要成就,     

一个刻画理解的认知逻辑

通过两次问卷调查可以发现,绝大多数调查对象直观上都认为：理解一个命题就是知道它的意义。然后我们认为,在认知逻辑中,理解,作为一个模态算子,可以在一个较弱的意义上用知道算子来刻画：理解一个命题就是知道它的真假。由此,我们给出一个刻画理解的认知逻辑来揭示理解与知道之间的联系与区别。     

一个匹配生成更新语义的条件句系统

条件句系统通常用择类语义来刻画,此语义对条件句逻辑来说是标准的.一个择类模型可以用一个三元组(W,f,V)来表示,其中W≠φ,f是从 (W)×W到 (W)中的择类函数,且V是从一命题变元集PV到 (W)中的赋值函数.本文我们提出一个更新语义,它保留择类框架,但V被从PV到 (W) (W)中的一个更新函数代替,因为更新函数能表示动态命题而赋值函数则不能.最后我们证明一个条件句系统相对这样的语义有框架可靠性.     

人民的公仆——记共产党员、新干县教育局局长王学贤

在井冈山老区教育界,提起新干县教育局局长、共产党员王学贤,无论是“老教育”,还是“新教师”,也不管是领导还是群众,无不夸赞他为“办教育的实干家”、“人民的好公仆”。 现实生活中的王学贤并不高大,消瘦的身体,朴素的衣着,俨然象一个老实巴交的农民。但就是这位外表不起眼的人,在平凡的工作中干出了不平凡的业绩。 从1950年到现在,整整四十个春秋,不管生活多么坎坷,他都没     

以遵纪守法为荣 以违法乱纪为耻

常言道，无规矩不成方圆。规，是画圆用的工具．如数学课上用的圆规、两脚规；矩，是画直角或长方形用的曲尺，如直角三角尺或丁字曲尺。画圆若无规，就会画圆而不圆；制方若无矩，就会制方而不方。“无规矩不成方圆”这句古训告诉我们这样一个道理：无论做什么事情都要有一个规矩。这个规矩就是现实生活中约束和规范每个人言行的法律和纪律。     

读《饮水诗词》与《红楼梦》小札

以《饮水诗词》等级其背后相关的事实与《红楼梦》的人物情节作对照,以为曹雪芹是受福临与董小宛爱情故事的触发,以纳兰容若爱情悲剧为素材来源,以梦幻虚构的艺术手法,完成这一绝世名著的。     

小学语文低年级阅读教学改革初探

在小学语文的教学实践中,阅读教学是其中一个非常重要的环节。提高学生的阅读能力不仅有利于加强学生的语言素养,提高他们的文学鉴赏能力,而且对其他学科的学习也有一定的促进作用。随着《小学语文新课程标准》的颁布与实施,研究型阅读的教学改革可谓是势在必行。本文将结合新课标的具体要求,对如何改进和提高小学语文教学中的阅读教学展开论述。     

教改最应该下功夫的是教育体制

教育改革是这次(2012年)"两会"最受关注的话题之一。全国人大代表徐显明在接受记者采访时表示,把李约瑟之问、钱学森之问和乔布斯之问都回答完了,也就把中国教育的基本问题解决了。徐显明说,中国有三问。第一问叫做李约瑟之问,上个世纪二十年代就提出来了。李约瑟问的是为什么中国自清朝以来再