有序整数集合a与b交集函数.docVIP

离散数学 期中课程设计作业 班级： 09计算机班 组员： 梁新新 数理逻辑的应用 参考文献： [1]离散数学???耿素云、屈婉玲、张立昂编著《清华大学出版社》 [2]离散数学及其应用??[美]Kenneth H.Rosen著《机械工业出版社》 [3]?/gxlw/index.html??亚洲论文网 [4] 论文网 [5] 中国论文下载中心 [6] 中国知网 [摘要]离散数学是计算机科学的基础,我们计算机专业的学生学习离散数学是有其现实意义的,可以说它是构筑在数学和计算机科学之间的桥梁，对它的研究离不开数理逻辑。数理逻辑是用数学的方法来研究推理的形式结构和推理规律的数学学科。它与数学的其它分支、计算机科学、人工智能、语言学等学科均有密切的联系，并且日益显示它的重要作用和更加广泛的应用前景。数理逻辑的应用十分广泛，本文主要研究其在逻辑门电路设计、布尔查询、计算机程序中的应用。 关键字：数理逻辑；逻辑门；电路设计；布尔逻辑；计算机程序 1、什么是数理逻辑 1.1数理逻辑的概念 数理逻辑又称符号逻辑、理论逻辑。它是数学的一个分支，是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。所谓数学