命题逻辑的理想形式系统

以双否律、交换律、结合律、分配律和吸真律为公理,仅用等值置换作推理规则,建立了命题逻辑形式系统E。给出了内定理证明的普遍能行方法和十个基本定理的形式证明。提出理想形式不仅仅公理应具有一致性、独立性、完备性,而且推理规则应具有保真性、可信性、能行性。论证了E是理想形式系统。     

国营汉丹电器厂简介

国营汉丹电器厂始建于1965年,位于历史名城襄樊市。工厂占地面积20万平方米,资产总额10263万元,现有职工800余人,其中各类专业人员400余人,5人享受国务院政府津贴,2人享受湖北省政府津贴。拥有各类加工检测设备1200多套,主要从事精密机械加工、精密机械装配、电子加工和电子装配。工厂质保体系完整,1999年既通过GJB9001质量体系认证,2005年将取得保密认证资格。     

资讯——地方科工委（办）

河南省国防科工委举办普通密码通信培训班,黑龙江国防科工办局域网建设受到表扬,湖北省国防科工办大力推进军工企业改革脱困工作,湖南省国防科工办对省属军工企业改革工作提出要求,天津军工全面推动保密资格认证工作     

保密不仅仅是军人的事

“什么事，为什么抓我？”一名“军事迷”对着几张陌生而严肃的面孔嚷道。     

善于“形成自己的”

有句话说得好：“吃透上级的,了解基层的,借鉴他人的,形成自己的。”这句话既是前人工作经验的总结,也被实践证明是行之有效的工作方法。细细分辨,重要的是第四项“形成自己的东西”。     

资讯

涉密信息系统安全保密测评中心系统测评(国防科工委)分中心成立5月14日,国家保密局涉密信息系统安全保密测评中心系统测评(国防科工委)分中心顺利通过了国家保密局涉密信息系统安全保密测评中心检查评审,并于5月23日在北京举行了授牌仪     

贵州军工企业技术中心建设成绩显著

9月26日至28日，国防科工委在北京召开高温气冷堆重大专项专家会议，审查高温气冷堆重大专项总体实施方案及有关文件。国防科工委副主任、大型先进压水堆及高温气冷堆核电站重大专项领导小组副组长孙勤作重要讲话。     

福建工办举夯科技创新与人才工作论坛

2006年12月21日．国防科技工业保密资格审查认证中心在京举行了揭牌仪式。     

《武警学院学报》征稿简则

《武警学院学报》学术理论性强,特色鲜明,读者面广,选稿用稿公平公正,刊发文章的下载率、引用率、转载率高,具有较高的知名度和广泛的影响力。常年开设:边防研究、警卫研究、维和研究、执法研究、反恐处突研究、教育训练研究、思想政治工作研究、部队建设研究;消防理论研究、灭火救援技术、火灾预防、消防安全评价、火灾调查、消防监督管理等栏目,热诚欢迎各界专家学者惠赐佳作!     

严防网络泄密

随着网络技术的迅猛发展,隐蔽战线的斗争更加尖锐复杂,网络窃密已成为敌对势力获取我军情报的重要来源,严重地威胁着部队的自身安全。抓好网络的管理使用,防止网络泄密,应注意把握好以下几个问题: