排序方式: 共有6条查询结果,搜索用时 93 毫秒
1
1.
当前,受国际经济形势急剧变化的影响.世界航运市场已经出现大幅下滑.国际航运业的“寒意”,传导到造船市场.使得世界造船市场的供求关系已开始从持续多年的“卖方市场“迅速转向“买方市场”。外部经济环境和船舶市场形势的复杂变化.给船舶工业集团当前工作和今后一段时期的发展带来深刻影响。 相似文献
2.
日前,国防科技工业工作会议在京隆重召开。会议全面总结了去年取得的可喜成绩,深入分析了当前面临的宏观形势,全面部署了今年的主要目标任务。正如国防科工局局长许达哲在工作报告中指出的,成绩令人自豪,使命催人奋进。当前摆在我们面前的当务之急就是如何激发上下斗志,凝聚各方力量,全力以赴完成各项艰巨任务。 相似文献
3.
李铁强 《中国人民武装警察部队学院学报》2014,(3):39-42
用真值函项的观点来看待实质蕴涵导致的后果,一是把实质蕴涵的真值与其真假等同起来,二是没有用科学的态度来处理真值函项概念,使得实质蕴涵多样化,即"→"每一次出现代表了不同的实质蕴涵。正因如此,命题推理反例和实质蕴涵怪论才得以产生;而在特定的命题演算系统中消除实质蕴涵怪论的形式途径是取消v+规则。 相似文献
4.
1970年4月24日,我国第一颗人造地球卫星"东方红一 号"飞翔太空,《东方红》乐曲晌遍全球,是中国航天文化的 良好开端,它向全世界宣布中国人造卫星上天了!它如日如 月,流光溢彩,放射出中华民族勤劳勇敢和智慧的光芒!它 是中国人的志气之星!它光鸣电唱,豪情盈宇,邀游苍穹。从 此,东方红卫星成为专有名词,载入了中华民族的史册。 相似文献
5.
研究内置谓词函数依赖及其推理规则.首先提出内置谓词函数依赖,定义了内置谓词函数依赖的语法和语义;其次提出属性-约束集闭包概念,提出计算属性-约束集闭包的算法,判断内置谓词函数依赖逻辑蕴涵;然后提出内置谓词函数依赖的推理规则集A,证明推理规则集A是可靠且完备的,用于内置谓词函数依赖蕴涵分析的形式化证明;最后讨论了内置谓词函数依赖的应用. 相似文献
6.
袁淑萍 《兵团教育学院学报》2007,17(1):84
一、抓好备课环节,挖掘情感因素政治课教材中蕴涵着丰富的情感因素,这就要求教师要全面熟悉教材,深入挖掘教材,教师只有对教材内容有深刻的理解,才能根据不同的教材内容挖掘出情感因素,才能激发学生的学习兴趣,以获取知识,提高能力和觉情,抓好备课,要求教师首先要通读教材,从整 相似文献
1