[教材]中图分类号（细）.pdfVIP

O1数学O13高等数学

O1-0数学理论O14数理逻辑、数学基础

O1-6数学参考工具书O141数理逻辑（符号逻辑）

O1-64数学表O141.1命题演算、谓词演算、类演算

O1-641乘法表、因数表、质数表O141.12谓词演算（命题函项演算）

O1-642倒数表O141.13类演算

O1-643乘方与开方表O141.2证明论

O1-644对数表O141.3递归论（递归函数、能行性理论）

O1-645三角函数表O141.4模型理论

O1-646积分表O141.41非标准分析

O1-647概率论、数理统计用表O142应用数理逻辑

O1-648特殊函数表O143数学基础

O1-649计算数学用表O144集合论

O1-8计算工具O144.1基本概念

O11古典数学O144.2悖论

O112中国古典数学O144.3公理集合论

O113/117各国古典数学O144.4类型论

O119中国数学O144.5描述集合论（解析集合论）

O12初等数学O15代数、数论、组合理论

O121算术O151代数方程论、线性代数

O121.1四则O151.1代数方程论

O121.2比例、百分法、利率O151.2线性代数

O121.3开方O151.21矩阵论

O121.4心算法、速算法O151.22行列式论

O121.5珠算、筹算O151.23多线性代数

O122初等代数O151.24向量代数、因子代数、代数不

O122.1代数式变量论

O122.2方程式O151.25线性不等式

O122.3不等式O151.26线性代数的应用

O122.4排列、组合、二项定理O152群论

O122.5极大与极小O152.1有限群论

O122.6对数、指数O152.2交换群论（阿贝尔群论）

O122.7级数O152.3线性群论

O123初等几何