清华大学894数理逻辑考研参考书目、考研真题、复试分数线(精)

北京大学出版社 上海科学技术出版社
张筑生 周民强，方企勤
604 普通物理
《大学物理》(第二版) 清华大学出版社
第一册至四册
张三慧
《无机化学》(上下册) 高等教育出版社，2004
宋天佑，程鹏，王杏乔
《基础有机化学》(第 高等教育出版社,2005
三版)(上下册)
邢其毅主编
《分析化学》（第二版）清华大学出版社，1994
逻辑是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建的。 用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。
数理逻辑包括哪些内容呢？这里我们先介绍它的两个最基本的也是最重要的组成部分， 就是“命题演算”和“谓词演算”。
命题演算是研究关于命题如何通过一些逻辑连接词构成更复杂的命题以及逻辑推理的 方法。命题是指具有具体意义的又能判断它是真还是假的句子。
清华大学 894 数理逻辑考研参考书目、考研真题、复试分数 线
894 数理逻辑课程介绍
数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。 是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行 符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻 辑两字，但并不属于单纯逻辑学范畴。
命题演算的一个具体模型就是逻辑代数。逻辑代数也叫做开关代数，它的基本运算是逻 辑加、逻辑乘和逻辑非，也就是命题演算中的“或”、“与”、“非”，运算对象只有两个数 0 和 1，相当于命题演算中的“真”和“假”。
逻辑代数的运算特点如同电路分析中的开和关、高电位和低电位、导电和截止等现象完 全一样，都只有两种不同的状态，因此，它在电路分析中得到广泛的应用。
所谓数学方法就是指数学采用的一般方法，包括使用符号和公式，已有的数学成果和方 法，特别是使用形式的公理方法。
用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨，他认为经典的传统逻辑必须改 造和发展，使之更为精确和便于演算。后人基本是沿着莱布尼茨的思想进行工作的。
简而言之，数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。新 的时代将是数学大发展的时代，而数理逻辑在其中将会起到很关键的作用。
《中国建筑史》
中国建筑工业出版社
《外国建筑史》
中国建筑工业出版社
《外国近现代建筑史》中国建筑工业出版社
601 艺术概论
《艺术概论》
文化艺术出版社
《美学概论》
人民出版社
《中国城市建设史》 中国建筑工业出版社
《外国城市建设史》 中国建筑工业出版社
《西方现代景观设计
602 (建筑/城市、景
中国建筑工业出版社
《科学技术概论 》（第
608 科学技术概论
高等教育出版社 2006
二版）
胡显章、曾国屏主编； 李正风主持修订
《政治科学》
华夏出版社
迈克尔·罗斯金等
609 政治学概论 《比较政治制度》 高等教育出版社
曹沛霖等
《国际关系分析》 北京大学出版社
阎学通
《社会学（第 10 版）》中国人民大学出版社 1999 年版
专注清华大学考研辅导 www.ssqbedu.com
利用电子元件可以组成相当于逻辑加、逻辑乘和逻辑非的门电路，就是逻辑元件。还能 把简单的逻辑元件组成各种逻辑网络，这样任何复杂的逻辑关系都可以有逻辑元件经过适当 的组合来实现，从而使电子元件具有逻辑判断的功能。因此，在自动控制方面有重要的应用。
谓词演算也叫做命题涵项演算。在谓词演算里，把命题的内部结构分析成具有主词和谓 词的逻辑形式，由命题涵项、逻辑连接词和量词构成命题，然后研究这样的命题之间的逻辑 推理关系。
命题涵项就是指除了含有常项以外还含有变项的逻辑公式。常项是指一些确定的对象或 者确定的属性和关系；变项是指一定范围内的任何一个，这个范围叫做变项的变域。命题涵 项和命题演算不同，它无所谓真和假。如果以一定的对象概念代替变项，那么命题涵项就成 为真的或假的命题了。
命题涵项加上全称量词或者存在量词，那么它就成为全称命题或者特称命题了。
王向荣
[英]杰弗瑞·杰里柯//苏 珊杰·里柯 译者：刘滨 谊
《中国古典园林史》（第 清华大学出版社
三版）
周维权
《中国古代建筑史》 中国建筑工业出版社
刘敦祯
《中国建筑史》
中国建筑工业出版社
潘谷西
《外国建筑史》
中国建筑工业出版社
ຫໍສະໝຸດ Baidu
陈志华
《外国近现代建筑史》中国建筑工业出版社
罗小未
603 数学分析
《数学分析新讲》 《数学分析》
的理论与实践》
观)历史
《图解人类景观—环 同济大学出版社
境塑造史论》
专注清华大学考研辅导 www.ssqbedu.com
作者
王向荣
[英]杰弗瑞·杰里柯//苏 珊杰·里柯 译者：刘滨 谊
周维权
董鉴泓，主编 沈玉麟，编 刘敦祯 潘谷西 陈志华 罗小未 高等艺术院校《艺术概 论》出版组 王朝闻主编 董鉴泓，主编 沈玉麟，编
清华大学考研参考书目
科目名称
参考书
出版社
《西方现代景观设计 中国建筑工业出版社
的理论与实践》
《图解人类景观—环
335 风景园林基础
同济大学出版社
境塑造史论》
342 建筑学基础
《中国古典园林史》（第 清华大学出版社
三版）
《中国城市建设史》 中国建筑工业出版社
《外国城市建设史》 中国建筑工业出版社
《中国古代建筑史》 中国建筑工业出版社
如果我们把命题看作运算的对象，如同代数中的数字、字母或代数式，而把逻辑连接词 看作运算符号，就象代数中的“加、减、乘、除”那样，那么由简单命题组成复和命题的过程， 就可以当作逻辑运算的过程，也就是命题的演算。
这样的逻辑运算也同代数运算一样具有一定的性质，满足一定的运算规律。例如满足交 换律、结合律、分配律，同时也满足逻辑上的同一律、吸收律、双否定律、狄摩根定律、三 段论定律等等。利用这些定律，我们可以进行逻辑推理，可以简化复和命题，可以推证两个 复合命题是不是等价，也就是它们的真值表是不是完全相同等等。
薛华等
605 综合化学
《仪器分析》（第 2 版）清华大学出版社，2002
刘密新等
《高分子化学》(第四 化工出版社
版)
潘祖仁主编
《高分子物理》(第三 复旦大学出版社
版)
何曼君等
606 生物学
《基础生命科学》 高等教育出版社 第二版
吴庆余
607 西方哲学史 《西方哲学简史》 北京大学出版社 2002
赵敦华