2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习题二

2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习题二

冯·诺伊曼J(1903~1957) 著名数学家.1903年生于匈牙利布达佩斯,1957年2月在华 盛顿因病去世 诺伊曼从小就显示出数学天才,1921年入柏林大学,1923年 入瑞士苏黎世联邦工业大学学习化学,在此期间开始研究数 理逻辑,1926年春在布达佩斯大学获博士学位.之后相继在 柏林大学、汉堡大学和普林斯顿大学任教,1933年成为普林 斯顿高等研究所教授.第二次世界大战期间,曾任研制原子 弹顾问,参加研制计算机

一.(本题20分)设K为数域.给定K4的两个子空间 M={(x1,2,3,4)|21-x2+4x3-3x4=0,x1+x3-x4=0 N={1,x2,x3,4)3x1+x2+x3=0,7x1+7x3-3x4=0} 求子空间MN和M+N的维数和一组基 二(本题10分)在K4内给定 a1=(1,-1,1,1),a2=(2,-2,0,1). 令M=L(a1,a2).试求商空间K4/M的维数和一组基 三.(本题20分)给定数域K上的3阶方阵 1-11 A=24-2 3-35 1.求K上的3阶可逆方阵T,使T-1AT为对角矩阵 2.对于任意正整数m,求Am

1 计算机类学科基础必修 离散数学 程序设计基础 I 程序设计基础 II Java 框架编程 操作系统原理 计算机网络 计算机组成原理 数据库原理 海洋空间信息工程概论 数据结构与算法 2 计算机类学科专业必修 数据分析原理与技术 数据可视化原理与应用 软件工程 高级程序设计 25 课程 实习（实践） 海洋大数据技术与工程应用 大数据原理与技术 数据挖掘 大数据处理技术 海洋遥感影像分析 空间建模与分析 空间数据获取技术基础 软件工程导论 软件开发与创新 数字信号处理 微机原理与接口技术 数据科学导论 算法设计与分析 人工智能 软件项目管理 软件需求分析 软件架构与设计模式 软件测试与质量保证 编译原理 海洋空间信息管理与服务 3 计算机类专业选修 计算机系统结构 数学建模 数值计算方法 数字图像处理 逻辑与计算机设计基础 智能计算及应用 物联网概论 Linux 操作系统 现代操作系统 WEB 程序设计 Python 程序设计 单片机原理与应用 虚拟现实 信息安全概论 移动开发技术 编程艺术 生物大数据 海洋信息技术与应用 4 计算机类实践课 数据科学综合 JAVA 框架编程 计算机综合实践与案例 专业大型综合实验 综合实习 中级综合开发实践 软件工程综合实习（实践） 毕业论文（设计） 5 信息与计算科学专业学科基础必修 高等代数 I 高等代数 II 空间解析几何 数学分析 I 数学分析 II 概率论与数理统计 A 常微分方程 6 信息与计算科学专业学科专业必修 复变函数 运筹学 数值分析 7 信息与计算科学专业专业选修 应用随机过程 最优化方法 微分方程数值解 应用回归分析 计算智能 8 信息与计算科学专业实践课 专业技能实践实习（实践） 数学实验 数学建模实习（实践） 毕业设计（论文） 综合实习实习（实践）

第三章3-1,3-2n阶方阵的行列式 3.1.1平行四边形的有向面积和平行六面体的有向体积具有的三条性质 在解析几何中已证明,给定二维向量空间中的单位正交标架,设向量a,B的坐标分别 为(a1,a2)和(b,b2),则由向量a,B张成的平行四边形的有向面积为ab2-a2b,这里记 为;给定三维空间内右手单位正交标架,设向量a,B,y的坐标分别为(a1,a2,a3) (b1,b2,b3)和(1,C2,C3),则由向量a,B,y张成的平行六面体的有向体积为 (ab2-a2b1)c1+(a3b1-ab3)c2+(ab2-a2b1)C3

一.(本题共40分)给定有理数域上的多项式f(x)=x4+3x2+3 1.(本题5分)证明f(x)为中的不可约多项式 2.(本题5分)设a是f(x)在复数域C内的一个根.定义 Qa]= {ao +aa+a2a2}. 证明:对于任意的g(x)∈x],有g(a)∈a];又对于任意的B,ya,有 Bry Qa 3.(本题5分)接上题.证明:若B∈Qa],B≠0,则存在∈a],使得y=1. 4.(本题15分)找出f(x)的一个sturm序列.判断f(x)有几个实根. 5.(本题10分)求下面三阶方阵在有理数域Q上的最小多项式:

3.1.1平行四边形的有向面积和平行六面体的有向体积具有的三条性质 在解析几何中已证明,给定二维向量空间中的单位正交标架,设向量a,B的坐标分别 为(a1,a2)和(b,b2),则由向量a,B张成的平行四边形的有向面积为ab2-a2b,这里记 为;给定三维空间内右手单位正交标架,设向量a,B,y的坐标分别为(a1,a2,a3) (b1,b2,b3)和(1,C2,C3),则由向量a,B,y张成的平行六面体的有向体积为 (ab2-a2b1)c1+(a3b1-ab3)c2+(ab2-a2b1)C3

多元分析（multivariate analyses）是多变量的统计分析方法，是数理统计中应用广泛的一个重要分支，其内容庞杂，视角独特，方法多样，深受工程技术人员的青睐和广泛使用，并在使用中不断完善和创新。由于变量的相关性，不能简单地把每个变量的结果进行汇总，这是多变量统计分析的基本出发点。 §1 聚类分析 §2 聚类分析案例—我国各地区普通高等教育发展状况分析 §3 主成分分析 §4 主成分分析案例－我国各地区普通高等教育发展水平综合评价 §5 因子分析 §6 因子分析案例 §7 判别分析 §8 典型相关分析（Canonical correlation analysis）

4.2.2子空间的交与和,生成元集 定义4.13设a1,a2,,a,∈V,则{ka1+k2a2++ka,k∈K,i=12}是V的 一个子空间,称为由a1,a2,,a,生成的子空间,记为(aa2,,a)易见,生成的子 空间的维数等于a1,a2,…,a的秩。 定义4.14子空间的交与和 设V1,V2为线性空间VK的子空间,定义 vnv2={ VEV2},称为子空间的交 V1+V2={v+v2v∈V1,v2∈V2},称为子空间的和。 命题4.9VNV2和V1+V2都是V的子空间