找到3个数据集

分类: 公开数据 标签: 形式逻辑

过滤结果

  • AHXIOM与哥德尔数学直觉形式化研究文档2025

    2025年12月23日 30 202 109

    数据集概述 本数据集是一份关于AHXIOM理论与哥德尔不完备定理的研究文档，核心围绕数学直觉的形式化展开，探讨了“一”的结构、三元/四元辩证关系、ΩK空间的拓扑与物理属性，以及哥德尔不完备定理在AHXIOM中的分类应用，为理解数学直觉与形式系统的关联提供理论资料。 文件详解 文件名称: 1∅∅∅ AHXIOM y Gödel- Intuición...
    packageimg

  • 天然宝石学对象法律关系研究论文

    2025年12月12日 30 22 4

    数据集概述 本数据集包含一篇关于天然宝石学对象法律关系的研究论文，聚焦宝石学法律关系客体的本质、关联及类型，提出二元论理论框架，探讨天然宝石作为法律关系客体的跨部门法问题，并提供相关法律定义。 文件详解 文件名称: nr-05-04-03-kirin-baranov-koziakov-m00316.pdf 文件格式: PDF (.pdf) 文件内容:...
    packageimg

  • AHXIOM系统形式化与结构_强调AhxCLASSS数据集

    2025年12月9日 30 152 96

    数据集概述 本数据集为PDF文档，内容是AHXIOM系统的形式化与结构说明。AHXIOM是整合数学、逻辑等多领域概念的完整系统，强调语义、句法、符号学（SSS）的一致性，核心内容为AhxCLASSS（逻辑原始预设）、Ente Objeto（EO，基本元素）及“Hacer”（动态核心机制）。 文件详解 数据集包含一个PDF格式的文档文件，具体如下： -...
    packageimg