1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 计算机
  5. Java

结构诱导说话头语言对象常数二进制函数示例术语5 structural induction 6 min.pdfVIP

  • 0
  • 0
  • 约7.45千字
  • 约 12页
  • 2025-05-24 发布于北京
  • 举报

结构诱导说话头语言对象常数二进制函数示例术语5 structural induction 6 min.pdf

    StructuralInduction

    φ[a]

    ∀λ.∀µ.(φ[λ]∧φ[µ]⇒φ[c(λ,µ)])

    ∀υ.φ[υ]

    ChemistrySet-up

    Demonstration

    ChemistryExample

    Objectconstant:1,2

    Unaryfunctionconstants:c

    Unaryrelationconstant:a,n,b

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >