[数理逻辑证明论、递归论、模型论和公理集合论.docVIP

数理逻辑(证明论、递归论、模型论和公理集合论) (2010-10-28 00:14:03) ? ? ? ? ◆ 数学基础：逻辑主义，形式主义，直觉主义。 ◆ 数理逻辑* 逻辑演算：命题、一阶、高阶、无穷、多值-模糊、模态、构造逻辑等。* 模型论：模态模型论，非标准模型等。* 公理集合论：集合论公理系统，力迫方法，选择公理，连续统假设等。* 逆归论：算法，递归函数，递归可枚举集，不可解度，广义递归论，判断问题，分层理论等。* 证明论：数学无矛盾性，哥德尔不完备性定理，构造性数学，希尔伯计划等。 ◆ 集合论：集合，映射，序数，基数，超限归纳法，悖论，数系（实数，虚数），组合数学，图论（四色问题）、算术等。 ◆ 代数学* 多项式：代数方程等。* 线性代数：行列式，线性方程组，矩阵，自向量空间，欧几里得空间，线性变换，线性型，二次性，多重线性代数等。* 群：有限群、多面群体、置换群、群表示论、有限单群等。* 无限群：交换群，典型群，线性代数群，拓扑群，李群，变换群，算术群，半群等。* 环：交换环，交换代数，结合代数，非结合代数-李代数，模，格-布尔代数等。* 乏代数 * 范畴* 同调代数-代数理论* 域：代数扩张，超越扩张，伽罗瓦理论-代数基本定理，序域，赋值，代数函数域，有限域，p进数域等。 ◆ 数论* 初等数论：整除，同余，二次剩余，连分数，完全数，费马数，梅森数，伯努利数，数论函数，抽屉原理等。* 不定方程：费马大定理等。* 解析数论：筛法，素分布法，黎曼ζ函数，狄利克雷特征，狄利克雷L函数，堆垒数论-整数分拆，格点问题，欧拉常数等。* 代数数论：库默尔扩张，分圆域，类域论等。* 数的几何 * 丢番图逼近 * 一致分布 * 超越数论 * 概率数论 * 模型式论 * 二次型的算术理论 * 代数几何 ◆ 几何学* 欧几里得几何学-希尔伯特公理系统：欧里几得空间，坐标系，圆周率，多边形，多面体等。* 解析几何学：直线，平面，二次曲线，二次曲面，二次曲线束，二次曲面束，初等几何变换，几何度量等。* 三角学* 综合几何学：尺规作图-希腊几何三大问题等。* 仿射几何学：仿射变换等。* 射影几何学：对偶原理，射影坐标，射影测度，绝对形，交比-圆点，直线几何等。* 埃尔朗根纲领 * 百欧几里得几何学* 微分几何学：曲线，曲面-直纹面-可展曲面-极小曲面等。* 微分流形：张量，张量分析，外微分形式，流形上的偏微分算子，复流形，辛流形，黎曼几何学，常曲率黎曼空间-齐性空间-黎曼流形的变换群-闵科夫斯基空间，广义相对论，联络论，杨-米尔斯理论，射影微分几何学，仿射微分几何学，一般空间微分几何学，线汇论，积分几何学等。 ◆ 拓扑学* 一般拓扑学（拓扑空间，度量空间，维数，多值映射* 代数拓扑学（同调论，同伦论-CW复形，纤维丛-复叠空间，不动点理论-闭曲面的分类-庞加莱猜想* 微分拓扑学（流形-横截性* 纽结理论 * 可微映射的奇点理论 * 突变理论 * 莫尔斯理论 ◆ 分析学* 微积分学** 函数：初等函数，隐函数等。** 极限：函数的连续性等。** 级数** 微分学：导数，微分，中值定理，极值等。** 积分学：积分，原函数，积分法，广义积分，含参变量积分等。** 多元微积分学：偏导数，全微分，方向导数，雅可比矩阵，雅可比行列式，向量，向量分析，场论等。* 复变函数论：复变函数（解析函数，柯西积分定理，解析函数项级数，幂级数，泰勒级数，洛朗级数，留数，调和函数，最大模原理，共形映射，特殊函数，整函数，亚纯函数，解析开拓，椭圆函数，代数函数，模函数，函数值分布论，黎曼曲线，单叶函数，正规族，拟共形映射，解析函数边值问题，狄利克雷级数，解析函数边界性质，拉普拉斯变换，积分变换，泰希米勒空间，广义解析几何等）。* 多复变函数论* 实变函数论：勒贝格积分，有界变差函数，测度论，黎曼-斯蒂尔杰斯积分，赫尔德不等式，施瓦兹不等式，闵科夫斯基不等式，延森不等式等。* 泛函分析：泛函数，函数空间，索伯列夫空间，拓扑线性空间，巴拿赫空间，半序线性空间，希尔伯特空间，谱论，向量值积分，线性算子，全连续算子，谱算子，线性算子扰动理论，赋范代数，广义函数，非线性算子（泛函积分，算子半群，遍历理论，不变子空间问题）等。* 变分法：变分法，大范围变分法等。* 函数逼近论：函数构造论，复变函数逼近（外尔斯特拉斯-斯通定理，拉格朗日插值多项式逼近，埃尔米特插值多项式逼近，三角多项式，连续模，强迫逼近，有理函数逼近，正交多项式，帕德逼近，沃外尔什逼近，联合逼近，抽象逼近，宽度，熵，线性正算子逼近，傅里叶和）等* 傅里叶分析：三角函数，傅里叶级数，傅里叶变换-积分（傅里叶积分算子，乘子，共轭函数，