论文部分内容阅读
一阶逻辑中的任何公式都存在与之等值的前束范式.本文讨论了在求前束范式经常遇见的两种情况.
一阶逻辑语言中前束范式的求法
【摘 要】
：
一阶逻辑中的任何公式都存在与之等值的前束范式.本文讨论了在求前束范式经常遇见的两种情况.
【机 构】
：
南阳师范学院数学与统计学院,河南南阳,473061
【出 处】
：
时代教育（教育教学版）
【发表日期】
：
2008年6期
其他文献
通过对广西某医科高校某一届本科生两年的英语语音语调学习的跟踪调查,从语言学、方言学等角度分析现状存在的原因并提出建议。
Through the follow-up investigation of En
《大学英语》精读课文Tony Trivisonno’s American Dream和A Fable of the Lazy Teenager,分别以直线前行和圆周循环的方式,生动、成功地讲述了两个励志故事,使读者受到了教
期刊
《语文新课程标准》指出语文的工具性与人文性,即以培养学生的语文社会实践运用与提高学生个人语文素养为目的。新课程改革在语文教学中已提倡多年,其重要性已得到了广泛共识
在教育领域表现为以“对话”为原则和手段的对话教学已经成为当代教育的热点,它是以民主、平等为原则,互动、对话为手段,学生、教师、文本三维沟通,对文本进行探究理解的教学
《21世纪大学英语》教材不仅是英语教学的好工具,也是透视英美文学的窗口。近年来,英语教学中侧重于听、说、读、写四项技能的训练与培养,与之相对的是英语在教学内容上的浅
老甫叮当,叮叮当,叮叮当当。声音是老甫制造的,老甫制造的声音悦耳,有很强的穿透力,也有吸引力。老甫制造声音很笨拙,一把小铁锤,一把錾子,一方青石板。老甫左手握錾,右手操
诬告 在泉龙县龙江镇双溪河畔，有个在地图上都找不出来的陂头村。这段时间，陂头村在县上、市里和省里都挂了名，只因陂头村那个普通得扔到人堆里找不出来的村民张柚，村民们都叫