第六次作业(谓词真值)

1、给定解释I如下：

(a)个体域为实数集R；

(b)特定元素a=0；

(c)函数f(x,y)=x-y，x与y为实数。

(d)谓词F(x,y)为x=y，G(x,y)为x

给出下列公式在解释I下的真值。

(1) ?x ?y(F(f(x,y),a) →G(x,y))

(2) ?x ?y(G(f(x,y),a) →F(x,y))

2、给定解释I如下：

(a)个体域D=自然数N；

(b)特定元素a=2；

(c)函数f(x,y)=x+y，g(x,y)=x*y；

(d)谓词F(x,y)为x=y；

给出下列各式在I下的解释，并讨论它们的真值：

(1) ?x?y(F(f(x,a),y) →F(f(y,a),x))

(2) ?x(F(f(x,x),g(x,x)))

3、设个体域D={a,b,c}，在D上展开下列公式中的量词。

(1) ?x?y(F(x) ∨G(y))

(2) ?x(F(x,y) →?yG(y))

4、在给定解释I如下：

(a)个体域D={3,4}

(b)f(3)=4,f(4)=3

(c)F(3,3)=F(4,4)=0,F(3,4)=F(4,3)=1

试求下列公式在I下的真值：

(1) ?x?yF(x,y)

(2) ?x?yF(x,y)

数字逻辑课程设计课案教学总结

数字逻辑设计课程设计指导书 适用专业：计算机大类 湖北工业大学 计算机学院 2016年11月

目录 一、课程设计目的 (1) 二、课程设计要求 (1) 三、课程设计内容 (1) 四、设计报告的内容和要求 (3) 五、课程设计考核方法 (3) 附录一自选课题参考题目 (4) 一、数码管显示控制器 (4) 二、乒乓球游戏机 (4) 三、智力竞赛抢答器 (4) 四、数字钟 (4) 五、交通灯控制器 (5) 六、双钮电子锁 (5) 七、彩灯控制器 (5) 八、速度表 (5) 九、出租车计价器 (6) 十、自动奏乐器一 (6) 十一、自动奏乐器二 (6) 十二、自动打铃器 (6) 十三、算术运算单元ALU的设计 (7) 十四、游戏机 (7) 十五、16路数显报警器 (7) 十六、脉冲按键电话按键显示器 (7) 十七、病房呼叫系统 (8) 十八、自动电子钟 (8) 十九、具有数字显示的洗衣机时控电路 (8) 二十、篮球比赛数字计分牌 (8) 二十一、电子日历 (9) 二十二、设计模拟中央人民广播电台报时电路 (9) 二十三、数字跑表 (9) 二十四、汽车尾灯控制器 (9) 二十五、篮球竞赛30秒计时器 (9) 二十六、拔河游戏机控制器 (10) 附录二TTL集成电路型号命名规则 (11) 附录三部分TTL集成电路管脚排列图 (14)

一、课程设计目的 《数字逻辑课程设计》是计算机大类学生的必修课之一，是《数字逻辑》课程的一个重要的实践教学环节，它与理论教学和实验教学相结合，培养学生综合运用所学的基础理论和掌握的基本技能来解决实际问题的能力。 课程设计通过完成一个课题的理论设计和实际调试工作，即能加深对所学知识的理解，又能培养综合的实践技能，从而提高分析问题和解决问题的能力。训练学生综合运用学过的数字逻辑的基本知识，独立设计比较复杂的数字电路的能力。通过实践教学引导学生在理论指导下有所创新，为专业课的学习和日后工程实践奠定基础。 二、课程设计要求 （一）教学要求 1．巩固和加深对数字逻辑各类型电路的设计方法及电子器件所构成电路的理解，并适当拓宽学生在电子线路领域的知识面。 2．初步掌握数字电路的设计、计算方法。能根据系统的技术指标，论证、拟订设计方案；选用合适的电路形式并进行工程计算及选择电路的元器件。 3．培养独立组织实验方案、正确选择使用实验仪器的能力，提高对功能电路和系统的安装调整、测试技术，以及综合运用所学理论知识解决实际问题的能力。（二）能力培养要求 1．通过查阅手册和有关文献资料培养学生独立分析和解决实际问题的能力。 2．通过实际电路方案的比较分析、设计计算、元件选取、安装调试等环节，掌握简单实用电路的分析方法和工程设计方法。 3．掌握常用仪器设备的使用方法，学会简单的实验调试，提高动手能力。 4．综合应用课程中学到的理论知识去独立完成一个设计任务。 5．培养严肃认真的工作作风和严谨的科学态度。 三、课程设计内容 从参考题目中自选1题进行资料查找和设计，具体课题及要求见附件1。 1．数码管显示控制器

