形式Peano算术的G(o)del不完备性定理的一个简单证明

给出了形式Peano算术的Godel不完备性定理的一个简单证明.     

图的曲面嵌入

提供了曲面的一种多边形表示，它虽然由多面形表示演化而来，但使得图的曲面嵌入的存在性、计数、确定最大亏格等问题变得十分简单。多面形表示源于Heffter^[1],Hilbert和Cohn—Vossen提出过引线问题并将它与Heawood的地图着色猜想联系^[2]，经过近百年直至Ringal等获得证明^[3,4]。Edmonds(1960)^[5]的多面形表示曾被广泛引用．但30余年后，才发现是Heffter的对偶形式。虽然多边形表示始于本文作者的专著^[6,7]，但至今才发现它在处理上述问题的效力。这就导致此文并为过渡到组合地图理论搭起一座桥梁。     

浅谈科技社团在政府职能转换中的定位

加入WTO对科技社团带来了新的机遇和挑战。本文通过对科技社团功能作用及趋势发展面临挑战的分析，说明科技社团的发展在于积极争取政府职能。同时，科技社团只有加强自身建设，抓住机遇，做好承接政府职能转移的大文章，才能增强实力，赢得发展。     

创新思维与新闻写作

创新是新闻写作的生命 ,要实现校报新闻写作的创新 ,就要突破思维定式 ,培养创新思维 ,以创新思维去实践校报新闻内容、新闻形式、新闻语言的创新。     

2个Lucas数乘积和的恒等变换

本文研究2个Lucas数乘积和交换问题,给r次恒等变换公式并给出一些例子。     

浮环密封失效原因分析及处理措施

叙述了离心压缩机浮环密封的结构，原理，分析了浮环密封失效原因。比较了目前常用的3种密封及密封失效处理措施。     

形式Peano算术的Gödel不完备性定理的一个简单证明

给出了形式Peano算术的Godel不完备性定理的一个简单证明.     

英语中表达肯定概念的否定句式

英语中某些否定结构并不表达否定的意义 ,而表达肯定的意义。形式上是否定 ,而实际表达肯定的句子主要包括 :双重否定句和含有一些固定搭配或短语的句子 ,其作用是 :一、调节语气的强弱A .双重否定英语中最常见的双重否定形式是 :(1)否定词和without连用 ,(2 )否定词和fail,refuse ,deny等具有否定意义的词连用。双重否定是一种富有修辞作用的语法结构 ,它可以加强语气 ,起到强调的作用 ;也可以减弱语气 ,使之变得含蓄委婉。英语中的双重否定句可根据语气的强弱翻译成汉语的双重否定句或肯定句。例如 :1.Therenolawthathasnoexceptions.凡…     

高职高专仪器分析课程教学改革的思考与实践

针对高职高专<仪器分析>课程教学现状与存在问题提出教学形式、教学内容改革方法,介绍多媒体课件制作及在教学实践中使用的一些体会.     

《吕氏春秋》的反问句研究

在穷尽考察《吕氏春秋》疑问句的基础上，对其中的反问句从形式特征、语义模式和语用功能三个方面进行描写和阐释，着重揭示不同形式的反问句的语义蕴涵和语义模式。认为《吕氏春秋》中反映出来的反问句无论是在形式上还是在功能上都已经十分接近现代汉语的反问句状态。