【摘 要】
：
本论文针对王彦晶提出的“知道如何”的模态算子提出了一种新的语义。与原来的语义相比，我们的语义比较弱但是却更容易实现。根据该语义，主体知道如何从状态到达状态?当且仅当
【基金项目】
：
the support from China Scholarship Council
论文部分内容阅读
本论文针对王彦晶提出的“知道如何”的模态算子提出了一种新的语义。与原来的语义相比，我们的语义比较弱但是却更容易实现。根据该语义，主体知道如何从状态到达状态?当且仅当主体有一个有穷的线性动作系列使得执行该动作系列停止后的状态即是目的状态。这种弱化的新语义导致了一种弱化的逻辑。原来逻辑系统里面的组合公理在我们的新语义下不再有效。我们也给出了该逻辑的一个公理系统并证明了其可靠性和完全性。同时，我们也证明了该逻辑具有可判定性。
其他文献
【摘 要】我们常常说到的英语阅读理解能力，其实就是学生在学习过程当中，逐渐培养起来的能够真正理解英文的一种能力或者是技巧，英语阅读理解能力当中包含利用技能去理解或者说去读懂文章的能力，但与此同时，作为教育人员也需要正确的认识到，培养学生的英文阅读理解能力并不是为了让学生利用这种技巧去应付考试。在实际教学过程当中，教师应该利用多种多样的教学策略，帮助学生养成正确健康的阅读习惯，这样能够有效的提升学生
胸部肿瘤累及上腔静脉及其分支是肿瘤的晚期临床表现之一,胸部X线、CT及B型超声波是重要的检查手段[1].在选择外科手术治疗时操作难度大,应慎重.我院于2001年1月～2004年12月对25例胸部肿瘤侵犯上腔静脉及属支的病人进行了肿瘤切除,并上腔静脉及其分支重建手术.由于术前准备工作充分,全体人员配合默契,无手术死亡,现将手术配合报告如下。
【摘 要】本文就小组互动在听、说、读、写、复习、试题讲解、课外活动上的运用及其存在问题的对策方面进行阐述。 【关键词】英语；小组互动；问题对策 小组互动是提高课堂教学质量的一种好的教学方式。现在结合教学实践，谈谈自己的一点感悟。 一、“小组互动”在英语教学上的运用例谈 1.用于“听”“说”。农村学校学生的听说能力相对较差，易对英语学习产生过分焦虑的不良情绪。为解决这一问题，我们可将学生分成
阅读指导工作是图书馆工作的重要组成部分,是体现图书馆教育职能的有效手段。阐述了图书馆阅读指导工作的内容,探讨了图书馆开展阅读指导工作的对策。
教师在教学过程中起着"导演"的作用,通过教师主导,激发学生学习的情感,培养学生的思维能力,调控课堂教学的进程。
【摘 要】在物理教学中，教师只要以心理学理论来指导物理教学，认真研究学生的心理特点和规律，找到物理教学的切入点与结合点，合理地利用学生的“好奇、好问、好动、好胜”的心理，会极大地激起学生的学习动力，将教育的要求转化为学生的自觉行为，对培养学生的创新精神和创新能力，全面提高物理教学的效果，具有良好的催化作用。 【关键词】学生心理；物理教育方法；激发与引导；学生主体作用的推动 进入中学的学生，其心
目的 分析和总结早期综合防治对严重肺挫伤并发急性肺损伤患者预后的影响.方法 分析48例肺挫伤并发急性肺损伤患者的临床资料,根据治疗方式分为治疗组(早期综合防治)25例,对照组23例.调查分析2组患者的预后.结果 2组入院时APACHEⅡ评分[(17.36±4.05)vs.(18.67±3.3],结果无显著性差异(t=1.02,P＞0.05).治疗组早期综合防治2 d后,APACHEⅡ评分为(11.
目的探讨健康指南手册在心外科中应用的意义及效果.方法将400例心外科患者随机分为观察组和对照组各200例,对照组按常规进行入院、术前、术后、出院指导.观察组于入院当天根
传统膀胱冲洗法十分方便，若遇到尿路梗阻严重的患者如较大血凝块、尿路结石等，冲洗液进入膀胱后仅靠动力不易回流，反而使膀胱内蓄积更多的液体，加重患者的痛苦，笔者经过多次临床实
阐述了高校图书馆外文期刊的馆藏及利用现状,并有针对性地就如何开发外刊资源、提高利用率提出了一些对策。