找到2个数据集

分类: 公开数据 标签: 跨学科逻辑应用

过滤结果

  • AHXIOM框架下F_A_P猜想形式化证明数据集

    2025年12月23日 30 45 16

    数据集概述 本数据集是AHXIOM框架下F=A+P猜想的形式化证明文档，包含证明的核心步骤、逻辑符号定义、运算符说明及AHXIOM系统内的验证过程，围绕猜想的假设、断言、接受和准入四阶段展开，为理解该猜想的逻辑结构提供支持。 文件详解 文件名称: Conjetura F=A+P_ Demostración Formal en AHXIOM...
    packageimg

  • AHXIOM逻辑模型与AhxCLASS概述文档

    2025年12月13日 30 113 98

    数据集概述 本数据集为AHXIOM逻辑模型与AhxCLASS的概述文档，介绍了AHXIOM作为含3个逻辑层级及“非层级”（非数字）的公理逻辑模型，其核心基于古老逻辑考量，旨在整合形式逻辑的不完备性与内在自相似性，提供层级间灵活转换的理论框架。 文件详解 文件名称: 1∅∅∅ Resumen AhxCLASS Y Lógica AHXIOM.pdf...
    packageimg