非线性序逻辑系统(-W)2中的重言式

摘要定义了非线性逻辑系统W^-2，研究了W^-2中的重言式及广义重言式，得到了若干与线性逻辑系统W^中相类似的结果．     

毛泽东、邓小平党内民主思想比较分析

毛泽东和邓小平的党内民主思想都是马克思主义党内民主理论同中国实际相结合的产物,在发展党内民主的认识上、内容上和途径、方法上有着许多共同之处.但因时代、环境和条件的变化,邓小平党内民主思想在对党内民主地位的认识、具体实现方式、制度建设和体制改革等方面发展并超越了毛泽东党内民主思想.分析比较两者的党内民主思想,对加强当前党内民主建设和执政能力建设具有重要的现实意义.     

无缘抚触的心结

恍然间,早已过了渴望父亲爱护、需要父亲庇佑的年纪,只是,看着他时,总有些期待,总有些心痛,总有些放不下……很小的时候开始。我就发现自己和周围的小朋友不太一样。我似乎总也见不到自己的爸爸。甚至记不清他长什么样子。有一次幼儿园老师让大家分享自己和爸爸一起的快乐经历,小朋友们都争先恐后地上台讲故事,什么爸爸教自己骑自行车啦,爸爸陪自己打游戏啦,爸爸让自己骑在他脖子上上幼     

音乐会小史

欧洲最早举办凭票入场的音乐会的,据考是英国的约翰·班纳士特。时为1672年。此人是个小提琴手。音乐会的场子只不过是一个大房间,里面摆上一圈椅子和小桌子,倒像家啤酒店。票价是一先令。他物色来的一伙乐师便在隆起的小台上演奏。每晚6时开始。一连搞了6年之久。到了1678年,又出现了一种私家主办的定期音乐会。每周一次,延续了36年。主办人是汤姆斯·勃列顿。这是个自学成才的音乐家。当时伦敦城里一些饱学之士都同他交游。     

利用隐含的点共线条件解題例析

在平面几何的证解题中,有的题目中隐含着某些点共线,需把这些隐含的点连结起来,首先证明这些点共线,进而借助这些共线的点证明或解出题目的结论。因此,这些隐含的点共线条件就成为证解题的突破口,使问题得以圆满的解决。例1 已知:AC、CE是正六边形ABCDEF的两条对角线,点M、N分别内分AC、CE,使AM/AC=CN/CE=r,如果B、M、N三点共线,求r。(第二十三届     

中学英语课外作业配置质与量的研究

本从中学英语课外作业配置观、量的界定、质的原则及其功能等方面进行了研究。认为作业配置质的最优化和量的最适宜是学生巩固知识的重要途径，是教师提高英语教学的有效策略。     

发动机性能试验数据采集系统及试验的可视化研究

作者开发了基于WINDOWS的发动机性能试验数据采集系统,具有高速、高效、高精度的优点。本系统能同时测量16个参数,同时也提供了一个D／A输出1：2,供进行自动控制使用。用VISUAL C 为工具的编程软件,编制了数据采集、处理、分析,图形绘制、打印软件。引进监督曲线,随时监控试验情况。对柴油机和汽油机分别进行了性能试验,试验结果表明：该系统实现了预期的目的：系统人机界面友好,操作简便,具有良好的通用性和实用价值。     

明确要求 把握重点全面提高学生语文素养—五年制小学语文毕业总复习指导

小学语文是义务教育阶段的一门基础学科 ,担负着全面提高学生语文素养的重任。经过五年的学习 ,大多数学生已具备了一定的语文素养 ,但是由于学生的个体差异 ,导致了小学生语文素养的参差不齐。在小学生即将结束小学生活的这段时间里 ,教师有责任集中精力 ,抓住时机 ,系统地引导学生复习小学阶段应掌握的知识 ,最大限度地提高每个学生的语文素养。一、从“标准”入手 ,明确复习的要求学生在毕业时 ,应基本达到《语文课程标准》的要求。复习时 ,教师要根据《语文课程标准》及学生“过程性”的学习情况 ,有针对性地制定出相关的复习要求 ,供学…     

新生一代的劳动结晶——记省勤工俭学展览会少年儿童馆

炎夏方逝,秋风初拂,大地上一片丰收在望的可喜景色。祖国新生一代,含苞待放,正在逐漸成长。他們在党和毛主席的关怀与教导下,在老师的教育下,在生产劳动和学习活动中获得了空前丰收。省勤工俭学展覽会少年儿童館的陈列正是检閱他們的才智和丰碩的劳动成果。少年儿童館共分三个部分:工艺部分陈列有木工、竹工、陶器、編织、刺绣等作品;科学技术部分展出了結合工     

高层语法单位研究的必要性

现代汉语语法研究，已从三级语法单位扩展到五级语法单位，向下，到语素，向上，到句群。然而句群决不是语言的最大单位。往上延伸，还应当有语团、段、节、章、篇等，由十级语法单位构成一个完整的语法“系统工程”。短语以下是语言的备用单位，即初级单位；句、句群、语团是简单的使用单位，即中级单位；段以上是复杂的使用单位，即高级单位。由初级到高级的结构关系的发展是一个从实现关系的逐渐繁化，到组合关系的逐渐繁化的过程，由越级实现的繁化到越级组合的繁化反映了现代汉语各级语法单位由初级到高级结构形式逐渐繁化的趋势，高级语法单位的研究和学习对于语言运用更有意义。