5-谓词逻辑等值与推理演算 [兼容模式]_826003592201611217520768
工程测量课后作业答案
《工程测量》第二阶段离线作业 一、填空题： 1.标准方向线的种类有(真子午线方向)、(磁子午线方向)、(坐标纵轴方向)。（第四章，第三节） 2.在倾斜地面进行丈量水平距离的方法有（平量）法、（斜量）法。（第四章，第一节） 3.从（直线起点的标准方向北端起）顺时针方向量至该直线的水平夹角称为该直线的坐标方位角。（第四章，第三节） 4.直线的象限角是指直线与标准方向的北端或南端所夹的（锐）角，并要标出所在象限角。（第四章，第三节） 5.某直线的反方位角为123°20'，则它的方位角为（303°20'），象限角为（）。（第四章，第三节） 6.测量误差是由于(测量仪器和工具)、（观测者）、（外界条件的影响）三方面的原因产生的。（第五章，第一节） 7.独立观测值的中误差和函数的中误差之间的关系，称为(误差传播定律)。（第五章，第一节） 8.某线段长度为300m,相对误差为1/3200,则该线段中误差为(9.4mm )。（第五章，第二节） 9.设观测一个角度的中误差为±8″，则三角形内角和的中误差应为(±13.856″)。（第五章，第三节） 10.根据保存时间的长短，水准点可分为（临时性标志）和（永久性标志）二种。（第五章，第四节） 二、选择题： 1.距离丈量的结果是求得两点间的（B）。（第四章，第一节） A.斜线距离； B.水平距离； C.折线距离 2．用钢尺丈量平坦地面两点间平距的公式是（A）（第四章，第一节） A、D＝nl+q B、D=Kl C、D=nl 3.坐标方位角是以（C）为标准方向，顺时针转动到测线的夹角。（第四章，第三节） A.真子午线方向； B.磁子午线方向； C.坐标纵轴方向 4.（ C ）是由标准方向线的北端开始顺时针旋转到该直线所夹的水平角。（第四章，第三
离散数学作业答案
离散数学作业7 离散数学数理逻辑部分形成性考核书面作业 本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外）安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握。本次形考书面作业是第三次作业，大家要认真及时地完成数理逻辑部分的综合练习作业。 要求：将此作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，要求2010年12月19日前完成并上交任课教师（不收电子稿）。并在07任务界面下方点击“保存”和“交卷”按钮，以便教师评分。 一、填空题 1．命题公式()P Q P →∨的真值是 1 ． 2．设P ：他生病了，Q ：他出差了．R ：我同意他不参加学习. 则命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为 (PQ)R ． 3．含有三个命题变项P ，Q ，R 的命题公式PQ 的主析取范式是 (PQR) (PQR) ． 4．设P(x)：x 是人，Q(x)：x 去上课，则命题“有人去上课．” 可符号化为 (x)(P(x) →Q(x)) ． 5．设个体域D ＝{a, b},那么谓词公式)()(y yB x xA ?∨?消去量词后的等值式为 (A(a) A(b)) (B(a) B(b)) ． 6．设个体域D ＝{1, 2, 3}，A(x)为“x 大于3”，则谓词公式(x)A(x) 的真值为 ． 7．谓词命题公式(x)((A(x)B(x)) C(y))中的自由变元为 ． 8．谓词命题公式(x)(P(x) Q(x) R(x ，y))中的约束变元为 X ． 三、公式翻译题 1．请将语句“今天是天晴”翻译成命题公式． 1．解：设P ：今天是天晴； 则 P ． 2．请将语句“小王去旅游，小李也去旅游．”翻译成命题公式． 解：设P ：小王去旅游，Q ：小李去旅游， 则 PQ ． 3．请将语句“如果明天天下雪，那么我就去滑雪”翻译成命题公式． 解：设P:明天天下雪 。 Q:我去滑雪 则 P Q ． 4．请将语句“他去旅游，仅当他有时间．”翻译成命题公式． 7．解：设 P ：他去旅游，Q ：他有时间， 则 P Q ． 5．请将语句 “有人不去工作”翻译成谓词公式． 11．解：设P(x)：x 是人，Q(x)：x 去工作，
谓词逻辑习题及答案
谓词逻辑习题 1. 将下列命题用谓词符号化。 （1）小王学过英语和法语。 （2）2大于3仅当2大于4。 （3）3不是偶数。 （4）2或3是质数。 （5）除非李键是东北人，否则他一定怕冷。 解： (1) 令)(x P ：x 学过英语，Q(x)：x 学过法语，c ：小王，命题符号化为)()(c Q c P ∧ (2) 令),(y x P ：x 大于y, 命题符号化为)3,2()4,2(P P → (3) 令)(x P ：x 是偶数，命题符号化为)3(P ? (4) 令)(x P ：x 是质数，命题符号化为)3()2(P P ∨ (5) 令)(x P ：x 是北方人；)(x Q ：x 怕冷；c ：李键；命题符号化为)()(x P c Q ?→ 2. 设个体域}{c b a D ，， =，消去下列各式的量词。 （1）))()((y Q x P y x ∧?? （2）))()((y Q x P y x ∨?? （3）)()(y yQ x xP ?→? （4）))()((y yQ y x P x ?→?， 解： (1) 中))()(()(y Q x P y x A ∧?=，显然)(x A 对y 是自由的，故可使用UE 规则，得到 ))()(()(y Q y P y y A ∧?=，因此))()(())()((y Q y P y y Q x P y x ∧?∧?? ，再用ES 规则， )()())()((z Q z P y Q y P y ∧∧? ，D z ∈，所以)()())()((z Q z P y Q x P y x ∧∧?? （2）中))()(()(y Q x P y x A ∨?=，它对y 不是自由的，故不能用UI 规则，然而，对 )(x A 中约束变元y 改名z ，得到))()((z Q x P z ∨?，这时用UI 规则，可得： ))()((y Q x P y x ∨?? ))()((z Q x P z x ∨??? ))()((z Q x P z ∨? （3）略 （4）略 3. 设谓词)(y x P ，表示“x 等于y ”，个体变元x 和y 的个体域都是}321 {，，=D 。求下列各式的真值。 （1）)3(，x xP ? （2）)1(y yP ，? （3）)(y x yP x ，?? （4）)(y x yP x ，?? （5）)(y x yP x ， ?? （6）)(y x xP y ， ?? 解：
中南大学《工程测量》课程作业三及参考答案
(一) 单选题 1. 在定测中桩高程测量中，必须作为转点的桩为（）。 (A) 百米桩 (B) 加桩 (C) 直线转点 参考答案： (C) 2. 边坡的坡度是指（）。 (A) 边坡平距与 高差之比 (B) 斜边与高 差之比 (C) 斜边与边坡 平距之比 参考答案： (A) 3. 在地形图上，量得A 点高程为21.17m ，B 点高程为16.84m ，AB 的平距为279.50m ， 则直线AB 的坡度为（）。 (A) 6.8% (B) 1.5% (C) -1.5% (D) -6.8% 参考答案： (C) 4. 建筑物的定位就是确定设计中要求的建筑物（）。 (A) 边线 (B) 建筑物的轴线 (C) 建筑物的投影线 参考答案： (B) 5. 横断面测量的主要任务是（）。 (A) 测量地形图 (B) 沿中线测量地面高程
(C) 垂直中线的变坡点高程 参考答案： (C) 6. 线路施工复测的目的是（）。 (A) 重新测设桩点 (B) 恢复定测桩点，检查定测质量 (C) 修订桩点的平面位置和高程 参考答案： (B) 7. 常用的测设中线方法有（）。 (A) 拨角法 (B) 交会法 (C) 格网法 参考答案： (A) 8. 极坐标法放样是以（）。 (A) 两个高程点 放样 (B) 两个已知平面 点放样 (C) 两个方向 放样 参考答案： (B) 9. 隧道测量中，腰线的作用是控制掘进（）。 (A) 高程与坡 度 (B) 高 程 (C) 坡 度 (D) 方 向 参考答案： (A)
10. 线路水准测量包括（）。 (A) 基平与中平 测量 (B) 基平与三角高 程测量 (C) 中平与水准 测量 参考答案： (A) 11. 施工控制网包括（）。 (A) 测量网 (B) 国家控制网 (C) 建筑方格网 参考答案： (C) 12. 隧道测量中，中线的作用是控制隧道掘进（）。 (A) 高 程 (B) 坡度 (C) 方向 (D) 高程与坡 度 参考答案： (C) 13. 建筑方格网细部点放样方法主要有（）。 (A) 归化法 (B) 三角高程 (C) 视距测量 参考答案： (A) 14. 设F 、G 两点的高程分别为HF=58.3m, HG=61.9m ，并量得F 、G 的图上距离为28.5mm ， 地形图的比例尺为1：500，则F 、G 之间的平均坡度为（）。 (A) 13.5% (B) 25.3% (C) 12.65% (D) 50.6% 参考答案： (B) 15. 轴线控制桩的作用是（）。
(完整版)离散数学作业答案一
离散数学作业7 离散数学数理逻辑部分形成性考核书面作业 本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、 数理逻辑部分的综合练习，基本上是按照考试的题型(除单项选择题外) 安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握。本次形考书面作业是第三次作业，大家要认真及时地完成数理逻辑部分的综合练习作业。 要求：将此作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，要求本学期第17周末前完成并上交任课教师(不收电子稿)。并在07任务界面下方点击“保存”和“交卷”按钮，以便教师评分。 一、填空题 1 .命题公式P (Q P)的真值是T或1 ______ . 2?设P:他生病了，Q:他出差了. R:我同意他不参加学习.则命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为(P V Q)-R 3. ____________________________________________________________ 含有三个命题变项P，Q，R的命题公式P Q的主析取范式是__________________ _(P Q R) (P Q R)_ 4. 设P(x): x是人，Q(x): x去上课，则命题“有人去上课.” 可符号化为— x(P(x) Q(x))_ 5. 设个体域D = {a, b},那么谓词公式xA(x) yB(y)消去量词后的等值式为 (A(a) A(b)) (B(a) B(b))_ 6 .设个体域D = {1,2, 3}，A(x)为“x大于3”，则谓词公式(x)A(x)的真值为F 或0 ________________ . 7.谓词命题公式(x)((A(x) B(x)) C(y))中的自由变元为 ________ . 8 .谓词命题公式(x)(P(x) Q(x) R(x，y))中的约束变元为x _______ . 三、公式翻译题 1 .请将语句“今天是天晴”翻译成命题公式
离散数学24谓词演算的推理理论
谓词演算的 推理理论
在谓词逻辑中，除了命题逻辑中的推理规则继续有效外，还有以下四条规则。设前提Г= {A 1,A 2,…,A k }. 1. 全称指定规则（全称量词消去规则）US ： 例1 取个体域为实数域，F(x, y): x>y, P(x)=(?y) F(x,y), 则(?x)P(x) ?P(z)=(?y) F(z,y). 而不能(?x) P(x) ?P(y)=(?y) F(y,y). 其中x,y 是个体变项符号，c 为任意的个体常量. 或 (?x ) P (x ) ∴ P (y ) (?x) P (x ) ∴ P (c )
2 . 全称推广规则（全称量词引入规则） UG： P(x) ∴ (?x)P(x) 其中x是个体变项符号，且不在前提的任何公式中 自由出现. 3. 存在指定规则（存在量词消去规则） ES： (?x)P(x) ∴ P(c) 1)c是使P(x)为真的特定的个体常量，不是任意的. 2)c不在前提中或者先前推导公式中出现或自由出现， 换句话说，此c是在该推导之前从未使用过的.
4. 存在推广规则（存在量词引入规则) EG： P(c) ∴ ( x)P(x) 其中x是个体变项符号, c是个体常项符号.
谓词逻辑的推理理论由下列要素构成. 1. 等价公式 2. 蕴含式 3. 推理规则： (1) 前提引入规则 (2) 结论引入规则 (3) CP推理规则 (4)归谬论 (5) US规则 (6) UG规则 (7) ES规则 (8) EG规则
1)在推导的过程中，可以引用命题演算中的规则P、规则T、 规则CP . 2)为了在推导过程中消去量词，可以引用规则US和规则ES来 消去量词. 3)当所要求的结论可能被定量时，此时可引用规则UG和规则 EG将其量词加入. 4)证明时可采用如命题演算中的直接证明方法和间接证明方法. 5)在推导过程中，对消去量词的公式或公式中没含量词的子公 式，完全可以引用命题演算中的基本等价公式和基本蕴涵公式. 6)在推导过程中，对含有量词的公式可以引用谓词中的基本等 价公式和基本蕴涵公式.
工程测量课程作业答案
工程测量课程作业_A 1. (4分)水准仪器下沉，采用()减少误差。 ? A. 后前前后 答案A 2. (4分)高层传递有下层传递上来的同一层几个标高点必须用水准仪进行检核，检查各点标高点是否在同一个水平面上，其误差应不超过（）mm ? C. ±3 答案C 3. (4分)用经纬仪对某角观测四次,由观测结果算得观测值中误差为±20″,则该角的算术平均值中误差为() ? A. ±10″ 答案A 4. (4分)绝对高程的起算面是()。 ? B. 大地水准面 答案B
5. (4分)下列满足柱子吊装要求是（） ? D. 以上均对 答案D 6. (4分)产生视差的原因是()。 ? B. 物像与十字丝分划板未重合 答案B 7. (4分)地面点高程测定的基本原理是()。 ? A. 高程原点开始-逐点测得高差-逐点递推出高程 答案A 8. (4分)为了统一全国的高程系统和满足各种测量的需要，测绘部门在全国各地埋设且用水准测量的方法测定了很多高程点，这些点称为()。 ? B. 水准点 答案B 9. (4分)下列点中哪一个不是圆曲线的主点() ? A. JD点
答案A 10. (4分)测角时，对于图根导线，一般需要DJ6级经纬仪测一个测回，且半测回角值的较差不得大于（） ? B. 40″ 答案B 11. (4分)地面两点间高程之差，称为该两点间的() ? C. 高差 答案C 12. (4分)水准测量的转点,若找不到坚实稳定且凸起的地方，必须用()踩实后立尺. ? B. 尺垫 答案B 13. (4分)下列属于图式比例尺的是（） ? B. 直线比例尺和复式比例尺 答案B 14. (4分)水准测量时，为了消除i角误差对一测站高差值的影响，可将水准仪置在()处。
吉林大学离散数学课后习题答案
第二章命题逻辑 §2.2 主要解题方法 2.2.1 证明命题公式恒真或恒假 主要有如下方法： 方法一.真值表方法。即列出公式的真值表，若表中对应公式所在列的每一取值全为1，这说明该公式在它的所有解释下都是真，因此是恒真的；若表中对应公式所在列的每
一取值全为0，这说明该公式在它的所有解释下都为假，因此是恒假的。 真值表法比较烦琐，但只要认真仔细，不会出错。 例2.2.1 说明G= (P∧Q→R)∧(P→Q)→(P→R)是恒真、恒假还是可满足。 解：该公式的真值表如下： 表2.2.1 由于表2.2.1中对应公式G所在列的每一取值全为1，故
G恒真。 方法二.以基本等价式为基础，通过反复对一个公式的等价代换，使之最后转化为一个恒真式或恒假式，从而实现公式恒真或恒假的证明。 例2.2.2 说明G= ((P→R) ∨? R)→ (? (Q→P) ∧ P)是恒真、恒假还是可满足。 解：由(P→R) ∨? R=?P∨ R∨? R=1，以及 ? (Q→P) ∧ P= ?（?Q∨ P）∧ P = Q∧? P∧ P=0 知，((P→R) ∨? R)→ (? (Q→P) ∧ P)=0，故G恒假。 方法三.设命题公式G含n个原子，若求得G的主析取范式包含所有2n个极小项，则G是恒真的；若求得G的主合取范式包含所有2n个极大项，则G是恒假的。 方法四. 对任给要判定的命题公式G，设其中有原子P1，P2，…，P n，令P1取1值，求G的真值，或为1，或为0，或成为新公式G1且其中只有原子P2，…，P n，再令P1取0值，求G真值，如此继续，到最终只含0或1为止，若最终结果全为1，则公式G恒真，若最终结果全为0，则公式G
谓词演算的推理理论(牛连强)
2.5 谓词演算的推理理论 1．推理定律 谓词演算中也存在一些基本的等价与蕴含关系，参见表2-2。我们以此作为推理的基础，即推理定律。 表2-2 序号 等价或蕴含关系 含义 E27 E28 ┐?xA(x)??x┐A(x) ┐?xA(x)??x┐A(x) 量词否定等值式 E29 E30?x(A(x)∧B(x))??xA(x)∧?xB(x) ?x(A(x)∨B(x))??xA(x)∨?xB(x) 量词分配等值式（量词分配律） E31 E32 E33 E34 E35 E36 E37 E38 E39 E40 E41 E42 E43?x(A(x)∨B)??xA(x)∨B ?x(A(x)∧B)??xA(x)∧B ?x(A(x)∨B)??xA(x)∨B ?x(A(x)∧B)??xA(x)∧B ?x(B∨A(x))? B∨?xA(x) ?x(B∧A(x))? B∧?xA(x) ?x(B∨A(x))? B∨?xA(x) ?x(B∧A(x))? B∧?xA(x) ?x(A(x)→B(x))??xA(x)→?xB(x) ?x(A(x)→B)??xA(x)→B ?xA(x)→B??x(A(x)→B) A→?xB(x)??x(A→B(x)) A→?xB(x)??x(A→B(x)) 量词作用域的扩张与收缩 I21 I22?xA(x)∨?xB(x)??x(A(x)∨B(x)) ?x(A(x)∧B(x))??xA(x)∧?xB(x) I23 ?xA(x)→?xB(x)??x(A(x)→B(x)) 表2-2中的I、E序号是接着表1-5和1-8排列的，表明它们都是谓词逻辑的推理定律。E31~E34与E35~E38只是A和B的顺序不同。 2．量词的消除与产生规则 谓词推理可以看作是对命题推理的扩充。除了原来的P规则（前提引入）、T规则（命题等价和蕴含）及反证法、CP规则外，为什么还需引入新的推理规则呢？ 命题逻辑中只有一种命题，但谓词逻辑中有2种，即量词量化的命题和谓词填式命题。如果仅由表2-2的推理定律就可推证，并不需要引入新的规则，但这种情况十分罕见，也失去了谓词逻辑本身的意义。为此，要引入如下4个规则完成量词量化命题与谓词填式之间的转换，其中的A(x)表示任意的谓词。 (1) 全称指定（消去）规则US（Ubiquity Specification，或记为?-）
实验二：使用Prolog的一阶逻辑推理实验
实验二：使用Prolog的一阶逻辑推理实验 班级；智能1401 姓名：蒙寿伟 学号：201408070120 一．实验目的 1.学会使用Prolog语言； 2.用Prolog语言巩固一阶逻辑知识； 3.能够使用prolog语言实现一阶逻辑的证明； 二、实验的硬件、软件平台 硬件：计算机 软件：操作系统：WINDOWS 10 应用软件：Prolog 三、实验内容及步骤 熟悉prolog语言的使用并实现对于一阶逻辑推理的证明 实验步骤： 1：对于a,b,c,d四种输入情况，验证|?- p(a).的真假； a.p(b). p(a) :- p(b). p(a) :- p(c) 推理分析： 事实：p(b)为真. 推理：由p(b)为真可以推出p(a)为真，由p(c)为真可以推出p(a)为真. 结论：p(a)为真. 运行结果：
b. p(c). p(a) :- p(b). p(a) :- p(c). 推理分析： 事实：p(c)为真. 推理：由p(b)为真可以推出p(a)为真，由p(c)为真可以推出p(a)为真. 结论：p(a)为真. 运行结果： c. p(b). p(a) :- p(b) ,p(c). 推理分析： 事实：p(b)为真. 推理：由p(b)为真且p(c)为真可以推出p(a)为真. 结论：p(a)为假.因为p(b)未知. d. p(c). p(a):- p(b) ; p(c). 推理分析： 事实：p(b)为真. 推理：由p(b)为真或p(c)为真可以推出p(a)为真. 结论：p(a)为真. 2.验证 ?-friend(john,Y). likes(bell,sports). likes(mary,music).
慕课 离散数学 电子科技大学 课后习题十 答案
作业参考答案——10-特殊图 1.(a)(c)(d)是欧拉图，(a)(b)(c)(d)(e)可以一笔画，(a)(b)(c)(d)(e)(f)(g)是 哈密顿图。 2.根据给定条件建立一个无向图G=
数至少为2，而V2中的每个结点度数至多为2，从而它满足t条件t=1，因此存在从V1到V2的匹配，故可分配。 5.此平面图具有五个面，如下图所示。 a b c d e f g r1r2 r3 r4 r5 ?r1，边界为abca，D(r1)=3; ?r2，边界为acga，D(r2)=3; ?r3，边界为cegc，D(r3)=3; ?r4，边界为cdec，D(r4)=3; ?r5，边界为abcdefega，D(r5)=8;无限面 6.设该连通简单平面图的面数为r，由欧拉公式可得，6?12+r=2，所以 r=8，其8个面分别设为r1,r2,r3,r4,r5,r6,r7,r8。因是简单图，故每个面至少由3条边围成。只要有一个面是由多于3条边所围成的，那就有所有面的次数之和 8∑ i=1 D(r i)>3×8=24。但是，已知所有面的次数之和等于边数的两倍，即2×12=24。因此每个面只能由3条边围成。 2
逻辑推理解题技巧大全之演绎推理
逻辑推理大全之演绎推理 演绎推理 1.推理及其分类 所谓推理，是指由一个或几个已知的判断推导出另外一个新的判断的思维形式。一切推理都必须由前提和结论两部分组成。一般来说，作为推理依据的已知判断称为前提，所推导出的新的判断则称为结论。推理大体分为直接推理和间接推理。只有一个前提的推理叫直接推理。例如： 有的高三学生是共产党员，所以有的共产党员是高三学生。 一般有两个或两个以上前提的推理就是间接推理。例如： 贪赃枉法的人必会受到惩罚，你们一贯贪赃枉法，所以今天你们终于受到法律的制裁和人民的惩罚。 一般说，间接推理又可以分为演绎推理、归纳推理和类比推理等三种形式。(1)演绎推理。所谓演绎推理，是指从一般性的前提得出了特殊性的结论的推理。例如： 贪赃枉法的人是必定会受到惩罚的，你们一贯贪赃枉法，所以，你们今天是必定要受到法律的制裁、人民的惩罚的。 这里，“贪赃枉法的人是必定会受到惩罚的”是一般性前提，“你们一贯贪赃枉法”是特殊性前提。根据这两个前提推出”你们今天是必定要受到法律的制裁和人民的惩罚的”这个特殊性的结论。 演绎推理可分为三段论、假言推理和选言推理。 (2)归纳推理。归纳推理是从个别到一般，即从特殊性的前提推出普遍的一般的结论的一种推理。一般情况下，归纳推理可分为完全归纳推理、简单枚举归纳推理。 完全归纳推理，也叫完全归纳法，是指根据某一类事物中的每一个别事物都具有某种性质，推出该类事物普遍具有这种性质的结论。正确运用完全归纳推理，要求所列举的前提必须完全，不然推导出的结论会产生错误。例如： 在奴隶社会里文学艺术有阶级性；在封建社会里文学艺术有阶级性；在资本主义社会里文学艺术有阶级性；在社会主义社会里文学艺术有阶级性；所以，在阶级
工程测量课程作业
工程测量课程作业_A 交卷时间：2018-09-06 10:34:02 一、单选题 1. (4分)在水平距离测量中，将地表面当平面对待，指的是在()范围内时，距离测量数据不至于影响测量成果的精度。 A. 距离5km B. 距离10km C. 半径10km D. 半径12km 纠错 得分：0 知识点：在水平距离测量中注意事项 展开解析 答案C 解析 2. (4分)在等精度观测中,对某一角度重复观测多次,观测值之间互有差异,其观测精度是()的。 A. 有差异 B. 相同的
C. 独立的 D. 随机的 纠错 得分：0 知识点：角度测量 展开解析 答案B 解析 3. (4分)在三角形ABC中，测出∠A和∠B，计算出∠C。已知∠A的中误差为+4″，∠B 的中误差为+3″，∠C的中误差为() A. +3″ B. +4″ C. +5″ D. +7″ 纠错 得分：0 知识点：距离测量与直线定向 展开解析 答案C 解析 4. (4分)产生视差的原因是()。 A. 仪器校正不完善
B. 物像与十字丝分划板未重合 C. 十字丝分划板位置不正确 D. 眼睛问题 纠错 得分：0 知识点：视差 展开解析 答案B 解析 5. (4分)参考椭球面是()。 A. 就是总地球椭球体面，与大地水准面十分接近 B. 国际大地测量协会为各国处理测量数据而提出的统一的地球椭球面 C. 各国为处理本国测量数据而采用与本国大地水准面十分接近的椭球体面 D. 以上均不对 纠错 得分：0 知识点：参考椭球面 展开解析 答案C 解析 6. (4分)测量使用的高斯平面直角坐标系与数学使用的笛卡尔坐标系的区别是()。 A. x与y轴互换，第一象限相同，象限顺时针编号
离散数学作业答案
第一章 1.假定A是ECNU二年级的学生集合，B是ECNU必须学离散数学的学生的集合。请用A 和B表示ECNU不必学习离散数学的二年级的学生的集合。 2.试求： (1)P(φ) (2)P(P(φ)) (3)P(P(P(φ))) 3.在1~200的正整数中，能被3或5整除，但不能被15整除的正整数共有多少个？ 能被5整除的有40个， 能被15整除的有13个， ∴能被3或5整除，但不能被15整除的正整数共有 66-13+40-13=80个。 第三章 1.下列语句是命题吗？ (1)2是正数吗？ (2)x2+x+1=0。 (3)我要上学。 (4)明年2月1日下雨。 (5)如果股票涨了，那么我就赚钱。 2.请用自然语言表达命题(p?→r)∨(q?→r)，其中p、q、r为如下命题： p：你得流感了 q：你错过了最后的考试
3.通过真值表求p→(p∧(q→p))的主析取范式和主合取范式。 4.给出p→(q→s),q,p∨?r?r→s的形式证明。 第四章 1.将?x(C(x)∨?y(C(y)∧F(x,y)))翻译成汉语，其中C(x)表示x有电脑，F(x,y) 表示x和y是同 班同学，个体域是学校全体学生的集合。 解： 学校的全体学生要么自己有电脑，要么其同班同学有电脑。 2.构造?x(P(x)∨Q(x)),?x(Q(x)→?R(x)),?xR(x)??xP(x)的形式证明。 解： ①?xR(x) 前提引入 ②R(e) ①US规则 ③?x(Q(x)→?R(x)) 前提引入 ④Q(e) →?R(e) ③US规则 ⑤?Q (e) ②④析取三段论 ⑥?x(P(x)∨Q(x)) 前提引入 ⑦P(e) ∨Q(e) ⑥US规则 ⑧P(e) ⑤⑦析取三段论 ⑨?x (P(x)) ⑧EG规则 第五章
《工程测量》课程作业
工程测量课程作业_A 交卷时间：2016-09-21 16:12:17 一、单选题 1. (4分)一般情况下，建筑方格网点也可兼做高程控制点。采用（）方法测定各水准点的高程，而对连续生产的车间或下水管道等，则需采用（）的方法测定各水准点的高程。 ? A. 三等水准测量，三等水准测量 ? B. 四等水准测量，四等水准测量 ? C. 四等水准测量，三等水准测量 ? D. 三等水准测量，四等水准测量 纠错 得分：0 知识点：地形图的应用 展开解析 答案C 解析 2. (4分)每带的高斯平面直角坐标系均以中央子午线投影为()，赤道投影为()。
? A. x轴，y轴 ? B. y轴，x轴 ? C. x轴，x轴 ? D. y轴，y轴 纠错 得分：0 知识点：高斯平面直角坐标系 展开解析 答案A 解析 3. (4分)测量时,记录有误,应(). ? A. 用橡皮擦拭掉 ? B. 用橡皮擦拭掉后在旁记录 ? C. 划掉重记 ? D. 以上都不对 纠错 得分：0 知识点：记录有误 展开解析
答案C 解析 4. (4分)某宾馆首层室内地面±0.000的绝对高程为45.300m，室外地面设计高程为-l.500m，女儿墙设计高程为+88.200m，问室外地面和女儿墙高差是()。 ? A. 42.9 ? B. 89.7 ? C. 86.7 ? D. 88.2 纠错 得分：4 知识点：高差 展开解析 答案B 解析 5. (4分)一组测量值的中误差越小，表明测量精度越() ? A. 高 ? B. 低 ? C. 精度与中误差没有关系
? D. 无法确定 纠错 得分：0 知识点：角度测量 展开解析 答案A 解析 6. (4分)水准仪安置在与前后水准尺大约等距之处观测，其目的是()。 ? A. 消除望远镜调焦引起误差 ? B. 视准轴与水准管轴不平行的误差 ? C. 地球曲率和折光差的影响 ? D. 包含(b)与(c)两项的内容 纠错 得分：0 知识点：消弱误差 展开解析 答案D 解析 7.
国开放大学离散数学本离散数学作业答案
国开放大学离散数学本离 散数学作业答案 The pony was revised in January 2021
离散数学集合论部分形成性考核书面作业 本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外）安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握．本次形考书面作业是第一次作业，大家要认真及时地完成集合论部分的综合练习作业． 要求：学生提交作业有以下三种方式可供选择： 1. 可将此次作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，完成作业后交给辅导教师批阅． 2. 在线提交word文档 3. 自备答题纸张，将答题过程手工书写，并拍照上传． 一、填空题
1．设集合{1,2,3},{1,2} ==，则P(A)-P(B )= {{1,2}，{2,3}，{1,3}， A B {1,2,3}} ，A B= {< 1,1>，<1,2>，<2，1>，<2，2>，<3，1>，<3， 2> } ． 2．设集合A有10个元素，那么A的幂集合P(A)的元素个数为 1024 ． 3．设集合A={0, 1, 2, 3}，B={2, 3, 4, 5}，R是A到B的二元关系， 则R的有序对集合为 {< 2,2>，<2,3>，<>，<> } ．4．设集合A={1, 2, 3, 4 }，B={6, 8, 12}，A到B的二元关系 R＝} y x y x∈ ∈ < > = A , , 2 , y {B x 那么R－1＝ {< 6，3>，<8，4> } ． 5．设集合A=｛a, b, c, d｝，A上的二元关系R={
2能让你一天就看懂的逻辑推理基础知识
能让你一天就看懂的逻辑推理基础知识（摆渡公益版第二部分）Part4 推理规则 三段论 在逻辑中最最基本的推理规则，就是三段论。 什么叫三段论？三段论就是三句话，两个前提推一个结论 讲一个故事让大家轻松一下 从前，有一位哲学家叫苏格拉底 有一天，有个人找他说话：“大师，我很崇拜您，向您求教几个问 题，您能回答我对或者不对吗？” 苏格拉底：“能。” 那人说：“所有人都会死，这句话对不对？” 苏格拉底：“对。” 那人说：“大师您是人，对不对？” 苏格拉底：“对。” 那人说：“于是，大师您会死，对不对？” 苏格拉底：“……%￥……#￥……%￥……#%￥……”
以上就是三段论，嘿嘿 哈哈，回到正题，给几个三段论的公式（有兴趣的童鞋可以自己试试把上面的故事转换一下，看看是符合1234中的哪一个 哦！） 比如： 1.所有A是B，所有B是C，于是，所有A是C（两个前提，都是肯定句，则结论必是肯定句） 2.有些A是B，所有B是C，于是，有些A是C 3.有些A是B，所有B非C，于是，有些A非C （两个前提，一肯一否，则结论必是否定句） 4.有些A非B，所有C是B，于是，有些A非C 三段论推理传递的最重要的一点，就是传递推理的那个前提是所有开头的 要注意的一点是，两个前提中至少有一个是“所有”，否则推理不能传递，比如 有些A是B，有些B是C，像这种条件，我们什么也推不出来的！
伸个懒腰，我们来做道综合点的题吧~ 复习复习前几个部分的内容，嘿嘿~ 例8.世界上最漂亮的猫中有一些是波斯猫，然而，人们必须承认，所有的波斯猫都是自负的，并且所有自负的波斯猫总是让人生气。如果上面的陈述正确，下面的每一个基于上述的陈述也必然是正确的，除了： A．世界上最漂亮的猫中有一些是让人生气的（有些a是d）B．一些让人生气的波斯猫是最漂亮的猫（有些d是a） C．任何不让人生气的猫不是波斯猫（因为有任何，这里我们用的是逆否命题同真假来做非d=>非b 等价于b=>d） D．一些让人生气且最漂亮的猫不是波斯猫（D项看起来比较复杂，你们晕了没有？知道关键在哪里么？有疑问的翻回 Part2!仔细看看例2,弄错的，打自己PP！简化来说直接就是，有些最漂亮的猫不是波斯猫，从“有些最漂亮的猫是波斯猫” 是不可以直接推出“有些最漂亮的猫不是波斯猫”的！解释见例2去） 题面：有些最漂亮的猫是波斯猫（1.有些a是b），所有波斯猫都自负（2.所有b是c），所有自负的波斯猫让人生气（3.所有c
土木工程测量作业答案解析
注：表中粉色为需要填写的答案 《土木工程测量》第1章作业 1-2 什么是测量工作的基准面和基准线 解：测量工作的基准面是水准面；基准线是铅垂线。 1-3 什么是绝对高程什么是相对高程 解：绝对高程：地面点沿铅垂线到大地水准面的距离；相对高程：地面点到假定水准面的铅垂距离。 1-5 已知某地大地坐标为（106°12′，38°32′）。计算：①该地在高斯投影3°带的带号及其中央子午线经度；②该地在高斯投影6°带的带号及其中央子午线经度。 解：①3°带带号：n=int(°)/3°)+1= int((106°12′°)/3°)+1=35， 35号3°带中央子午线经度：L’ =3°*n=3°*35=105°； ②6°带带号：N=int(L/6°)+1= int(106°12′/6°)+1=18； 18号6°带中央子午线经度：L =6°*N-3°=6°*18-3°=105°。 1-6 已知控制点BM30的大地坐标为（106°49′27″，39°04′58″），其高斯投影3°带内计算的平面坐标自然值是（，－）。计算BM30的坐标通用值。 解：通用坐标值是在Y坐标自然值上+500km，并且在其前冠以投影带带号。因此，先计算BM30所在高斯投影3°带的带号： 3°带带号：n=int(°)/3°)+1= int((106°50′°)/3°)+1=36， Y坐标自然值+500km=+500000m=。 所以，BM30的通用坐标为（，36 ） 1-7 测量工作应遵循的基本原则是什么 解：测量工作应遵循“从整体到局部”、“先控制后碎步”、“先高级后低级”、“步步有检核”的基本原则。 《土木工程测量》第2章作业 2-1 设A为后视点，B为前视点，已知点A的高程H A =，后视读数a为，前视读数b为，试 计算AB的高差h AB 和点B的高程H B 。 解：h AB =后视读数-前视读数=； H B =H A +h AB =+=。 2-4 计算表2-6中水准测量的高差及高程。 表2-6 五等水准测量记录手簿
北京大学2017秋课件作业【离散数学】及答案
2017秋课件作业 第一部分集合论 第一章集合的基本概念和运算 1-1设集合A={{2，3,4}，5，1}，下面命题为真是（选择题）[A] A．1∈A；B．2∈A；C．3∈A；D．{3，2,1}?A。 1-2A,B,C为任意集合，则他们的共同子集是（选择题）[D] A．C；B．A；C．B；D．?。 1-3设S={N，Z，Q，R}，判断下列命题是否正确（是非题） （1）N?Q，Q∈S，则N?S，［错］（2）-1∈Z，Z∈S，则-1∈S。［错］ 1-4设集合B={4，3}∩?，C={4，3}∩{?}，D={3，4，?}，E={x│x∈R并且x2-7x+12=0}，F={4，?，3，3}，试问：集合B与那个集合之间可用等号表示（选择题）[A] A.C; B.D; C.E; D. F. 1-5用列元法表示下列集合：A={x│x∈N且3－x〈3}（选择题）[D] A.N; B.Z; C.Q; D.Z+ 1-6为何说集合的确定具有任意性?(简答题) 答：按研究的问题来确定集合的元素。我们所要研究的问题当然是随意的呗。之所以，集合的定义（就是集合成分的确定）当然带有任意性哪。 第二章二元关系 2-1设A={1，2，3}，A上的关系R={〈1，2〉，〈2，1〉}∪IA， 试求：（综合题） (1)domR=?;(2)ranR=?;(3)R的性质。 （4）商集A/R=？（5）A的划分∏=？（6）合成运算（R。R）=？ 答：R={<1,2>,<1,3>,<2,3>，<1，1>，<2，2>，<3，3>}； (1)DomR={R中所有有序对的x}={3,2,1}; (2)RanR={R中所有有序对的y}={2,1,3}； (3)R的性质:自反,反对称,传递性质.这时，R不是等价关系。 （4）商集A/R={{1，2，3}，{2，3}，{3}}。由于R不是等价关系，所以，等价类之间出现交集。这是不允许的。请看下面的划分问题。 （5）A的划分∏={{1，2，3}，{2，3}，{3}}；也由于R不是等价关系，造成划分的荒谬结果：出现交集。试问：让“3”即参加第一组，又参加第二组，她该如何分配呢！！！ 所以，关系R必须是等价关系。至于作业中，此两题应说：因为R不是等价关系，此题无解。 2-2设R是正整数集合上的关系，由方程x+3y=12决定，即 R={〈x，y〉│x，y∈Z+且x+3y=12}， 试给出dom（R。R）。（选择题）[B] A.3； B.{3}； C.〈3，3〉； D.{〈3，3〉}。
逻辑推理理论(简明汇总)
逻辑常识（逻辑学习总体把握） 一、逻辑推理 是指由一个或几个已知的判断推导出另外一个新的判断的思维形式。一切推理都必须由前提和结论两部分组成。一般来说，作为推理依据的已知判断称为前提，所推导出的新的判断则称为结论。推理大体分为直接推理和间接推理。 （一）直接推理 只有一个前提的推理叫直接推理。 例如：有的高三学生是共产党员，所以有的共产党员是高三学生。 （二）间接推理 一般有两个或两个以上前提的推理就是间接推理。 例如：贪赃枉法的人必会受到惩罚，你们一贯贪赃枉法，所以今天你们终于受到法律的制裁和人民的惩罚。 一般说，间接推理又可以分为演绎推理、归纳推理和类比推理等三种形式。 （1）演绎推理 所谓演绎推理，是指从一般性的前提得出了特殊性的结论的推理。 例如：贪赃枉法的人是必定会受到惩罚的，你们一贯贪赃枉法，所以，你们今天是必定要受到法律的制裁、人民的惩罚的。 这里，“贪赃枉法的人是必定会受到惩罚的”是一般性前提，“你们一贯贪赃枉法”是特殊 性前提。根据这两个前提推出”你们今天是必定要受到法律的制裁和人民的惩罚的”这个 特殊性的结论。 演绎推理可分为三段论、假言推理和选言推理。 a三段论 b假言推理 c选言推理 （2）归纳推理 归纳推理是从个别到一般，即从特殊性的前提推出普遍的一般的结论的一种推理。 一般情况下，归纳推理可分为完全归纳推理、简单枚举归纳推理。 a完全归纳推理 也叫完全归纳法，是指根据某一类事物中的每一个别事物都具有某种性质，推出该类事物普遍具有这种性质的结论。 正确运用完全归纳推理，要求所列举的前提必须完全，不然推导出的结论会产生错误。 例如：在奴隶社会里文学艺术有阶级性；在封建社会里文学艺术有阶级性；在资本主义社会里文学艺术有阶级性；在社会主义社会里文学艺术有阶级性；所以，在阶级社会里，文学艺术是有阶级性的。（注：奴隶社会、封建社会、资本主义社会、社会主义社会这四种社会形态构成了整个阶级社会。） b简单枚举归纳推理 是根据同一类事物中部分事物都具有某种性质，从而推出该类事物普遍具有这种性质的结论。这是一种不完全归纳推理。但是，这种推理通常仅考察了某类事物中部分对象的性质就得出了结论，所以结论可
数学初中竞赛逻辑推理专题训练(包含答案)
数学初中竞赛 逻辑推理 专题训练 ．选择题 则不同的站位方法有（ ） 3．仪表板上有四个开关，每个开关只能处于开或者关状态，如果相邻的两个开关不能同时 是开的，那么所有不同的状态有（ ） 6．﹣2 和 2对应的点将数轴分成 3 段，如果数轴上任意 n 个不同的点中至少有 3 个在其中 之 一段，那么 n 的最小值是（ ） 1．某校九年级 6 名学生和 1 位老师共 7 人在毕业前合影留念 站成一行） ，若老师站在中间， A ．6种 B ． 120种 C ．240 种 D ．720 种 2．钟面上有十二个数 1， 2， 3，?， 12．将其中某些数的前面添上一个负号，使钟面上所 有数之代数和等于零，则至少要添 n 个负号，这个数 n 是（ A ．4 B ．5 C ．6 D ．7 A ．6 种 B ．7种 4．小明训练上楼梯赛跑．他每步可上 同方法共有（ ） （注：两种上楼梯的方法，只要有 A ．15 种 B ．14 种 5．如图， 2× 5 的正方形网格中， C ． 8 种 D ．9 种 2 阶或 3 阶（不上 1 阶），那么小明上 12 阶楼梯的不 1 步所踏楼梯阶数不相同，便认为是不同的上法． ） C ．13种 D ．12 种 5张 1×2的矩形纸片将网格完全覆盖，则不同的覆盖 A ．3 种 B ．5种 C ． 8 种 D ．13 种 C ．7 D ．8 A ．5 B ．6
10．如图所示，韩梅家的左右两 侧各摆了 3 盆花，韩梅每次按照以下规则往家中搬一盆花， 先 选择左侧还是右侧，然后搬该侧离家最近的，要把所有的花搬到家里，共有（ ） 种不同的搬花顺序． A ． 8 B ． 12 C ．16 D ．20 11．如图，在一块木板上均匀钉了 9颗钉子， 用细绳可以像图中那样围成三角形， 在这块木 板上，还可以围成 x 个与图中三角形全等但位置不同的三角形，则 x 的值为 （ ） 7．计算机中的堆栈是一些连续的存储单元，在每个堆栈中数据的存入、取出按照“先进后 出''的原则．如图，堆栈（ 1）的 2 个连续存储单元已依次存入数据 b ，a ，取出数据的 顺序是 a ， b ；堆栈（ 2）的 3 个连续存储单元已依次存人数据 e ， d ， c ，取出数据的顺序 则是 c ，d ，e ，现在要从这两个堆栈中取出这 5 个数据（每次取出 1 个数据），则不同顺 序的取法的种数有（ A ．5种 B ．6种 C ．10种 D ．12 种 8．用六根火柴棒搭成 4 个正三角形 （如图），现有一只虫子从点 A 出发爬行了 5 根不同的火 D ．7 条 并使每条边的两端异色， 若共有 3 种颜色可供使 用（并不要求每种颜色都用上） ，则不同的涂色方法为（ ）种． A ．6 B ． 12 C ．18 D ． 24 C ．6条 9．将四边 ABCD 的每个顶点涂上一种颜 色，