人工智能知识库
Search
搜索
暗色模式
亮色模式
探索
标签: λ演算
此标签下有2条笔记。
2026年4月18日
形式语义学基础
形式语义学
Tarski语义学
模型论语义学
组合性原则
λ演算
Montague语法
一阶逻辑
递归定义
2026年4月18日
形式语义学基础
形式语义学
Tarski语义学
模型论语义学
组合性原则
λ演算
Montague语法
一阶逻辑
递归定义