工程测量课后作业答案

《工程测量》第二阶段离线作业 一、填空题： 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．课程代码：BCim8014 2．课程名称：数字逻辑 3．课程英文名称：Digital Logic 4．课程性质：专业必修课 5．课程适用层次：本科 6．课程使用对象：计算机科学与技术专业 7．总学时：48学时（其中实验12学时） 8．学分：3 9. 先修课程：大学计算机基础、电子电路基础 二、课程概述 《数字逻辑》课程是计算机科学与技术专业基础课程，是计算机组成与结构、微机原理等硬件类课程的先导课程，它对理解计算机的工作原理有十分重要的作用。本课程使学生掌握数字逻辑方面的基本理论、基本知识和基本技能，具有分析数字逻辑电路方面的基本方法以及设计电路的能力，为后续计算机硬件类课程打下基础，也为深入理解计算机的工作原理提供理论及实践基础。 本课程的基本内容： 介绍逻辑设计的理论基础和逻辑电路的分析和设计方法，重点讲述组合逻辑电路和同步时序逻辑电路的分析和设计。 本课程的教学要求： 要求学生掌握数字逻辑的基本概念、基本理论、基本方法，具备一定的对逻辑电路的分析、设计和调试的能力。要求学生能以逻辑代数为工具，熟练掌握对各类组合电路、同步时序电路、异步时序电路的基本逻辑单元进行逻辑分析和设计，并在了解电子设计自动化的基础上，基本掌握数字系统的设计过程。 本课程的先修课是大学计算机基础、电子电路基础。 三、实践教学安排 第三章组合逻辑 实验学时：6 项目1：基本门电路的逻辑功能测试 实验学时：3 实验目的与要求： 1．测试与门、或门、非门、与非门、或非门与异或门的逻辑功能 2．熟悉扩展板与主电路板的连接与使用 3．了解测试的方法与测试的原理 实验主要仪器、设备： 1．数字逻辑电路实验箱 2．数字逻辑电路实验箱扩展板 3．双踪示波器，数字万用表 4．相应74LS系列、或74HC系列芯片

中南大学《工程测量》课程作业三及参考答案

(一) 单选题 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 .请将语句“今天是天晴”翻译成命题公式

数字逻辑课程三套作业及答案课案

数字逻辑课程作业_A 一、单选题。 1.(4分)如图x1-229 （D）。 A. (A) B. (B) C. (C) D. (D) 知识点：第五章 解析第五章译码器 2.(4分)如图x1-82 （C）。 A. (A) B. (B) C. (C) D. (D)

知识点：第二章 解析第二章其他复合逻辑运算及描述 3.(4分)N个触发器可以构成最大计数长度（进制数）为（D）的计数器。 A. N B. 2N C. N2次方 D. 2N次方 知识点：第九章 解析第九章计数器 4.(4分)n个触发器构成的扭环型计数器中，无效状态有（D）个。 A. A．n B. B.2n C. C．2n－1 D. D．2n-2n 知识点：第九章 解析第九章集成计数器 5.(4分)如图x1-293

（A）。 A. (A) B. (B) C. (C) D. (D) 知识点：第十一章 解析第十一章数字系统概述 6.(4分)如图x1-317 （D）。 A. (A) B. (B) C. (C) D. (D) 知识点：第二章 解析第二章其他复合逻辑运算及描述 7.(4分)EPROM是指（C）。 A. A、随机读写存储器

