《逻辑和证明》PPT课件

- 第二章 逻辑和证明 - 数理逻辑：用数学的方法研究逻辑推理数理逻辑的目标：逻辑推理机械（演算）化数理逻辑的基本方法：符号化德国数学家、哲学家莱布尼兹是公认的数理逻辑的创始人数