一、解释和赋值 解释是对每个符号说明其含义.赋值是指岀每个公式的真假值

1.量词、谓词、个体词、命题符号化 2.合式公式、解释、永真式 3.一阶逻辑等值式 4.一阶逻辑推理规则

1.命题、命题符号化 2.合式公式、真值表、永真式 3.逻辑等值式、推理定律 4.形式化证明

研究推理的一门学科 数理逻辑：用数学方法研究推理的一门数学学科-------- 一套符号体系 + 一组规则

4.1 一阶逻辑命题符号化 4.2 一阶逻辑公式及解释

在编译程序的工作过程中，经常需要收集和记录源程序 中的一些信息,这些信息往往保存在称为符号表的表中，根据 不同的需要可建立如常数表，标识符表各种用途的符号表等。 由于每使用一个标识符就需要查表，在整个编译过程中编译 程序对这些表格的操作是很频繁的。因此，如何提高填查表 的效率直接影响到编译程序的工作效率。 编译程序使用的数据结构从使用的目的来看，可分为查 找型数据结构和分配型数据结构

7.1三变量模型:符号与假设 一、三变量PRF的随机表达式:

1,平面矢量;科学符号和单位 1.1什么是标量? 解标量只有大小,是一纯数加减时按背通数字运算 12什么是矢量?

5.1 基本触发器的逻辑符号与输 入波形如图P5.1所示。试作出 Q 、Q 的波形

1 进位计数制 2 数制转换 3 带符号数的代码表示 4 常用的一般编码