B. B、只读存储器 C. C、光可擦除电可编程只读存储器 D. D、电可擦可编程只读存储器 知识点：第十章 解析第十章只读存储器 8.(4分)如图x1-407 （B）。 A. (A) B. (B) C. (C) D. (D) 知识点：第十一章 解析第十一章数字系统概述 9.(4分)为实现将JK触发器转换为D触发器，应使（A）。 A. J=D,K=D非 B. B. K=D,J=D非 C. C.J=K=D D. D.J=K=D非

工程测量课程作业答案

工程测量课程作业_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

离散数学作业11_谓词逻辑答案

离散数学作业 作业11——第3章谓词逻辑 1. 符号化下列命题并推证其结论。 每个大学生不是文科学生就是理工科学生，小张不是理工科学生，因此如果小张是大学生，则他就是文科生。 解：a：小张；M(x):x是大学生；F(x): x是文科生；G(x): x是理工科学生，则符号化为 (x)(M(x)F(x)∨G(x))，┐G(a)M(a) F(a) (1) M(a) P（附加前提） (2) (x)(M(x)F(x)∨G(x)) P (3) M(a)F(a)∨G(a) (2),US (4) ┐M(a)∨F(a)∨G(a) (3),等值演算 (5) F(a)∨G(a) (1),(4),析取三段论 (6) ┐G(a) P (7) F(a) (5),(6),析取三段论 (8) M(a) F(a) (1),(7),CP规则 注：也可采用直接证法。 2. 符号化下列命题并推证其结论。 所有的主持人都是有风度的，黎明既是学生又是主持人，所以有一些学生是有风度的。 解：S(x): x是学生；Z(x): x是主持人；F（x）：x是有风度的；a：黎明。

(x)(Z(x)F(x))，S(a)Z(a)(x) (S(x)F(x)) (1) (x)(Z(x)F(x)) P (2) Z(a)F(a) (1),US (3) S(a)Z(a) P (4) S(a) (3),化简 (5) Z(a) (3),化简 (6) F(a) (2),(5),假言推理 (7) S(a)F(a) (4),(6),合取引入 (8) (x) (S(x)F(x)) （7），EG 3．在一阶谓词逻辑中构造下面推理的证明。 前提：(x)(F(x)∨G(x))，(x)(F(x)→H(x))， 结论：(x)(H(x)→G(x))。 证明：反证法 (1)(x)(H(x)→G(x)) 附加前提 (2)(x)(H(x)→G(x)) (1),量词否定等值式 (3)(H(c)→G(c)) (2), ES (4)(H(c) ∨G(c)) (3), 等值演算 (5)H(c)G(c) (4), 等值演算 (6)H(c) （5），化简 (7)G(c) （5），化简 (8)(x)(F(x)∨G(x)) P (9)F(c)∨G(c) （8），US

数字逻辑心得体会(多篇范文)

数字逻辑心得体会 数字逻辑与系统课程在工科类学科属于普遍的基础性课程，计算机专业、电子信息类专业及其机电类专业都涉及该课程的学习。此次课程培训是以数字逻辑为基础，系统分析为桥梁，系统综合为目的，全面介绍数字电路的基本理论、分析方法、综合方法和实际应用，并着重从以下几个方面进行了介绍 1．介绍如何整理、设计电子教案； 2．如何讲好本门课程； 3．教学手段与教学方法在本课程的体现； 4．综合设计实验的设计与实施； 5．国家精品课程的申报与建设。 在解决如何讲好本门课程环节，侯教授提出了“厚理博术、知行相成”的理念，使我对该课程的教学有了更深的认识。在我院的实际教学过程中，由于课时少，实验的课时被大量压缩，侯教授关于课程实验的处理方式给了我们一种全新的方案。侯教授课件中很多flash 动画的灵活应用，也较好的解决了那些用语言无法表达清楚的问题的讲解。 研究性教学和双语教学对年轻教师提出了新的要求。作为一名年轻教师，刚走上讲台不久，在课程的讲授过程中，基本都是采用传统的教学方法，即以讲授为主，实验为辅，案例教学基本没有。平铺直叙和填鸭式教学早被学生所厌倦。刘颖教授的研究性教学极好的调动

