论文部分内容阅读
命题逻辑是一个以命题为基本研究对象的数学化的逻辑系统，命题逻辑是数理逻辑的基础，也是计算机科学与技术的理论基础。为了深入理解命题逻辑，将命题逻辑与一般的代数学进行比较，从6个方面简要总结和论述命题逻辑中代数学的一些思想和方法，使得读者能从中体会到代数学的一些思想和方法在命题逻辑中的应用。
命题逻辑中代数学的影子
【摘 要】
：
命题逻辑是一个以命题为基本研究对象的数学化的逻辑系统，命题逻辑是数理逻辑的基础，也是计算机科学与技术的理论基础。为了深入理解命题逻辑，将命题逻辑与一般的代数学进行比较
【机 构】
：
陕西纺织服装职业技术学院
【出 处】
：
现代电子技术
【发表日期】
：
2008年4期
其他文献
《现代汉语词典》自问世以来受到社会各界的好评,其中关于单音词编纂问题的讨论至今众说纷纭,莫衷一是。现从现代汉语单音词的特殊性、《现汉》单音词编纂过程中存在的少数释
烟花三月,春满江南。为推动我国药学典型病案的讨论与交流,促进临床药师深入临床,更好地为临床服务,以提高药物治疗疗效与降低药品不良反应,由中国药房杂志社主办,解放军第41
目的：为完善基本药物的电子监管制度提供参考。方法：介绍电子监管的优势，分析电子监管运用在基本药物制度中的必要性，浅议在实施过程中所遇到的障碍，并从完善相关法律法规、电子监
目的：对现有格式不统一、表达方式多样的药品规格进行标准化,使规格数据表达更完整、简洁,以便更高效、合理地利用。方法：针对现有药品说明书及其他药品信息中药品规格的具体表
分析现有人工抄表方式及已有水表自动抄表系统存在的问题，提出一种低成本的基于视觉技术的指针式水表远传抄表系统的设计方案。该系统平时不需要供电，只是在抄表时才临时提供电
作为美国当代最主要的女性主义理论家之一,贝尔·胡克斯的思想早已经突破了单纯的女性主义理论范畴,进入到了政治、文化批评这一更广泛的领域中来。以胡克斯独特的批评语
目的：了解社会、经济变革对药学发展的影响。方法：结合笔者实践经验，介绍药学领域发生的特殊变化。结果与结论：随着信息技术的发展，人们更需要获得与现状匹配的高质量的药学服务。
利用电压型变频调速系统的基本原理，对滤波电容参数进行计算和正确选择，打破了传统传动系统中工程人员的经验公式，引入逆变器开关策略和负荷特性进行计算，导出电容在工作过程中充
为了提高家居的智能化水平，给出一种基于S3C44BOX芯片和蓝牙通信技术的智能家居控制器的硬件设计和软件设计。该系统主要由存储器系统、以太网接口、蓝牙通信模块、温度检测和