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

数理逻辑(证明论、递归论、模型论和公理集合论) (2010-10-28 00:14:03) ? ? ? ? ◆ 数学基础：逻辑主义，形式主义，直觉主义。 ◆ 数理逻辑* 逻辑演算：命题、一阶、高阶、无穷、多值-模糊、模态、构造逻辑等。* 模型论：模态模型论，非标准模型等。* 公理集合论：集合论公理系统，力迫方法，选择公理，连续统假设等。* 逆归论：算法，递归函数，递归可枚举集，不可解度，广义递归论，判断问题，分层理论等。* 证明论：数学无矛盾性，哥德尔不完备性定理，构造性数学，希尔伯计划等。 ◆ 集合论：集合，映射，序数，基数，超限归纳法，悖论，数系（实数，虚数），组合数学，图论（四色问题）、算术等。 ◆ 代数学* 多项式：代数方程等。* 线性代数：行列式，线性方程组，矩阵，自向量空间，欧几里得空间，线性变换，线性型，二次性，多重线性代数等。* 群：有限群、多面群体、置换群、群表示论、有限单群等。* 无限群：交换群，典型群，线性代数群，拓扑群，李群，变换群，算术群，半群等。* 环：交换环，交换代数，结合代数，非结合代数-李代数，模，格-布尔代数等。* 乏代数 * 范畴* 同调代数-代数理论* 域：代数扩张，超越扩张，伽罗瓦理论-代数基本定理，序域，赋值，代数函数域，有限域，p进数域等。 ◆ 数论* 初等数论：整除，同余，二次剩余，连分数，完全数，费马数，