Array Variables (数组变量) 数组是多个数据元素的有限有序集合， 元素的类型可以是基本数据类型或对象 引用，可以随机访问数组中的元素

文件(file)一般指:存储在外部介质上数据的集合。数据是 以文件的形式存放在外部介质(如磁盘)上的，操作系统是 以文件为单位对数据进行管理的,也就是说,如果想找存在外 部介质上的数据,必须先按文件名找到所指定的文件,然后再 从该文件中读取数据。要向外部介质上存储数据也必须先 建立一个文件(以文件名标识),才能向它输出数据

据统计，在世界各地，人们所使用的语言达2700多种。 什么是语言？ – Webster的定义：“为相当大地区的公众所懂得并 使用的‘话’，以及组成这些‘话’的方法的统一 体” – 上述定义对于建立语言的数学理论而言不够精确。 另一定义：“某一字母表上符号串（句子）的集合” 仍需进一步精确化：

关系模型就是用二维表格结构来表示实体及实体之间 联系的模型。 关系模型是各个关系的框架的集合，即关系模型是一 些表格的格式，其中包括关系名、属性名、关键字等

TEXTIO是文本输入输出包集合,该 包中含有对文本文件进行读写的过 程和函数。 输入输出的文本文件均为ASCII码 文件。 TEXTIO按行对文件处理，以回车、 换行符作为行结束

1 形成土壤的主要岩石类型 岩石：矿物的集合体。 根据岩石的成因分为：岩浆岩、沉积岩和变质岩 岩浆岩又可根据二氧化硅的含量分为：

一、等价关系的定义与实例 二、等价类及其性质 三、商集与集合的划分 四、等价关系与划分的一一对应 五、偏序关系 六、偏序集与哈斯图 七、偏序集中的特定元素

◼ 有序对 ◼ 笛卡儿积及其性质 ◼ 二元关系的定义 ◼ 二元关系的表示 基本运算定义 定义域、值域、域 逆、合成、限制、像 ◼ 基本运算的性质 ◼ 幂运算 定义 求法 性质

◼ 10.1 加法法则和乘法法则 加法法则与乘法法则 应用实例 ◼ 10.2 基本排列组合的计数方法 排列组合问题的分类 集合的排列与组合 多重集的排列与组合

（1）精确逻辑（传统逻辑）的一些概念 命题逻辑、布尔代数、和集合论是同构的。 隐含是重要的概念。 传统的命题逻辑中，命题的“真”和“假”必须具有 意义。逻辑推理是给定一个命题，组合成另一个命题的过 程