数理逻辑课件 第0节 绪论.pptVIP

三、数理逻辑的研究方法 形式语言 对象语言 用符号构成的公式来代替自然语言中的命题 符号构成的公式能精确的表示命题的逻辑形式 语义：符号，公式的含义 语法：由符号构成的公式的形状和语法结构 自然语言 元语言 四、数理逻辑的研究语言 使用两种语言：对象语言、元语言 对象语言：被研究对象的语言称为对象语言，如我们通常所说的英语学习中的英语就是对象语言；元语言：用以研究研究对象的语言称为元语言，如用以研究英语语言的汉语。 数理逻辑是一个学科，作为一个学科，它是数学学科的一个分支，也是逻辑学的一个分支 * * * * * * * * * * 数理逻辑讲义 哈工大计算机学院软件与理论教研室 授课简介： 授课方式：课堂讲授授课时间：6-13周（32学时） 周三第二大节 周五第一大节授课地点：M303 授课简介： 考核方式： 平时20%（作业，课堂测验） 考试80%（闭卷） 平时要求： 作业使用单页纸，于下次课前由课代表收齐上交（排序）； 课堂测验当堂上交； 教材： 面向计算机科学的数理逻辑——系统建模与推理 Michael Huth Mark Ryan 机械工业出版社 参考教材： 1）离散数学（第2版），屈婉玲等，