1) Comprehensive revolution

完备型革命
2) Complete Proposional Sets

完备命题集
1.
Maximal Proposional Sets and Complete Proposional Sets in the Classical Proposional Logical Systems
二值命题逻辑中的极大命题集与完备命题集
3) model complete

模型完备
1.
For formalized lattice implication algebra theory T , it is proved that T is preserved under submodels, unions of chains and homomorphisms; T is neither complete nor model complete, and hence there exists no built-in Skolem function.
讨论有关格蕴涵代数结构的模型论性质 ,证明了形式化格蕴涵代数理论T保子模型、保模型链之并、保模型同态 ,理论T不是完备的、也不是模型完备的 ,因而不存在内在Skolem函数。
4) incomplete model

不完备模型
5) complete type series

完备型序列
1.
In this paper,we define the complete type series and study some properties of it.

本文定义了完备型序列,讨论了完备型序列的一些性质。
6) life-type equipment

寿命型设备
1.
Preventive maintenance policy for life-type equipment

寿命型设备的预防维修策略研究
补充资料:《德国的革命和反革命》
《德国的革命和反革命》
Revolution and Counter-Revolution in Germany
比tion 恩阶级年8日一约每匀8 .3之第l对维民议的第主义收入级革分尖起的Deguo de Geming he FQngeming《德国的革命和反革命》(Revoland COunter-Revolurion in German.V)格斯系统总结1848一1849年德国资产革命经验的著作。用英文写干1851月一1852年9月。从1851年10月251852年10月23口,陆续发表在((纽日论坛报》上。全文共19篇,中译文:万字,收入《马克思恩格斯全集》中二版第8卷。其中以“对维也纳的攻击。也纳的背叛”、“普鲁士制宪议会。国会”、“起义”和“小生意人”为标题12、第13、第17、第18篇,系马克思论述武装起义基本思想的重要文献,《马克思恩格斯军事文集》第3卷。 19世纪40年代,德国处于资产阶命的前夜,阶级矛盾和民族矛盾十锐。1845年至1846年间农业歉收所引确。“在一切斗争中,应战的人都有被击败的危险,但这难道能作为不抽刀应战就承认战败、甘受奴役的理由吗?” 革命斗争中某些失败给人的教育比轻易取得的胜利更有价值 1848年春,柏林三月起义取得胜利后,作为革命重要成果的普鲁士制宪议会诞生,并开始了工作。但是,随着巴黎六月起义和维也纳十月起义先后被镇压,普鲁士的封建反动势力也立即发动政变。11月初,普鲁士国王改组政府,并命令反动军阀F.H.E.弗兰格尔率4万军队进逼柏林。当时领导整个革命运动的普鲁士制宪议会,屈服于对方军事压力,未作任何反抗,即遭强令解散。恩格斯认为,任何革命运动的领导者,在对敌斗争中采取这种不作任何抵抗就丢弃自己阵地的做法,是应该受到斥责的。如果议会和人民抵抗,也许会被击败,但这并不能作为他们立即缴械乞降的理由。“顽强奋战后的失败是和轻易获得的胜利具有同样的革命意义的”,因为这种失败在“人民的头脑革命化方面所起的作用”是一般胜利“所不可比拟的”。 革命政党必须熟练掌握武装起义艺术以革命暴力反对反革命暴力,是德国1848~1849年革命的主要表现形式。1848年三月革命的初步胜利到次年7月“维护帝国宪法运动”的最后失败这一年多斗争的历程表明,革命的成败主要取决于武装斗争。该文深刻指出: “运动的每一个地方中心的情况也都是这样。到处问题都争执不下,只有靠武力来解决。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条