清华大学846运筹学历年考研试题

如果我们把命题看作运算的对象，如同代数中的数字、字母或代数式，而把逻辑连接词 看作运算符号，就象代数中的“加、减、乘、除”那样，那么由简单命题组成复和命题的过程， 就可以当作逻辑运算的过程，也就是命题的演算。
这样的逻辑运算也同代数运算一样具有一定的性质，满足一定的运算规律。例如满足交 换律、结合律、分配律，同时也满足逻辑上的同一律、吸收律、双否定律、狄摩根定律、三 段论定律等等。利用这些定律，我们可以进行逻辑推理，可以简化复和命题，可以推证两个 复合命题是不是等价，也就是它们的真值表是不是完全相同等等。
清华大学考研参考书目
科目名称
参考书
出版社
《西方现代景观设计 中国建筑工业出版社
的理论与实践》
《图解人类景观—环
335 风景园林基础
同济大学出版社
境塑造史论》
342 建筑学基础
《中国古典园林史》（第 清华大学出版社
三版）
《中国城市建设史》 中国建筑工业出版社
《外国城市建设史》 中国建筑工业出版社
《中国古代建筑史》 中国建筑工业出版社
清华大学 894 数理逻辑考研参考书目、考研真题、复试分数 线
894 数理逻辑课程介绍
数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。 是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行 符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻 辑两字，但并不属于单纯逻辑学范畴。
命题涵项就是指除了含有常项以外还含有变项的逻辑公式。常项是指一些确定的对象或 者确定的属性和关系；变项是指一定范围内的任何一个，这个范围叫做变项的变域。命题涵 项和命题演算不同，它无所谓真和假。如果以一定的对象概念代替变项，那么命题涵项就成 为真的或假的命题了。

0 X 5 1 /5 -2 /5 -1 /5
0 X5 1/5 -2/5 -1/5
b 2/5 11/5
0 -4+Δc3 X3 X4 -1/5 -2/5 7/5 -1/5 -9/5+Δc3 -8/5
CI CB -3 -2
XB X2 X1 σj
b 2/5 11/5
-2 X1 0 1 0
-3 X2 1 0 0
（2）二阶段法
两阶段法它是将加入人工变量后的线性规划 问题分成两阶段求解。 问题分成两阶段求解。 第一阶段：先求解一个目标函数中只含有人 第一阶段：先求解一个目标函数中只含有人 工变量的线性规划问题 的线性规划问题。 工变量的线性规划问题。 第二阶段：从第一阶段的最终单纯形表出发， 第二阶段：从第一阶段的最终单纯形表出发， 去掉人工变量，按原问题的目标函数， 去掉人工变量，按原问题的目标函数，继续寻 找原问题的最优解。 找原问题的最优解。
则当前解为最优解（ （2）若检验数 ） σ ≥ 则当前解为最优解（当 0, 前解是基变量取相应的资源常数b 前解是基变量取相应的资源常数b，非基变量 取为零）；若存在检验数 σ < 0 ，则要进行 取为零）；若存在检验数 ）； 相应的换基， 迭代； 相应的换基，即：迭代；
（3）迭代计算 ） 进基：确定换入基的变量： ①进基：确定换入基的变量： σ k = max{σ j | σ j > 0} ②出基：确定换出变量，由下面的关系确定： 出基：确定换出变量，由下面的关系确定：
cj XB x3 x1 x2
b 25 35 10
5 x1 0 1 0 0
c2 x2 0 0 1 0
0 x3 1 0 0 0
0 x4 2 1 -1 c2 - 5
0 x5 -5 -1 2 5 - 2c2

三版）
作者
王向荣
[英]杰弗瑞·杰里柯//苏 珊杰·里柯 译者：刘滨 谊
周维权
董鉴泓，主编 沈玉麟，编 刘敦祯 潘谷西 陈志华 罗小未 高等艺术院校《艺术概 论》出版组 王朝闻主编 董鉴泓，主编 沈玉麟，编
王向荣
[英]杰弗瑞·杰里柯//苏 珊杰·里柯 译者：刘滨 谊
周维权
专注清华大学考研辅导
第一册至四册
张三慧
《无机化学》(上下册) 高等教育出版社，2004
宋天佑，程鹏，王杏乔
《基础有机化学》(第 高等教育出版社,2005
三版)(上下册)
邢其毅主编
《分析化学》（第二版）清华大学出版社，1994
薛华等
605 综合化学
《仪器分析》（第 2 版）清华大学出版社，2002
刘密新等
《高分子化学》(第四 化工出版社
华夏出版社
迈克尔·罗斯金等
609 政治学概论 《比较政治制度》 高等教育出版社
曹沛霖等
《国际关系分析》 北京大学出版社
阎学通
《社会学（第 10 版）》中国人民大学出版社 1999 年版
波普诺
610 社会学理论
《社会学理论的结构》 华夏出版社 2001 年版
（上下册）
乔纳森·特纳
鹭江出版社 中国友谊出版公司 社会
郭镇之
623 药理学综合 《药理学》第六版 人民卫生出版社
杨宝峰
《中国古代音乐史》 人民音乐出版社
杨荫浏著
630 中西音乐史 《中国近现代音乐史》高等教育出版社
汪毓和编著
《西方音乐通史》 上海音乐出版社
于润洋主编
《西方现代艺术史》 天津人民美术出版社 801 中西方美术史
H-阿拉森著，邹德侬等 译

x1 1/5
x3 8/5
x6
4
-27/5
1 1/5 0 0 3/5 0 01 1 0 -7/5 0
3/5 -1/5 0 -1/5 2/5 0 -1 0 1 -6/5 -3/5 0
最优解为(1/5,0,8/5,0,0,4)T Ζ max =27/5
例2.max Ζ=3x1+2x1+x3-x4
s.t.5x1+3xx21++22xx32+x3
P4 d1- 6 0 0 -1 1 -3/2 3/2 1/4 -1/4 0 0
0 x2 8 0 1 0 0 -1 1 0 0 0 0 0 x1- 3 1 0 0 0 3/2 -3/2 -1/4 1/4 0 0 P3 d4- 72 0 0 0 0 0 0 3 -3 -1 1
P1 0 0 1 0 1 1/2 0 0 0 0
2020/1/2
6
Max W’ = -30y1- 60y2 - 24y3 +0(y4 + y5 )-M (y6 + y7 ) y1+3y2 + 0y3 – y4 + y6 = 40
s.t 2y1+2y2 + 2y3 – y5 + y7 = 50 y1 , y2 , y3 , y4 , y5 0
cj
根据松紧定理，原问题的最优解必满足
ŶXS=0 及YSX=0^
x5 (y1,y2) x6 =0
x1
及 (y3,y4,y5,y6)
x=20 x3
x4
将y1=1.2,y2=0.2代入对偶问题的约束条件， 得 y3≠0,y4≠0,所以x1=x2=0
又因y1>0,y2>0。所以x5=x6=0，即原问题 为等式约束