推理的形式结构 推理的正确与错误 推理的形式结构 判断推理正确的方法 推理定律 自然推理系统P 形式系统的定义与分类 自然推理系统P 在P中构造证明:直接证明法、附加前提证明法、归谬法

• 指令：控制计算机完成指定操作的命令 • 指令系统：所有指令的集合 • 8088/8086指令系统是所有x86系列CPU指令系统 的基础，80286、80386乃至于Pentium等新型CPU 指令是在这个基础上做了一些扩充。 • 8088指令系统共包含92种基本指令 • 8088指令按照功能分为6大类： 数据传送类 算术运算类 逻辑运算和移位 串操作 控制转移类 处理器控制

1.汇编语言的一般概念 2.学习和使用汇编语言的目的 3.进位计数制及其相互转换 4.带符号数的表示 5.字符的表示 6.基本逻辑运算

3.1 基本概念 3.1.1 汇编语言格式 3.1.2 指令中常用符号 3.1.3 寻址方式 3.2 MCS-51单片机指令系统 3.2.1 数据传送与交换指令 3.2.2 算术操作类指令 3.2.3 逻辑运算指令 3.2.4 控制转移类指令 3.2.5 位操作指令 3.3 汇编语言程序格式及伪指令 3.4 汇编语言程序设计方法

2.1 数据信息的表示方法 2.1.1进位计数制及转换 2.1.2 机器数的编码格式 2.1.3 数值数据的表示方法 2.1.4 字符的表示 2.2 MIPS指令集 2.2.1 基本概念 2.2.2 MIPS的操作数 2.2.3 MIPS指令的表示 2.2.4 逻辑操作 2.2.5 决策指令 2.2.6 硬件对过程的支持 2.2.7 MIPS中32位立即数和寻址 2.2.8 翻译并执行程序

FORTRAN 数值计算 COBOL 事务处理 PASCAL 结构程序设计 ADA 大型程序、嵌入式实时系统 PROLOG 逻辑程序设计 ALGOL 算法语言 C/C++ 系统程序设计 Java Internet程序设计

4.1 编程语言 (4.1.1助记符语言; 4.1.2操作码; 4.1.2操作数) 4.2 指令格式及其分类 4.3 寻址方式 4.4 数据传送类指令 4.5 逻辑操作类指令 4.6 算术运算类指令

课程教学大纲从教学实施层面，规定了课程在专业教学计划中的地位和作用、教学的基本任务和要求、培养目标的达成和检验、课程的前后逻辑关系等，是保障教学运行与教学质量的重要依据。本教学大纲依据山西大同大学2019版本科专业人才培养方案制定,包含了数学与应用数学、统计学及经济统计学三个专业，由数学与统计学院承担教学任务的课程教学大纲，每个专业39门课程

• 3.1 汇编语言 • 3.2 数据传送指令 • 3.3 算术运算指令 • 3.4 逻辑操作指令 • 3.5 控制程序转移类指令 • 3.6 位操作类指令

等值式与基本的等值式 等值演算与置换规则 析取范式与合取范式，主析取范式与主合取范式 联结词完备集 可满足性问题与消解法