谓词逻辑的等值和推理演算教学课件-002

6、纪律是自由的第一条件。——黑格尔7、纪律是集体的面貌，集体的声音，集体的动作，集体的表情，集体的信念。——马卡连柯8、我们现在必须完全保持党的纪律，否则一切都会陷入污泥中。——马克思9、学校没有纪律便如磨坊没有水。——夸美纽斯10、一个人应该：活泼而守纪律，天真而不幼稚，勇敢而鲁莽，倔强而有原则，热情而不冲动，乐观而不盲目。——马克思谓词逻辑的等值和推理演算共46页文档谓词逻辑的等值和推理演算共46页文档6、纪律是自由的第一条件。——黑格尔7、纪律是集体的面貌，集体的声音，集体的动作，集体的表情，集体的信念。——马卡连柯8、我们现在必须完全保持党的纪律，否则一切都会陷入污泥中。——马克思9、学校没有纪律便如磨坊没有水。——夸美纽斯10、一个人应该：活泼而守纪律，天真而不幼稚，勇敢而鲁莽，倔强而有原则，热情而不冲动，乐观而不盲目。——马克思谓词逻辑的等值和推理演算共46页文档谓词逻辑的等值和推理演算主要内容谓词公式的等值等值演算范式(PNF,Skolem范式)推理式及推理演算归结推理LuChaojunSJTU词汇是语言三要素之一，也是语言的最小意义单位，是高中英语教学的基石，是语言交流的基础。词汇在英语学习中占有很重要的地位，句子是由词构成的，对话、文章是由单词组合而成。词汇量小，就完不成听说读写的任务。语言学家威尔金斯曾说过：“没有语法只能传达很少的信息，没有词汇则什么也无法表达。”在英语学习中，许多学生因为缺乏词汇的学习策略而导致对英语学习的架空，甚至放弃了英语这门课程。为了提高学生英语学习水平，教师应根据学生的实际情况，设法扩大学生的词汇量，使学生根深蒂固的理解词汇并能准确的应用。作为学生，通过长时期艰苦的积累，掌握了相关要求的词汇量，也有利于听说读写的训练，打牢了基础，厚积薄发，使英语学习步入良性循环，直至理解英语学习的终极意义，理解西方文化背景，甚至于把英语融入终身学习。因此，词汇学习是贯穿整个英语教学过程的重要环节。教师作为教育教学工作的主导者，如何不断研究创新英语教学的词汇方法；如何探索单词间的记忆规律，减少学生学习英语的盲目性，感受学习英语的乐趣，是目前推行新课改情况下所亟待解决的问题。一、高中学生词汇学习中存在问题1.语音问题单词的拼写形式是与字母和字母的读音规则相关联的。词汇注重音和形的统一与结合，只有把一定的音同对应的形联系起来，反复的探索练习，才能掌握单词的音形模式联系，而单词的语音问题是把握这种音形模式联系的切入点，一旦学生发音敏感性缺失，将会影响其掌握词汇学习的规律。2.方法问题传统的教学理念是对学生灌输知识而缺乏具体运用的过程，学生学习的知识未被及时的消化。学生还是偏重于死记硬背的机械记忆方式，英语学习缺乏活力，长此以往，禁不住会产生厌学情绪。3.语境缺失词汇学习也是利用具体的情景掌握读音和语义的，孤立的讲解词汇，只会使学生英语学习感到枯燥无味，而在生活情景、直观教具情景、表演情景、想象情景中用单词，不仅可以激发学生的兴趣，而且可以克服孤立记忆单词容易遗忘的缺陷，让学生能够真正理解学习语言的真谛---应用交际。二、高中学生词汇学习中出现问题的原因分析高中英语教学受到的桎梏很大程度上来自于学生本身，特别是农村中学，存在着一个旋而未解的问题，就是升入高中的学生，普遍英语水平较差，在正常的授课中往往会出现老师提问、学生非答的僵局，这样很难完成听说读写的正常教学。在新课改的趋势下，也难以逾越传统的教学模式向高效课堂的转型。究其原因，相对于城市而言，农村学生升入初中后才接触英语，延误了英语学习的早期启蒙。即使在初中学习阶段的黄金时期，因为缺乏英语环境及相应的资源设施，也导致了学生发音不准、知识储备不足的格局。很多学生在未升入高中之前，英语学习兴趣早已麻木，甚至放弃了这门课程。升入高中以后，即使有转变的念想，由于单词量的匮乏等历史问题，学习无法与老师的教学同步，最终还会回归原初状态，面对高中教材中成倍增长的词汇，历史问题与现实相结合，恶性循环形成，导致了英语是所有学科中最难问题。三、加强农村语境下的高中英语词汇教学的策略1.掌握读音规则，培养听拼读能力英语属于拼音文字，字母在单词中的读音与单词的拼写有一定的规律。因此，学生应熟练的掌握拼读规则，准确把握国际音标的发音，养成良好的语音习惯，为听拼读能力打下扎实的基础。2.勤“写”以巩固词汇听写不仅可以加强学生的听力，而且可以巩固学生的单词拼写，甚至发挥学生的想像力，创造性的自由发挥语言及写作才能。3.做好与初中英语词汇的衔接高中英语的词汇量是与初中紧密相联的，农村中学的学生步入高中，基础本来就很薄弱，再加上对英语学习有畏惧心理，这就会给英语教学造成屏障。为此，要不断的鼓励学生，建立融洽的师生关系，还得让学生掌握至少2000个核心词汇，以此为基础，把握学习方法，实现单词的全面升华。4.构词法是词汇记忆方法的架构英语构词法主要有合成法、转化法与派生法。除了合成法把两个或两个以上的词合成一个新词性的方法、转化法是在不同的语境中将词性转化而词形不变的方法之外，派生法是2/3的英语单词借助使用的方法。派生法的结构是前缀+词干+后缀，学生可以借助词根词缀字典，学习和记忆“词族”，确认词根猜测涵义，举一反三，日积月累的扩大词汇量。5.分类法是词汇记忆方法的深化高中英语学生在积累了一定数量的单词以后，把单词按照词性（n、v、adj、adv）进行分类，并且可以把同音异形词、同义词或词组等易混淆的词归类对比，以加深记忆，同时要求学生熟悉汉语意思，正确的朗读单词及日常用语。6.媒体影视是词汇记忆方法的源泉高中年龄阶段的学生有强烈的求知欲与好奇心，而且处于想像力很丰富的阶段。组织学生看英文原声电影如《简爱》、《狮子王》等，设置问题、设置语境让学生参与英文讨论，鼓励学生自主学习，采用联想法以看促学、以听促记，使学生参与到活动中，获得多说英语的机会，激发学生英语学习兴趣，享受英语学习的快乐，提高语言交际能力。以上是本人教育教学的些许经验。总而言之，词汇是学好英语的基础。词汇教学不仅要注重词汇积累的数量，更应注重词汇记忆的效率。掌握英语词汇是一项长期艰苦探索的过程，教师不仅要鼓励学生克服困难，快乐的学习英语，更应不断的总结词汇教学的策略和规律，为教学服务，持之以恒的探索农村语境下的适合农村学生的学习方法，让初中词汇薄弱的学生在短时期内补齐落差，以崭新的面貌轻松的步入高中英语学习阶段，以期达到更好的学习效果。新课程倡导探究式的教学方法。化学教师要改变传统的教学模式，逐步从验证性实验教学过渡到探究性实验教学，要根据学生的知识、能力水平层次，根据教材的重点、难点，合理设计探究实验方案，使其尽可能贴近生产生活实际，以激发学生的学习兴趣，取得良好的教学效果。一、探究性实验教学模式在验证性实验教学模式中，学生们用实验验证已学过的化学原理、概念或性质，实验过程是“照方抓药”，这极大地影响了学生的创新精神和创新能力的培养。探究性实验教学的一般过程是：提出问题：学生在阅读、观察、调查中对自然现象、生活现象或实验现象产生好奇，发现或提出有探究价值的问题。假设与猜想：在已掌握的化学实验和实践经验的基础上对所提出的可能性答案，做出猜想与假设。设计实验：针对探究目的和条件，设计可行性的操作步骤，以达到预期目标。动手实验，获取实验事实与证据：正确操作，科学记录实验现象及数据，并在实验中注意观察、思考。分析问题，得出结论：将收集到的现象与数据用化学知识加以分析、处理，得出结论，并与假设比较，对与猜测不一样的现象加以解释。教学中教师的引导不是刻意地引出一个唯一的结果，而是让学生在探究过程中理解科学方法。二、初中化学探究性实验类型及教学案例探究性实验的研究内容，主要是来自教材中一些容易转化为运用探究实验教学方法来进行学习的内容，及将已学过的化学知识应用于解决日常生活、生产中的一些实际问题的内容。初中化学探究性实验常有如下几种：1探究组成的实验(如石蜡组成元素的探究，鉴别真假黄金)；2探究性质的实验(如CO2：与石蕊试液变色原因的探究)；3探究变化规律的实验(如质量守恒定律的探究)；4探究物质制备的实验(如实验室制取H2、CO2：药品的选取及实验装置选择的探究)；5探究反应条件的实验(如铁、铜生锈条件的探究，可燃性气体、粉尘发生爆炸条件的探究)；6探究环境质量的实验(如雨水的ph值测定，污染空气的SO2、CO2的测定等)；[教学案例一]二氧化碳的实验室制法药品选取的探究1提出问题初中化学教材第六单元在讲述二氧化碳的实验室制法时，主要用含碳酸根离子的碳酸钙和含氢离子的盐酸溶液来制取，在分析了其原理后，引导学生提出问题：用碳酸钠能否代替碳酸钙?稀硫酸能否代替稀盐酸?2猜想与假设问题激发了学生的思维，他们提出了多种猜想与假设，教师适当地对学生的思路加以引导。假设一：碳酸钠也是含有碳酸根离子的物质，它能够与稀盐酸反应生成二氧化碳。假设二：稀硫酸也含有氢离子，它也能够与碳酸钙反应生成二氧化碳。但它们的反应速率如何?反应进行的程度如何?是否适宜用于在实验室制取CO2，这也是探究中应考虑的问题。3设计实验，进行验证让学生在提出假设的基础上，设计出实验方案，教师检查学生的实验设计，给予适当的指导。实验一：用大理石和稀盐酸反应――能反应，放出二氧化碳，速率适中。实验二：用碳酸钠和稀盐酸反应――能反应，放出二氧化碳，瞬间完成。实验三：用大理石和稀硫酸反应――能反应，放出二氧化碳，但很快停止。(实验步骤略，学生观察现象并记录)4解释与结论让学生分组分析、讨论实验现象(引导学生查阅资料)。假设一、假设二都是正确的，但实验二尽管能反应放出二氧化碳，可是反应速度太快，不易控制，实验三中碳酸钙与稀硫酸能反应，但由于生成的CaSO4微溶，覆盖在大理石的表面，阻止了反应的继续进行。从而得出结论：不宜用稀硫酸代替稀盐酸或用Na2CO3，代替大理石制取二氧化碳。[教学案例二]关于测定空气中氧气体积分数的实验条件的探究初中化学教材第一单元[实验2-1]，用红磷作为燃烧物在密闭容器中燃烧消耗氧气的方法，测定一定体积的空气中氧气所占的体积分数。教师通过演示实验，得出氧气约占空气体积的1／5的结论。本课题的教学，可以设计为开放的实验探究课。1提出问题能在空气中燃烧的可燃物很多，为什么一定要选磷?能否用其它可燃物替代磷?2提出假设学生通过讨论提出了多种假设：木炭、硫、镁条、蜡烛都能在空气中燃烧，消耗氧气，可替代磷。3设计实验，进行论证将支持不同假设的学生分成几个小组，按课本的实验装置(可改进)进行实验。(实验仪器：玻璃钟罩、燃烧匙、胶塞、水槽。提示：可燃物要过量。)实验中，分别用红磷、木炭、硫、镁条、蜡烛作燃烧物，在密闭的玻璃钟罩内燃烧，冷却后观察，放红磷的玻璃钟罩内水位上升约1／5，放镁条的玻璃钟罩内水位上升超过1／5，其余的玻璃钟罩内水位无明显变化。4解释与结论让学生分析讨论实验现象。用木炭、硫、镁条、蜡烛作燃烧物的实验并没有达到预期目的，说明相关的假设均不正确。原因是：木炭、硫、蜡烛燃烧消耗氧气的同时，又生成了其它气体，钟罩内气体总体积几乎没有变化，而镁是活泼金属，除了与氧气反应之外，还与氮气反应(在教师引导下查阅资料)。所以在测定空气中氧气体积分数的实验中，选择燃烧物的条件是：生成物应该是固体的；燃烧后不改变空气中其它气体的成分。[教学案例三]校园里不同地点二氧化碳的相对含量的实验探究1提出问题空气中的二氧化碳约占空气总体积的0.03％，但在我们周围的环境中，可能引起二氧化碳含量变化的因素很多，不同地点空气中二氧化碳的含量是否一样?生活、学习环境中应如何注意保持良好的空气质量?2提出假设学生讨论后，提出了各自的猜想和假设。假设一：各地CO2含量基本相同，因为人呼吸等需要O2放出CO2，但植物的光合作用吸收CO2并放出O2。假设：各地含量有所不同，因为不同环境中人的活动密度、空气流通状况不同。3设计实验，进行论证让学生结合自己所掌握的知识提出各自实验方案，进行分组讨论，教师适当指导，最后得出理论上可行、操作上简单的实验方案：用碱液吸收法测定各地C02的相对含量。具体操作：分三个小组，每小组各取一个干净的250ml细口瓶(橡皮塞密封性能良好)，分别注入50.0ml相同浓度的稀氨水，滴入几滴酚酞作指示剂，塞上橡皮塞。然后在同一时间里分别到花园、教室和宿舍三个地点，用50ml注射器多次抽取空气注入细口瓶中(每次均抽满50ml空气)，不断振荡细口瓶，直至溶液刚好完全褪色，记录抽取空气的次数。实验记录数据(实验中不考虑校园环境受其它酸性气体的影响，不作CO2定量测定，只对CO2相对含量作比较)：(取样时间均为2005年3月2日17时10分)4实验结论人群密集、空气流动较差的地方，CO2浓度较大。要保持良好的学习和生活环境，应该注意经常打开门窗，保持通风。三、值得注意和进一步研究的一些问题1探究活动必须在学生已掌握基本知识和理论的基础上进行。2探究应是适度、有目的的，而不是漫无边际、毫无目的的。3初中化学探究实验，教师应给予必要的、适当的引导，避免随意性和盲目性。4初中生的知识水平、精力及学习时间都是有限的，探究应主要围绕课本知识进行，不宜过分扩大探究领域。5危险性较大，对个体的危害和对环境的污染较大的化学实验一般不适合学生探究。在实践中可以发现，学生自己提出适宜探究的内容和问题是开展探究性教学的难点。如何更好地开展探究式教学，仍需要我们继续努力探讨。责编王学军谓词逻辑的等值和推理演算主要内容谓词公式的等值等值演算范式(PNF,Skolem范式)推理式及推理演算归结推理LuChaojunSJTU由命题逻辑移植来的等值式在命题逻辑的等值式中以谓词公式代入命题变项,便可得谓词逻辑的等值式.例如np=p7VxP(x=(Vx)p()p→入q=→pVq+P(x)→>Q(x)=-P(x)vQ(x)LuChaojunSJTU量词转化型等值式量词的转化(Vx)(x)=-(x)-na(x)Vx)ax=x)dxGxa(r)=-(vx-axnxar=(ixia(x)例x)(Animale(x)→Car(x)并非动物都是猫Gx)-(Animal(x)->Cat(x))=(x)Animal(x)A-Ca(x)存在不是猫的动物LuChaojunSJTU量词分配等值式量词对入及∨的分配律(Vx(alrvB)=(vx)a(x)vB(x)((x))=(3x)(x)VB(Vx(a(r))=(x)a(x)AB(x)((x)^B=(3x)a(x)∧B其中β不含自由x这个条件很容易满足:对约束变元改名即可LuCh