复习命题演算推理形式系统N N中推理的每个式子都由前提和结论组成,接近 于实际推理,又称为自然推理形式系统。 ·第一个给出自然推理形式系统的是德国数学家甘岑(G. Gentzen,1909-1945),所以又称N为甘岑系统

1、熟练掌握基本RS触发器的工作原理、 逻辑功能,及钟控RS触发器、JK触发器、D触发器的逻辑功能、时间波形图、特性方程。 2、理解钟控RS触发器、JK触发器、D触发器电路的工作原理、特点、相互之间的转换及常用JK触发器、D触发器集成芯片的使用。  第1、2学时：基本RS触发器  第3、4学时：钟控触发器  第5、6学时：集成触发器

6.5采用中规模集成器件设计任意进制计数器 6.6采用小规模集成器件设计计数器

1、掌握半加器、全加器、常用算术/逻辑运算单元等运算电路的电路结构及其使用方法; 2、掌握典型的译码器、编码器、数据选择器、数据分配器等信号变换电路的电路结构及其使用方法; 3、了解数字比较器的电路结构及其扩展方法;  第1、2学时：算术运算电路  第3、4学时：信号变换电路  第5、6学时：数值比较器

第一章 命题逻辑 第二章 谓词逻辑 第三章 集合论初步 第四章 二元关系 第六章 函数 第六章 代数系统 第七章 格与布尔代数 第八章 图论

一、上节介绍了将命题表示为符号串。 二、是否每个符号串都是命题呢? pq→ 三、什么样的符号串才能表示命题呢? 如下命题形式定义的符号串表示的才是命题

一、命题演算推理形式系统P(和N)语法 二、语法的核心是推理:a? 三、P是符号演算。 四、公式的含义:真、假、永真等语义

(1)掌握分析和设计电路的基本方法。 (2)学习常用中规模集成模块比较器。 (3)了解电路中的竞争和冒险现象译码器

1.1.1 数字信号 1.1.2 数制及其转换 1.1.3 二－十进制代码（BCD代码） 1.1.4 算术运算与逻辑运算 1.1.5 数字电路

1-1人工智能的概念 1-1-1什么是人工智能 (1)人工智能( Artificiallntelligencel]指由计算机实现的 人造智能。人工智能就是用人工的方法在机器(计算机) 上实现的智能。作为一门学科,人工智能可定义为:人工 智能是一门研究如何构造智能机器(智能计算机)或智能 系统,使它能模拟、延伸、扩展人类智能的学科