一.单项选择题(将答案填入下表中,每小题2分,共20分) 题号12345678910 答案 1.命题公式为P⑧(PQ() A.重言式B.可满足式C.矛盾式D.等值式 2.设集合A={1,a},则P(A)=()

本篇用代数方法来研究数学结构,故又叫代数结构,它将用抽象的方法来研究集合上的关系和运算。代数的概念和方法已经渗透到计算机科学的许多分支中,它对程序理论,数据结构,编码理论的研究和逻辑电路的设计已具有理论和实践的指导意义。本篇讨论一些典型的代数系统及其性质（包括格）。 §1 代数系统的引入 §2 运算及其性质 §3 半群 §4 群与子群 §5 阿贝尔群和循环群 §6* 陪集与拉格朗日定理 §7 同态与同构

软件工程概论 3、系统测试 有如下过程: (1)功能测试: 检查集成的系统在运行时是否满足需求中指定的功能。单元测试和集成测试的重点是构件及构件间的交互。 这里的测试不必知道正在执行哪个构件,但必须知道系统是作什么的。与功能相关的活动集合称为线程( thread ),因此这里的功能测试有时称为线程测试

辑上的文件总得以不同方式保存到物理 存储设备的存储介质上去,所以,文件 的物理结构和组织是指逻辑文件在物理 存储空间中存放方法和组织关系。这时 ,文件看作为物理文件,即相关物理块 的集合。文件的存储结构涉及块的划分 记录的排列、索引的组织、信息的搜 索等许多问题。因而,其优劣直接影响 文件系统的性能

文件是程序设讣中极为重要的一个概念,文件一般指 存储在外部介质上的数据的集合。通过文件可以大批量 处理数据,可以长时间的将信息存储起来。本章通过文 件操作实例分析着手,使读者首先对文件的操作过程有 一个初步的宁解,明白文件操作的重要性,进而再深入 的学习C语言有关文件的操作

对策论 本章来介绍对策论(game theory) 对策是有厉害冲突的各方所分别采取的决策对策论,亦称为博弈论,研究具有对抗、竞争、冲突性质的问题 对策论的思想古已有之,如我国战国时期的“齐王与田忌赛马”最早利用数学方法来研究对策论的是数学家E. Zermelo,他于1912年发表了论文《关于集合论在象棋对策中的应用》.1944年

4.1网络互连 1.基本概念 （1)网络(物理网络) 指直连的网络或通过交换设备相连的网络。 （2)互连网络 指物理网络互连组成的网络的集合。 （3)路由器 指连接两个或多个不同类型网络的设备。 （4)网络层 OSI七层协议的第三层,负责通信设备间连接的建立、维护和终止,并转换传输数据。路由器工作在此层

第六章图 6.1图的定义和术语 一、图( Graph)—图G是由两个集合∨(G)和E(G组成的,记为G=V,E)

2.5.2可逆矩阵,方阵的逆矩阵 1、可逆矩阵,方阵的逆矩阵的定义 定义设A是属于K上的一个n阶方阵,如果存在属于K上的n阶方阵B,使 BA= AB=E,则称B是A的一个逆矩阵,此时A称为可逆矩阵。 2、群和环的定义 定义设A是一个非空集合。任意一个由A×A到A的映射就成为定义在A上的代数运算

第八章有理整数环 8-1有理整数环的基本概念 8.1.1有理整数环的基本概念 全体整数所组成的集合中有两种运算:加法和乘法,而且它们满足下面运算法则: （1)加法满足结合律; （2)加法满足加换律 （3)有一个数0,是对任意整数a,0+a=a; （4)对任意整数a,存在整数b,使b+a=0 （5)乘法满足结合律 （6)有一个数1,是对任意整数a,la=a