一般数学.docVIP

一般数学 数学专业词汇 数学 量 假设 定理 逆否命题 猜想 验证 充要条件 论证 恒等式 公式 小于 不等方程 常数 复合 完全的 肯定的 离散的 周期 族 子集 并 直积集 差集 n元组 值域 逆映射 恒同映射 映入 同构 对称性 超穷基数 可数无穷的 数理逻辑 形式语言 合式的 矢列式 论题 命题演算 联结词 逻辑加法 否定词 析取范式 真值 重言式 谓词变元 个体变元 非标准量词 前束词 闭公式 全域 一阶理论 相容性 可定义性 斯科伦壳 初等等价的 初等子模型 进退构造 原子理论 万有模型 稳定性 递归结构 非标准分析 直觉主义逻辑 抽象化 数词可表示性 相对相容性 元逻辑 可判定性 集合论 策梅洛-弗兰克尔集合论 确定性 选择函数 广义连续统假设 本元 平稳集合 序数 超穷序数 初始段 正则基数 归纳定义 可构成性 共尾性 力迫关系 序数可定义的 不可达基数 聚合 哥德尔配数法 配对 不可解性 原始递归式 递归性 计算复杂性 算术谓词 图灵机 停机问题 计算 次递归性 正合对 及时单纯集 优先方法 极小对 谕示 序数记号 归约 潜无穷 公理学 公理化理论 模态逻辑 范畴逻辑 组合分析 循环排列 计数问题 线性递归关系 无序分拆 区组设计的关联矩阵 平衡设计 对称区组设计 按对平衡区组设计 填装 施泰纳三元系 循环拟差集 阿达马矩阵 构形 余正二次型 顶点 邻顶点 重图