了学生参与教学的积极性。通过刘颖教授的报告，我深深的感受到数字逻辑与系统课程不仅是一门基础课程，同时也是一门综合性较高的实用课程。研究性教学方式的提出也给我们这些年轻教师提出了新的努力方向。研究性教学虽然给年轻教师提出了更大的要求和较大的压力，但是也是一种努力工作的动力，促进年轻教师的不断成长。同时，娄淑琴教授关于双语教学的报告，也给我们提出了新的要求，自己深深感受到责任的重大，压力也越来越大。但是也激发自己努力的激情与信心。研究性教学和双语教学在一定程度上对年轻教师的科研、应用水平和外语能力等综合素质提出了更高的要求，同时，进一步促进教师阅读国外科技文献、追踪行业发展新动向，保持教师敏锐的学习能力，利于形成新的观点和见解。 通过此次培训，也感受到了师德在教学工作中的重要作用的体会。侯教授及其团队教师的人格魅力在实际教学中起到了很好的促进教学作用。在培训中，很多参加培训的老师被侯教授的敬业精神所感动，所鼓舞，这一点值得我们年轻教师学习并发(请你支持)扬光大。当崇高的师德与高超的教学技术融于一身时，这个才是大师。 在此次培训中，我积极与各院校教师交流，共同探讨该门课程的实际教学中遇到的问题，通过交流大家认为在数字电子技术基础教学工作中遇到的主要困难是：很多学生认为学习数字逻辑课程没用，学习不主动，没有创新意识。并从其它老师处学习到了解决诸如分析键盘译码电路、奇偶检验电路、计算机i/o接口地址译码电路，设计火灾

慕课 离散数学 电子科技大学 课后习题十 答案

作业参考答案——10-特殊图 1.(a)(c)(d)是欧拉图，(a)(b)(c)(d)(e)可以一笔画，(a)(b)(c)(d)(e)(f)(g)是 哈密顿图。 2.根据给定条件建立一个无向图G=，其中： V={a,b,c,d,e,f,g} E={(u,v)|u,v∈V,且u和v有共同语言} 从而图G如下图所示。 a b c d e f g 将这7个人围圆桌排位，使得每个人都能与他两边的人交谈，就是在图G 中找哈密顿回路，经观察上图可得到两条可能的哈密顿回路，即两种方案：abdfgeca和acbdfgea。 3.证明（法一）：根据已知条件，每个结点的度数均为n，则任何两个不相邻 的结点v i,v j的度数之和为2n，而图中总共有2n个结点，即deg(v i)+ deg(v j)?2n，满足哈密顿图的充分条件，从而图中存在一条哈密顿回路，当然，这就说明图G是连通图。 证明（法二）：用反证法，假设G不是连通图，设H是G的一个连通分支，由于图G是简单图且每个结点的度数为n，则子图H与G-H中均至少有n+1个结点。所以G的结点数大于等于2n+2，这与G中结点数为2n矛盾。所以假设不成立，从而G是连通图。 4.将n位男士和n位女士分别用结点表示，若某位男士认识某位女士，则在 代表他们的结点之间连一条线，得到一个偶图G，假设它的互补结点子集V1、V2分别表示n位男士和n位女士，由题意可知V1中的每个结点度 1

