【合集】离散数学课件.zip

离散数学实验一 命题逻辑
1.【实验目的】
加深对五个基本联结词（否定、合取、析取、条件、双条件）的理解、掌握利用基本等价公式化简公式的方法。
2.【实验内容】
用化简命题逻辑公式的方法设计一个表决开关电路。
4.【实验要求】
通过以下界面提示实现相应逻辑运算，给出具体逻辑值。
-----------------------------------------------------------------------------------
请输入5位董事（分别用A、B、C、D、E表示）的表决值（1或0）：
A董事表决值（1或0）：
B董事表决值（1或0）：
C董事表决值（1或0）：
D董事表决值（1或0）：
E董事表决值（1或0）：
出结果/继续/结束（y/c/exit）：
-----------------------------------------------------------------------------------
5．【算法描述】
（1）某公司董事会由5个董事组成，公司要求对某项决策进行投票表决，只要半数（3位董事）以上都同意（用1表示同意，用0表示不同意）决策通过，否则不通过。试写出5位董事表决的命题公式（提示：列出表决开关电路真值表，从真值表得出5人表决开关电路的主合取范式（或主析取范式），将公式化简成尽可能含五个基本联结词最少的等价公式）。
（2）上面公式中的每一个联结词是一个开关元件，将它们定义成X（C语言等）中的函数。
（3）输入5人表决值（同意为1，不同意为0），调用上面定义的函数，将5人表决开关电路真值表的等价公式写成一个函数表达式。
（4）输出函数表达式的结果，如果是1，则表明表决通过，否则表决不通过。
6.【参考实例】
?url=AZ1xm8BkXi2J2cQNsKwGqaGUgXqkCZWOBlHl_L052LccU5NgL2n_B6YXqq4sNRi7REA5E3Z-fU8E4BnsIAaFO7WLsTUVATM0mhdVPrECY8_
数理逻辑在计算机中的应用
摘要：本文简要介绍了数理逻辑的基本思想和特点，数理逻辑思想在计算机科学领域中应用，数理逻辑所采用的计算机研究方法，以及考虑问题的思维模式对计算机科学发展带来的启迪。
关键字：数理逻辑、计算机、应用
1 数理逻辑的概念
数理逻辑的产生
    数理逻辑又称符号逻辑、理论逻辑，它既是数学的一个分支，又是逻辑学的一个分支，是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统，数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。
用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨，他认为经典的传统逻辑必须改造和发展，使之更精确和便于演算。后人基本是沿着莱布尼茨的思想进行工作的。简而言之，数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。新的时代将是数学大发展的时代，而数理逻辑在其中将会起到很关键的作用。利用计算的方法来代替人们思维中的