数学公理体系大全:第七章 连续统假设与力迫法简介人工智能·算法·机器学习·数学建模·动态规划·图论·抽象代数
数学公理体系大全:第五章 序数与基数理论:超限算术与集合的大小人工智能·线性代数·算法·机器学习·数学建模·原型模式
数学公理体系大全:第六章 选择公理的等价形式及证明人工智能·线性代数·算法·机器学习·数学建模·概率论·原型模式
数学公理体系大全:第一章 命题逻辑:真值之舞人工智能·算法·机器学习·数学建模·动态规划·图论·抽象代数
数学公理体系大全:Comprehensive Collection of Mathematical Axiom Systems(补充卷9)人工智能·线性代数·算法·数学建模·动态规划·原型模式·抽象代数
数学公理体系大全:第二章 一阶谓词演算:进入“所有”与“存在”网络·算法·数学建模·动态规划·图论·抽象代数·拓扑学
数学公理体系大全:第四章 ZFC公理的形式化与构造演算线性代数·数学建模·矩阵·动态规划·图论·抽象代数·拓扑学
数学公理体系大全:Comprehensive Collection of Mathematical Axiom Systems(卷6)网络·算法·数学建模·动态规划·几何学·图论·拓扑学
数学公理体系大全:Comprehensive Collection of Mathematical Axiom Systems(卷8)线性代数·算法·机器学习·数学建模·动态规划·图论·抽象代数