离散数学第二章.pdfVIP

逻辑与推理密切相关，主要是为论证的有效 性提供证明和技巧。它与许多学科有广泛的 联系。如，与数学的交叉， 数理逻辑，与计算机科学的交叉，计算复杂 性与机器证明，人工智能的交叉，精确推理 与不精确推理，这些广泛的联系，日益显示 其重要作用。 德国哲学家、数学家莱布尼茨是数理逻辑的 创始人，至今有300多年的历史。大约经历三 个阶段。 1．初始阶段，用数学方法研究和处理形式逻 辑，英国的布尔(Boole)，德.摩根(De Morgan)等人，逻辑代数和布尔代数； 2．研究数学思想方法和数学基础问题。集合 论的创建(康托)，公理方法的