费马定理设函数f(x)在x的某邻域U(xo)上有定义, 并且在点x处可导,如果对任意x∈U(xo) 有f(x)≤f(xd),或f(x)f(xo 即在x取到极值,则f'(xo)=0 证明:不失一般性。设f(x)在点x=c取到最大值, 则f(x)≤f(c),x∈(a,b)

5.1.3线性空间上的对称双线性函数、二次型函数的定义 定义若f为V上的双线性函数且f(a,B)=f(B,a),则称f为V上的对称双线性 函数。 命题f为对称双线性函数,当且仅当f在任意一组基下的矩阵为对称矩阵,当且仅 当f在某一组基下的矩阵为对称矩阵。 证明任取V的一组基1,2,…,n,任取a,B∈V,设它们在此组基下的坐标所构成 的列向量分别为X和Y,f在此组基下的矩阵记为A,若f为对称双线性函数,则由定

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

高等数学 T 文科高等数学 高等数学 线性代数 高等代数 空间解析几何 数学分析 复变函数与积分变换 复变函数 应用回归分析 概率论 概率论与数理统计 A 概率论与数理统计 应用随机过程 运筹学 最优化方法 离散数学 数学实验与建模 数学与经济 数学与文化 大学物理 卫星导航的奥秘 朋友圈与网络 数字动画与虚拟现实技术导论 计算方法 数字图像处理 数字信号处理 计算机应用基础 B 数据结构 计算机应用基础 逻辑与计算机设计基础 人工智能鱼 FLASH 动画设计与 ASP 编程 数据库基础及应用 Java 程序设计 数据库系统原理 数据库应用基础 软件工程 现代操作系统 嵌入式操作系统 web 程序设计 程序设计语言（C++） 程序设计语言（C 语言） 程序设计语言 python I 程序设计语言 python II 程序设计基础 I 程序设计基础 I 课程设计 Photoshop 入门与提高 电子商务概论 编程艺术 编译原理技术 编译原理技术课程设计 操作系统原理 操作系统原理课程设计 大数据应用平台 大数据应用平台课程设计 单片机原理与应用 高级程序设计 高级程序设计课程设计 海洋大数据技术与应用 海洋大数据技术与应用课程设计 计算机网络 计算机网络课程设计 计算机系统结构 计算机组成原理 数据结构课程设计 数据库原理 数据库原理课程设计 数据挖掘 数据挖掘课程设计 信息安全概论 信息论 虚拟现实 移动开发技术 中级综合开发实践 专业大型综合实践 综合实习 毕业设计(论文) 毕业设计（论文） 毕业论文 海洋空间信息工程概论 海洋信息技术与应用 海洋遥感影像分析 海洋遥感影像分析课程设计 空间建模与分析 空间建模与分析课程设计 空间数据获取技术基础 空间数据获取技术基础课程设计 空间信息管理与服务 逻辑与计算机设计基础 I 课程设计 人工智能基础 人工智能基础课程设计 数学建模 数学建模课程设计 数学实验 数值分析 数值分析课程设计实习 数字信号处理课程设计 算法基础 算法基础课程设计 微机原理与接口技术 物联网概论 软件工程课程设计 软件工程综合课程设计 软件开发与创新 软件开发与创新课程设计 数学专业英语 控制论基础 计算智能

第十二章张量积与外代数 12-1多重线性映射 12.1.1线性空间的一组基的对偶基的定义 定义12.1对偶空间 设v是k上n维线性空间,E2,Sn是的一组基,则线性函数 f:V→K(K为数域)被f在此组基下的映射法则决定,即f()f(2)f(n)已给 定。现设V内全体线性函数组成的集合为V,则在V内定义加法与数乘如下: (i)f,,+)(a)= f(a)+g(a); (iif EV', k K, f )(a)= (a). 则V关于上述加法、数乘组成K上的线性空间,称为V的对偶空间,记作o(V,K 定义12.2对偶基 假设同定义12.1,定义V内n个线性函数

第四章4-4线性变换的特征值与特征向量 4.4.1线性变换的特征值与特征向量的定义 定义若存在非零向量ξ∈V,使得对于某个∈K,有A5=5,则称ξ是A的属 于特征值λ的特征向量。 命题线性空间V中属于确定的特征值λ的特征向量(添加上零向量)构成子空间。 证明设51,52是属于的特征向量,Vk,∈K,则 A(k5+2)=k()+a(2)=k+2=(k5+152), 证毕。 定义线性空间V中属于确定的特征值λ的特征向量(添加上零向量)构成子空间称 为属于特征值的特征子空间,记为V 4.4.2特征值和特征子空间的计算、特征多项式

12.3.2用一个多项式的根和另一个多项式计算结式的公式 命题设 f(x)=ax+a1x-+…+an(a≠0 (x) box\+b- + (bo=0) 如果f(x),g(x)在C[x]中的分解式为 g()= bo (x-B) ).(x-)(1) 那么 R(f,g)=ag(a)=(-1)f(B)(*) 证明在数域K上的n+m+1元多项式环K[x,y1yn21m]中,令 f(x,y,yn)=a(x-y)…(x-yn)(2) g(x,z1,m)=b(x-z)…(x-m)(3)

第四章4-2子空间与商空间 4.2.4子空间的直和与直和的四个等价定义 定义设V是数域K上的线性空间,2…,是V的有限为子空间。若对于 ∑中任一向量,表达式 a=a1+a2+…+am,a1e,i=12,m 是唯一的,则称∑V为直和,记为 1 v⊕或V 定理设V12,…,Vn为数域K上的线性空间V上的有限为子空间,则下述四条等

《法律职业道德修养》 《哲学思维方法》 《基础写作 B》 《心理学》 《人力资源管理概论》 《高等数学 E》 《Visual FoxPro 程序设计》 《Visual FoxPro 程序设计》（上机） 《中国传统文化概论 A》 《西方文化概论 A》 《公共关系学》 《市场营销学 B》 《法理学》 《中国法制史》 《宪法》 《人权法》 《民法》 《刑法》 《行政法与行政诉讼法》 《诉讼法 1、2》 《商法》 《知识产权法 A》 《经济法》 《环境法》 《国际法》 《国际私法》 《国际经济法》 《世界贸易组织法》 《法律逻辑学》 《合同法》 《婚姻家庭继承法》 《劳动与社会保障法》 《海商法》 《证据学》 《律师实务》 《法律文书》 《法律经济学》 《国际贸易法》 《国际金融法》 《国际投资法》 《国际税法》 《国际商事仲裁法》 《法务实训》 《法律英语》 《外国法制史》 《法学名著导读》 《物权法》 《侵权法》 《犯罪学》 《犯罪心理学》 《房地产法》 《国家赔偿法》 《司法考试实务》 《法律诊所》 《日本法专题》 《外国宪法》 《欧盟法专题》 《法律文献检索》 《学年论文》 《专业见习》 《暑期法律实践》 《社区法律实践》 《毕业实习》 《毕业论文》

第九章元多项式环 9-1一元多项式环的基本理论 911域上的一元多项式环的定义 定义91设K是一个数域,x是一个不定元。下面的形式表达式 f(x) (其中an3a1,a2属于K,且仅有有限个不是0)称为数域K上的一个不定元x的一元多 式。数域K上一个不定元x的多项式的全体记作K[x] 下面定义K[x]内加法、乘法如下 加法设