找到2个数据集

标签: 逻辑学科

过滤结果
  • propositional_logic_命题逻辑输出证明数据

    2026年1月29日 30 108 42

    数据集概述 本数据集围绕命题逻辑主题构建,包含1个JSON格式文件,未区分训练/测试、数据/标签或原始/处理数据,无目录层级,未提供文件内容预览及说明文档。 文件详解 文件名称:output_proofs_divided.json 文件格式:JSON 字段映射介绍:未提供文件内容预览,无法获取具体字段信息 适用场景 命题逻辑证明研究:...
    packageimg
  • 逻辑问题的不同解决方法数据集

    2025年12月8日 30 87 52

    数据集概述 本数据集围绕逻辑问题的解决方法展开,包含一份以PDF格式呈现的相关文档,为了解逻辑问题的多元解决思路提供资料支持。 文件详解 文件名称:Normatov A. A.pdf 文件格式:PDF(.pdf) 内容说明:该文件为文档类文件,可能包含关于逻辑问题不同解决方法的论述、案例或分析内容,具体字段或详细内容需查看文件内部获取。 适用场景...
    packageimg