1.1命题及联结词 1.2命题公式与翻译 1.3真值表和等价公式 1.4重言式 1.5范式 1.6全功能联结词集 1.7对偶式与蕴含式 1.8命题逻辑的推理理论

简单推理与直接推断型 这类题型的具体形式是：以题干为前提，要求在选项中确定合乎逻辑的结论；或者， 从题干出发，不可能推出什么样的结论。 对一个逻辑推理，不管是简单还是复杂，都要明确推理形式的有效性。推理形式的 有效性亦称“保真性”，指一个正确有效的推理必须确保从真的前提推出真的结论。尽 管从假的前提出发也能进行合乎逻辑的推理，其结论可能是真的，也可能是假的，但从 真前提出发进行有效推理，却只能得到真结论，不会得到假结论。只有这样，才能保证 使用这种推理工具的安全性。这种保真性是对于正确推理是最起码的要求

第六章 Verilog的数据类型及逻辑系统 • 学习Verilog逻辑值系统 • 学习Verilog中不同类的数据类型 • 理解每种数据类型的用途及用法 • 数据类型说明的语法 第7章 结构描述(structural modeling) • 如何使用Verilog的基本单元(primitives) • 如何构造层次化设计 • 了解Verilog的逻辑强度系统 第8章 延时模型 学习内容： 1. 如何说明块延时 2. 如何说明分布延时 3. 如何说明路径延时 4. 怎样在模块中说明时序检查 5. 标准延时格式SDF（Standard Delay Format) 第九章 编译控制的使用 • 开发商提供的Verilog库 • 用Verilog库仿真 • Verilog源代码加密 • 其它仿真器相关的问题

EDA（Electronics Design Automation）即电子 设计自动化技术，是一种以计算机为基本工 作平台，利用计算机图形学、拓扑逻辑学、 计算数学以及人工智能学等多种计算机应用 学科的最新成果而开发出来的一整套软件工 具，是一种帮助电子设计工程师从事电子元 件产品和系统设计的综合技术

“名家”,是流行于春秋战国时期,提倡“循名责实”学说的流派,他们提 倡的“正名实”,。是要“正彼此之是非,使名实相符”。 在春秋战国礼崩乐坏的纷乱里,提出这样的主张非常普通,象儒家有“必也 正名乎”,法家有“综核名实”,墨家有“以名举实”,都与之类似

19世纪末产生的实在主义以反对唯心主义为旗号，反对黑格尔 派的思辨唯心主义，承认外部世界和人的认识对象的实在性，积 极利用数学和逻辑学的成就，对英美哲学思想的发展产生了相当 大的影响。本章主要介绍迈农、怀特海等人的实在主义思想观点、 以及美国新实在主义和批判实在主义思想

本章概述 19世纪末产生的实在主义以反对唯心主义为旗号,反对黑格尔 派的思辨唯心主义,承认外部世界和人的认识对象的实在性,积 极利用数学和逻辑学的成就,对英美哲学思想的发展产生了相当 大的影响。本章主要介绍迈农、怀特海等人的实在主义思想观点 、以及美国新实在主义和批判实在主义思想

5、循序渐进原则 1、循序渐进中的序指的是什么?科学知识本身的逻辑顺序,学生心理发展顺序。 2、“序”在哪里? 两种顺序主要是通过教材的序而呈现的。 3、教材的序与教学的序: 共性与个性的关系

一位魔术师,他拿出一个空盒子,向观众展示了这是个密封的盒子后,当众 放了一只球进去,然后再用他的“魔手”在盒子外面一挥,再一打开盒子,球没 了。这是一个常见的魔术,起码第一次看见的观众会感到大为惊奇,因为他们思 维中迅速地进行了一个三段论推理:盒子是密封的,球被放了进去,所以球一定 还在盒子里面。人们为什么被骗了?

前不久在一本杂志上看到这样一个故事,内容如下 个出名吝啬的乡绅请医生替他的妻子看病 “人家说你十分吝啬,”医生说,“我一定能拿得到诊费吗? 不管你治好还是治死了她,你都可以不必打官司便拿到钱。”乡绅说。 医生悉心医治,可是乡绅夫人还是死了,医生要乡绅付诊费