数至少为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、若P，Q，为二命题，Q P→真值为0 当且仅当。2、命题“对于任意给定的正实数，都存 在比它大的实数”令F(x)：x为实数，:) , (则命题的逻辑谓词公式y L> x x y 为 。

3、谓词合式公式)( xP? ?的前束式 x → ) (x xQ 为。 4、将量词辖域中出现的 和指导变元交换为另一变元符号，公式 其余的部分不变，这种方法称为换名规 则。 5、设x是谓词合式公式A的一个客体变 元，A的论域为D，A(x)关于y是自由的，则 被称为存在量词消去规则，记为ES。 6．设P，Q 的真值为0，R，S的真值为1，则 → ∨ Q P? ∨ ?的真值 → ∧ ? (S ))) ( R ( ) P R ( = 。 7．公式P ∧) ( ) (的主合取式为 ∨ R S R P? ∨ ∧

。 8．若解释I的论域D仅包含一个元素，则)( xP? → ?在I下真值为 xP ) (x x 。 9. P：你努力，Q：你失败。“除非你努力，否则你将失败”的翻译为 ；“虽然你努力了，但还是失败了”的翻译为 。 10. 论域D={1，2}，指定谓词P 则公式),(x y ?真值 x? yP 为。 11.P，Q真值为0 ；R，S真值为1。则

∧ wff∧ R ∨ → )) ∧的真值∨ S P )) P ) ( ( (( Q R (S 为 。 12. R ?) ) ((的主合取式 ∧ R Q ∨ P wff→ 为 。 13.设 P（x）：x是素数， E(x)：x 是偶数，O(x)：x是奇数 N (x,y)：x可以整数y。则谓词))) x y O P y ?的自然语言是 → ? wff∧ x ( ) ( N ( , y ( (x ) 。 14.谓词)),,( x y z P x z ?的前束 ? P ? ∧ → wff? y ) , ( , )) y ( z ( uQ x (u 式为 。

《数字逻辑电路》教学大纲

《数字逻辑电路》教学大纲 开课系：信息工程系 适用专业及学生层次：初中起点 学时：112课时 先修课：电工基础、电子电路 后续课：微机原理、现代移动通信、程控交换技术 推荐教材及参考教材：《数字逻辑电路》 编写人：XXX 一、说明 1、课程的性质和内容 本门课程是通讯专业通用教材。主要内容包括数字电路基础，逻辑门电路，组合逻辑电路，触发器，时序逻辑电路，脉冲信号的产生与整形，数模和模数转换，数字集成电路应用以及有关实验等。 2、课程的任务和要求 第一，以能力为本位，重视实践能力的培养，突出职业技术教育特色。 第二，吸收和借鉴各地教学改革的成功经验，专业课教材的编写采用了理论知识与技能训练一体化的模式。 第三，更新教材内容，使之具有时代特征。 第四，贯彻国家关于职业资格证书与学业证书并重，职业资格证书制度与国家就业制度相衔接的政策精神，力求教材内容涵盖有关国家职业标准的知识、技能要求，确实保证毕业生达到中级技能人才的培养目标。 3、教学中应注意的问题 第一，根据企业的需要，确定学生应具备的能力结构和知识结构。 第二，教学中应时刻充实新知识、新技术、新设备和新材料。 第三，注意理论与实际结合。

二、学时分配表

三、课程内容与教学要求 第一章数字电路基础 教学要求 （1）掌握数字电路的特点 （2）明确各进制间的转换规则 （3）掌握基本的逻辑运算 （4）熟悉基本逻辑公式和逻辑定理 （5）掌握逻辑函数化简方法 （6）熟悉逻辑函数的各种表示方法以及相互转换的方法 （7）掌握半导体开关特性 教学内容 （1）掌握模拟电路和数字电路的各自特点以及它们的区别 （2）明确二进制、八进制、十六进制和十进制的表示方法以及转换时的不同规则 （3）掌握与、或、非三个最基本逻辑运算的逻辑符号、真值表及逻辑功能。（4）熟悉掌握逻辑电路中的运算律和等式的三个规则，了解异或运算的公式（5）熟悉利用逻辑运算规则及各种定律化简逻辑函数——即公式化简法，了解什么是卡诺图，熟练掌握逻辑函数卡诺图化简法。 （6）熟悉逻辑函数的表达式、卡诺图、真值表、波形图、逻辑图的转换方法。（7）掌握半导体二级管的单向导电性，掌握三极管的工作要求，工作在饱和、放大和截止区域的条件要求。 教学建议： 本章是数字逻辑电路的基础，与今后的学习内容紧密联系，学生应熟练掌握。 第二章逻辑门电路 教学要求 （1）掌握分立元件门电路的基本组成 （2）熟悉TTL集成门电路的特点 （3）熟悉CMOS集成门电路的常用门 （4）明确门电路的应用 教学内容 （1）掌握与、或、非门的各自特点和功能，熟悉组合后的复合门电路的特点

工程测量课程作业

工程测量课程作业_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规则 第五章

数字逻辑教学大纲

《数字逻辑》 教学大纲 哈尔滨师范大学 计算机科学与信息工程学院

《数字逻辑》 一、课程设置的有关说明 1.数字逻辑课程是计算机科学与技术专业重要的必修课。 2.数字逻辑是基于数字电路相关知识的计算机硬件基础课程，是计算机硬件课程体系的一个重要知识环节。 3.设置本课程的目的和要求：由于一方面数字逻辑是一门涉及面较宽的综合性学科，另一方面也是一门正在迅速发展前沿的学科，新的思想、新的理论以及新的方法不断涌现，还有一点值得注意的是数字逻辑在计算机及其相关领域得到广泛的应用。为此，本课在选材、内容组织等方面力求做到：科学性、新颖性、实用性，力图在阐明基本原理和方法的同时，也能反映某些最新的研究成果，使学生比较牢固地掌握本课程分支的基本理论知识及实际应用能力。 本门课程共70学时，其中理论课54学时，实验课16学时；总学分为3学分。 4.本门课程主要讲授数字逻辑的基本理论及设计原理和相关实践，全面介绍数字逻辑的基本概念、设计原理、工作原理、实际应用、技术开发和该技术的未来发展方向和趋势，通过学习该知识体系使学生基本掌握该知识体系得理论知识和该知识体系在计算机相关领域的实际应用，及该课程体系在计算机硬件知识体系的重要地位。并为将来独立的从事基于计算机硬件知识体系的研究与开发打下更坚实的基础。 二、具体教学内容 第一章基本知识（4学时） 1.教学目的和教学基本要求： 掌握数字量与模拟量的特点，数字电路的特点、应用；了解二进制的算术运算与逻辑运算的不同之处；掌握不同数制之间的相互转换；掌握带符号二进制数的代码表示；掌握几种常用的编码。 2.内容提要： 第一节概述

第二节数制及其转换 第三节带符号二进制数的代码表示 第四节几种常用的编码 3.复习思考题： （1）二、八、十六进制数的转换 （2）8421、2421、余三码的组成 （3）格雷码和二进制转换 第二章逻辑代数基础（12学时） 1.教学目的和教学基本要求： 掌握逻辑代数的三种基本运算、三项基本定理、基本公式和常用公式；掌握逻辑函数的三种表示方法（真值表法、逻辑式法、卡诺图法）及其相互之间的转换；掌握逻辑函数的公式化简法和卡诺图化简法；掌握最小项、最大项、约束项的概念及其在逻辑函数化简中的应用。 2.内容提要： 第一节逻辑代数的基本概念 第二节逻辑代数的基本定理和规则 第三节逻辑函数表达式的形式与变换 第四节逻辑函数化简 3.复习思考题： （1）利用逻辑代数基本公式对逻辑函数化简。 （2）化简逻辑函数为最小项之和形式。 （3）利用卡诺图法化简逻辑函数公式。 第三章集成门电路与触发器（12学时） 1.教学目的和教学基本要求： 了解门电路的定义及分类方法；掌握二极管、三极管的开关特性，及分立元件组成的与、或、非门的工作原理；了解TTL与非门的工作原理，静态输入、输出、电压传输特性及输入端负载特性，开关特性；了解其它TTL门（与非门、或非门、异或门、三态门，OC门）的工作原理及TTL门的改进系列；了解CMOS反相器的工作原理及静态特性；

《工程测量》课程作业

工程测量课程作业_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={, , , }，则R具有的性质是反自反性． 6．设集合A=｛a, b, c, d｝，A上的二元关系R={, , , }，若在R中再增加两个元素 , ，则新得到的关系就具有对称性． 7．如果R1和R2是A上的自反关系，则R1∪R2，R1∩R2，R1-R2中自反关系有2 个．