第一章 命题逻辑 第二章 谓词逻辑 第三章 集合论初步 第四章 二元关系 第六章 函数 第六章 代数系统 第七章 格与布尔代数 第八章 图论

第1章命题逻辑 第2章一阶逻辑 第3章集合的基本概念和运算 第4章二元关系和函数 第5章代数系统的基本概念

 Boolean Operations and Expressions  Law and Rules of Boolean Algebra  DeMorgan’s Theorems  Boolean Analysis of Logic Circuits  Simplification Using Boolean Algebra  Standard Forms of Boolean Expressions  Boolean Expressions and Truth Tables  The Karnaugh Map  Karnaugh Map SOP Minimization

2.1 微型机中的数制及其编码 2.1.1 数与数制 2.1.2 不同数制之间的转换 2.1.3 数制数据的编码及其运算 ➢ 1.原码; 2.反码; 3.补码; 4.十进制数的编码((非)压缩BCD码) 2.1.4 非数值数据的编码 2.2 布尔代数和常见逻辑电路 2.3 微型计算机的常用技术术语和技术 2.3.1 常用单位及术语; 2.3.2 常见技术

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

 关系代数 ◦ 关系运算（选择、投影、连接，除运算）  关系演算 ◦ 以数理逻辑中的谓词演算为基础的。可分为：  元组关系演算语言（get，put等6条语句）  域关系演算语言QBE

线性代数第一讲 概论 线性代数是一门普通的基础理论课,它被广泛地应用于科技的各个领域, 尤其在计算机日益普及的今天,求解线性方程组等问题已成为研究科技问题经 常遇到的课题。 线性代数重点研究应用科学中常用的矩阵法,线性方程组的基本知识,另 外行列式也是一个有力的工具,在讨论上述问题时都要用到。 本门课程的特点,既有繁琐和技巧性很强的数字计算,又有抽象的概念和 逻辑推理,在学习中,需要特别加强这两个方面的训练

《线性代数》是理工类和经管类高等院校学生必修的一门重要基础理论课 程。通过该课程的学习,能使学生掌握该课程的基本理论和基本方法,且对学 生其它能力的培养(如逻辑推理能力、抽象思维能力)和数学素养的提高也有 着重要的作用。这些理论方法和能力为一些后续课程的学习及在各个学科领域 中进行理论研究和实践工作提供了必要的保证,受到各院校的高度重视

高等量子力学课程是物理类各专业研究生的一门基础课.本书第一版就是作者在讲授此课程近20年所用讲义的基础上增改而成的.本第二版是在原第一版的基础上修订而成的，此次修订主要增加了量子力学理论在一些具体问题中的典型应用技巧，加强了帮助读者提高应用能力的内容.全书共分八章：希尔伯特空间、量子力学的理论结构、狄拉克方程、对称性理论、角动量理论、散射理论、二次量子化以及辐射的量子理论，内容充实新颖，理论结构和逻辑关系完整严密，并广泛采用算符代数方法，本书以基本原理为出发点进行严谨的阐述，概念定义准确，分析透彻，数学推演脉络清楚；同时注重理解能力、分析能力的训练和培养

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