MP＊中的等值完全析取范式

讨论中介逻辑命题演算扩张系统ＭＰ＊中在等值意义下的完全析取范式的存在性和唯一性。引入ＭＰ＊中等值全板范式的概念,并用分步构造法证明这种范式在等值意义下是存在的,且是唯一的。     

网络时代如何实现航空公司品牌传播的有效性

亚里士多德早在2300年前就指出：判断传播是否有效的一个基本原则就是其是否具有说服力。而要想实现最佳的说服力，必须要具备几个条件，即传播者的品德、贴近听众的需求、引起听众动情的传播方式以及和论点相关的真理或逻辑证明。如果从航空公司品牌传播的角度出发，这几个条件正代表了产品或服务的品质、以顾客需求为导向的原则、有效的传播方式以及信息的真实性和透明度。     

符号和逻辑——李约瑟难题的解答

英国剑桥大学中国科学史学家李约瑟，一生投身于研究中国古代科学技术发展史，写出了巨著《中国科学技术史》。令李约瑟困惑不解的是，中国古代创造出了杰出的技术成就，但是，为什么近代科学没有在中国起源？这一问题被中国学术界称为李约瑟难题。     

逻辑分析仪在机载电子设备修理中的运用

介绍了逻辑分析仪在总线数据测试中的优势,结合修理中使用逻辑分析仪解决的具体故障案例,进一步阐述了逻辑分析仪运用于机载电子设备修理中所能提供的帮助.     

高数教学中“数形之美”

数形结合是数学中数学表达式与几何图形相结合的过程,数学美是于抽象的数学逻辑之中暗含的规律美。在高数教学中,穿梭于数学严密的抽象思维之间,也不乏深深地体味着数形结合带给我们的美感。当思维凝聚一点,数学的亲切的、美丽的东西与你很接近,象老朋友的悄悄话,有待我们细细品尝,甜甜回味。     

智能逻辑分析仪显示部分的硬件与软件支持

阐述我们研制的智能逻辑分析仪的显示部分的硬件与软件支持。该部分主要采用大规模集成电路M6845P(即CRTC)芯片,使得仪器电路简单,功能丰富,可以控制显示波形及数据,并用二进制、八进制、十六进制显示数据,同时还可用汉字显示工作清单。当在微机部分控制下数据采集结束后,通过编程将显示方式置入M6845P内部的寄存器中,然后CRTC即可脱机运行,以各种方式显示采集的数据及波形。此外,还介绍了该部分的软件的主程序及中断处理子程序。     

军用装备大规模可编程逻辑器件设计计价方法

大规模逻辑编程器件已在军用装备中得到了广泛应用,但目前为止国家还没有相关文件和标准明确其价格评估.长此以往对军用装备的质量必将产生一些不利影响.同时,缺乏科学成本预测工具和价格审核手段的现状,对装备经费资源也会造成很大浪费.根据实际工作经验,分析了影响大规模逻辑编程器件设计价格的主要因素和注意事项,提出了一套大规模逻辑编程的新评估计价方法.     

可编程器件的VHDL设计

新型的可编程逻辑器件（ＰＬＤ）已经显著改变了数字系统的设计过程，且超高速集成电路硬件描述语言（ＶＨＤＬ）在设计流程中的作用日益显著，简要讨论在ＰＬＤ的ＶＨＤＬ设计中的一些注意事项，以期提高ＶＨＤＬ编码的效率和精确度。     

论企业财务目标的特点及建立基础

建立财务目标是企业财务管理首要环节，长期以来，人们更多地从纵向角度关注企业财务目标的演进，分析每一种演进的意义。本文试从横向角度阐述财务目标与其财务管理活动相比较布存在的各种特点，结果财务目标的理论意义、历史沿革、现实环境和内在逻辑因素提出其建立基础，旨在从理论和实务上更为有效、快速地确立财务目标。     

达尔文的错误还要继续多久

达尔文在100余年前提出的进化理论,仅仅是一种局部适用生物演变的进化理论,而不是一种完整的进化理论,因为它存在着许多重大的理论缺陷和逻辑悖论.例如,它把自然选择与人工选择割裂开来,它拒绝讨论智力起源问题,它完全排除智力因素在生物进化过程中的作用,它过度强调生存竞争而严重忽视生存合作.