[理学]离散数学教案3

- 数理逻辑（Mathematical Logic） ——是研究演绎推理的一门学科，用数学的方法来研究推理的规律统称为数理逻辑。 - 第二篇 数理逻辑