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

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

本章是为了介绍泛函分析中的一些基本概念并提供全书的基础知识 正如前言中所提到的,泛函分析的基础建立在集合的两种结构之上,一种是 代数结构即线性结构,另一种是拓扑(本书中体现为度量)结构.本章将首先介 绍线性空间、度量空间、赋范空间、内积空间以及拓扑空间的公理系统,讨论它 们之间的相互关系;

第一章代数学的经典课题 1若干准备知识 1.1.1代数系统的概念 一个集合,如果在它里面存在一种或若干种代数运算,这些运算满足一定的运算法则,则称这样的一个体系为一个代数系统

数值解,满足工程实际需要,计算机技术使之成为现实。 FEM:运用离散概念,把弹性连续体划分为一个由有限个单元组成的集合 体,通过单元分析和组合,得到一组联立代数方程组,最后求得数值解。 40年代,离散化概念,计算机不现实 60年,美国R.W. lough飞机三角形单元模型,FEM概念 65年,0.C. Zienkiewics FEM适用于所有能按变分形式进行计算的 场问题

 关系模型 ◦ 关系数据结构 ◦ 关系操作 ◦ 关系的完整性约束  关系代数 ◦ 集合计算 ◦ 关系运算  关系演算 ◦ 元组关系演算语言ALPHA ◦ 域关系演算语言QBE

2.4 关系代数 ❖ 概述 ❖ 传统的集合运算 ❖ 专门的关系运算 2.5 关系演算 2.5.1 元组关系演算语言ALPHA 2.5.2 域关系演算语言QBE 2.5.4 域关系演算 2.6 小结

1 线性代数基本知识 线性空间: 定义在数域K上的向量集合{v1, v2, v3, …}=V. 在V中定义了加法和数乘两种运算. 设v1, v2, v3∈V,a,b,c ∈K, 向量的加法和数乘具有封闭性, 且满足下列条件:

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

1、什么是线性空间? 设V是一非空集合,P是一个数域在V中定义加法 v=a+B;在V与P之间定义数量乘法:δ=ka.如果 加法与数量乘法满足