一个很好的数理逻辑教程ppt

【文件属性】：

文件名称：一个很好的数理逻辑教程ppt

文件大小：377KB

文件格式：PPT

更新时间：2013-02-16 13:44:57

数理逻辑

逻辑学（ logic ） 是一门研究思维形式及思维规律的科学。数理逻辑（mathematical logic)是用数学的方法来研究人类推理过程的一门数学学科。其显著特征是符号化和形式化，即把逻辑所涉及的“概念、判断、推理”用符号来表示，用公理体系来刻划, 并基于符号串形式的演算来描述推理过程的一般规律。 数理逻辑又称符号逻辑、现代逻辑。