人工智能知识库

标签: 模型论语义学

此标签下有2条笔记。

  • 2026年4月18日

    形式语义学基础

    • 形式语义学
    • Tarski语义学
    • 模型论语义学
    • 组合性原则
    • λ演算
    • Montague语法
    • 一阶逻辑
    • 递归定义
  • 2026年4月18日

    形式语义学基础

    • 形式语义学
    • Tarski语义学
    • 模型论语义学
    • 组合性原则
    • λ演算
    • Montague语法
    • 一阶逻辑
    • 递归定义

Created with Quartz v4.5.2 © 2026

  • GitHub