论文部分内容阅读
本文简单介绍了命题逻辑,一阶谓词逻辑,二阶逻辑,模态逻辑,时序逻辑,动态逻辑,模糊逻辑,非单调逻辑,组合逻辑及λ-演算等,讨论了它们之间的相互联系及各自在计算机科学,特别是在人工智能领域中的应用。
逻辑学在计算机科学中的应用
【摘 要】
：
本文简单介绍了命题逻辑,一阶谓词逻辑,二阶逻辑,模态逻辑,时序逻辑,动态逻辑,模糊逻辑,非单调逻辑,组合逻辑及λ-演算等,讨论了它们之间的相互联系及各自在计算机科学,特别
【机 构】
：
河北大学电子系
【出 处】
：
河北大学学报：自然科学版
【发表日期】
：
1991年2期
其他文献
BD－2编码多路对讲机，是在BD－1的基础上，设计出来的，采用集成电路做为音频功放，对编码及检测电路做了进一步的完善工作，使整机工作更加可靠。
本文以AlCl<sub>3</sub>和Na<sub>2</sub>SiO<sub>3</sub>分别作为铝源和硅源。化学分析表明物体组成为:Al:P:Si=1:l:l（摩尔比）。化学式为Al（SiO<sub>2</sub>）PO<sub>4</sub>
本文主要介绍了作者在核电压力容器堆焊层超声检测的实际工作中的一些体会，探讨了探头的选择、扫查重复率等因素对检测的影响，并针对核电产品的特殊性和大面积堆焊层超声检测的
行政事业单位国有资产是指由行政、事业单位占有、使用的，依法确认为国家所有，能以货币计量的各种经济资源的总称，是国有资产的重要组成部分，是行政事业单位履行职能的物质基础，是
目的：了解门诊患者的用药咨询情况，以提高药房的药学服务水平。方法：选取北京市复兴医院2006年3月门诊220名患者的门诊咨询记录，对患者的咨询内容进行统计。结果：35．3％的患者咨询药
目的：监测2008年南昌大学第一附属医院临床分离菌的分布和耐药特征，为临床合理使用抗菌药物提供依据。方法采用全自动微生物分析系统VITEC 2-COMPACT及配套试剂对全年临床分离
本文研究了2M_(ev)高能电子对中小功率双极型晶体管h_(FE)的影响,实验得到了h_(FE)与辐照剂量、热、电处理的关系,提出了一种可行的辅助控制h_(FE)技术。
国际排联对排球规则进行了重大修改,其中包括队员可以用脚踢球.本文对排球规则的这一修改进行了分析研究,并提出了脚踢球在实践中的应用范围和具体运用方法,对排球防守训练具