一、代数系统的基本概念和基本性质 二、群论 三、 同态与同构 四、环与域

定义一个图是一个三元组,简记为G＝

定义：设X和Y是任何两个集合，而f是X到 Y的一个关系，如果对于每一个xX，有 唯一的yY，使得f，称关系f为 函数，记作：

一、集合的概念及表示 集合：集合是数学中最基本的概念之一，不 能以更简单的概念来定义(define)，只能给出 它的描述(description)。一些具有共同性质 的对象的整体就称为一个集合，这个整体的 每个对象称为该集合的一个元素(member或 element)

离散数学是计算机出现以后迅速发展起 来的一门数学分支。计算机科学就是算 法的科学，而计算机所处理的对象是离 散的数据，所以离散对象的处理就成了 计算机科学的核心，而研究离散对象的 科学恰恰就是离散数学

在命题逻辑中，把命题分解到原子命题为 止，认为原子命题是不能再分解的，仅仅研究 以原子命题为基本单位的复合命题之间的逻辑 关系和推理。这样，有些推理用命题逻辑就难 以确切地表示出来。例如，著名的亚里士多德 三段论苏格拉底推理：

大学基础化学ⅡI 第一节序言(Introduction) 研究化学现象与电现象之间的关系 研究化学能与电能相互转化及其规律的学科

5.1 概述 5.2 工业控制计算机产品的种类及其选择 5.3 工业控制机接口模板及应用

《工程科学学报》：铜锡合金激光选区熔化非平衡凝固组织与性能（北京工业大学、北京科技大学）